1. Survey of Approaches for Postprocessing of Static Analysis Alarms;ACM Computing Surveys;2022-02-03
2. Verified from scratch;Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering;2020-12-21
3. Adaptive Randomized Scheduling for Concurrency Bug Detection;2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS);2019-11
4. Optimized Sound and Complete Data Race Detection in Structured Parallel Programs;Languages and Compilers for Parallel Computing;2019
5. The role of model checking in software engineering;Frontiers of Computer Science;2018-04-27