1. Timing Analysis of Embedded Software Updates;2023 IEEE 29th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA);2023-08-30
2. Static stack-preserving intra-procedural slicing of webassembly binaries;Proceedings of the 44th International Conference on Software Engineering;2022-05-21
3. From Start-ups to Scale-ups: Opportunities and Open Problems for Static and Dynamic Program Analysis;2018 IEEE 18th International Working Conference on Source Code Analysis and Manipulation (SCAM);2018-09
4. Static Backward Slicing of Non-deterministic Programs and Systems;ACM Transactions on Programming Languages and Systems;2018-08-29
5. Static Backward Demand-Driven Slicing;Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation;2015-01-13