
Welcome!

News
Congratulations Dr. Sung and Dr. Mehrab!Our PhD students Mincheol Sung and Fazla Mehrab who worked on the LibrettOS project have successfully defended their dissertations. Mincheol will soon join VMware and Mehrab will join ByteDance. Congratulations and best wishes Dr. Sung and Dr. Mehrab!
Congratulations Dr. Bockenek!
Our PhD student Joshua Bockenek who worked on the LLRM project has successfully defended his dissertation. Josh will soon join the US Naval Surface Warfare Center, Dahlgren, VA. Congratulations and best wishes Dr. Bockenek!
We are recruiting!
See our recruitment advertisements for various research positions here.
Selected Publications
- Formally Verified Lifting of C-compiled x86-64 Binaries, F. Verbeek, J. Bockenek, Z. Fu, and B. Ravindran, ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2022), June 13-17, 2022
- Adelie: Continuous Address Space Layout Re-Randomization for Linux Drivers, R. Nikolaev, H. Nadeem, C. Stone, and B. Ravindran, 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2022), February 28-March 4, 2022, Lausanne, Switzerland
- Xar-Trek: Run-time Execution Migration among FPGAs and Heterogeneous-ISA CPUs, E. Horta, H-R. Chuang, N. VSathish, C. Philippidis, A. Barbalace, P. Olivier, and B. Ravindran, 22nd ACM/IFIP International Middleware Conference (MIDDLEWARE 2021), Quebec, Canada, December 6-10, 2021