[11/2018]: Paper on incremental pointer analysis accepted to ACM TOPLAS. Congratulations Bozhen!
[11/2018]: Received a Facebook Research Award.
[07/2018]: Received a Mozilla Research Award.
[07/2018]: Two papers accepted to ESEC/FSE 2018. Congratulations Gang and Qiuping!
[02/2018]: Paper on parallel differential concurrency analysis accepted to PLDI 2018. Congratulations Bozhen!
[02/2018]: Paper on mobile web app security accepted to IEEE S&P 2018. Congratulations Guangliang!
[12/2017]: Paper on detecting multi-threaded use-after-free vulnerabilities accepted to ICSE 2018.
[11/2017]: Paper on Android security accepted to NDSS 2018. Congratulations Guangliang!
[07/2017]: Paper accepted by ASE'17.
[05/2017]: Paper accepted by USENIX ATC'17. Congratulations Shiyou and Bowen!
[05/2017]: Paper accepted by USENIX SECURITY'17.
[05/2017]: Two papers accepted by ECOOP'17. Congratulations Shiyou and Arun!
[03/2017]: Congratulations to Shiyou for winning a Graduate Research Excellence Award!
[08/2016]: Two papers accepted by OOPSLA 2016. Congratulations Shiyou and Arun!
[05/2016]: The ECHO paper accepted by FSE 2016. Congratulations Sheng!
[02/2016]: Congratulations to Arun, Shiyou, Shanshan, and Bowen for being selected into ACM Student Research Competition at ICSE 2016.