publication venue for
- SafeCheck: Safety Enhancement of Java Unsafe API 2019
- Global Software Engineering Experience through International Capstone Project Exchanges 2018
- Scalable Thread Sharing Analysis 2016
- GPredict: Generic Predictive Concurrency Analysis 2015
- ReCBuLC: Reproducing Concurrency Bugs Using Local Clocks 2015