1. Finding missed optimizations through the lens of dead code elimination;Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems;2022-02-22
2. A Comprehensive Enterprise System Metamodel for Quality Assurance;Lecture Notes in Electrical Engineering;2021
3. Parallel sparse flow-sensitive points-to analysis;Proceedings of the 27th International Conference on Compiler Construction;2018-02-24
4. Call sequence prediction through probabilistic calling automata;ACM SIGPLAN Notices;2014-12-31
5. Call sequence prediction through probabilistic calling automata;Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications;2014-10-15