1. EzSkiROS: A Case Study on Embedded Robotics DSLs to Catch Bugs Early;2023 IEEE/ACM 5th International Workshop on Robotics Software Engineering (RoSE);2023-05
2. Near Failure Analysis Using Dynamic Behavioural Data;Product-Focused Software Process Improvement;2022
3. JavaDL: automatically incrementalizing Java bug pattern detection;Proceedings of the ACM on Programming Languages;2021-10-20
4. A Precise Framework for Source-Level Control-Flow Analysis;2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM);2021-09