Research
Areas: Compilers, Operating SYstems, and SecuritY (COSY Lab)
I have a passion for designing systems and tools aimed at assisting
programmers in building reliable, secure and efficeint systems. I love
working on solutions that cut across the entire software-hardware
computing stack, including compilers, computer
architecture, operating systems, and
security.
News
I am actively looking for motivated PhD, MS, undergraduate
students to work on systems and security research projects.
Please refer to my Research page for sample
projects.
Sep. 2024: A paper on a homomorphic encryption compiler is accepted
by USENIX Security 2024.
March 2020: A paper accepted by IEEE TPDS. Congratulations to Ali
and others!
Oct. 2019: Our ASE’19 paper on regulare expression programming has
been selected to receive the ACM SIGSOFT Distinguished Paper Award.
Congratulations to Mischa and Jamie!
Aug. 2019: Jamie recieved the first prize at the Student
Research Competition at ESEC/FSE 2019. Congratulations!
Aug. 2019: Two papers accepted by ASE 2019. Congratulations to
Jamie, Mischa, Daniel, and Ayaan!
July 2019: I moved to Stony Brook University.
May 2019: A paper accepted by FSE 2019. Congratulations to
Jamie!
May 2019: A paper accepted by USENIX Security 2019. Congratulations
to Tong!
Apr. 2019: A paper accepted by USENIX ATC 2019. Congratulations to
Xinwei, Talha, and Jamie!
Nov. 2018: A paper accepted by ASPLOS 2019. Congratulations to
Tong!
Oct. 2018: Our ESEC/FSE’18 paper on ReDoS has been selected to
receive the ESEC/FSE 2018 Distinguished Paper Award. Congratulations to
Jamie and Christy again!
Aug. 2018: A paper accepted by SC’18. Congratulations to Ali A.
July 2018: A paper accepted by MICRO 2018. Congratulations to Sam,
Hongyu, and Tong!
June 2018: I offered a K-12 outreach program “Programming Paper
Planes” as a part of VT C-Tech^2
(6/26~29).
June 2018: A paper accepted by FSE 2018. Congratulations to Jamie
and Christy!
June 2018: A NSF CSR
Small proposal (PI) on repurposing Memory Protection Extensions
(MPX) was funded.
May 2018: I will serve as the General Vice-Chair for HPC 2019 (a part of SCS
Spring Simulation Multi-Conference).
May 2018: A paper accepted by USENIX Security 2018. Congratulations
to Jamie and Eric! We also wrote a guide
on nodejs.org, made fs.readFile safe,
and added documentation on
potential DoS vectors.
Nov. 2017: A paper accepted by CGO 2018. Congratulations to
Xinwei!