
Welcome!

News
Best wishes Prof. An!Our 2022 PhD graduate, Xiaoxin (Cindy) An has joined Shenzhen Technology University, China as an Assistant Professor. Best wishes Prof. An!
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