1. Interactive Programming for Microcontrollers by Offloading Dynamic Incremental Compilation;Proceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes;2024-09-13
2. Garbage Collection for Mostly Serialized Heaps;Proceedings of the 2024 ACM SIGPLAN International Symposium on Memory Management;2024-06-20
3. Sampling optimized code for type feedback;Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic Languages;2020-11-15
4. Reliable and fast DWARF-based stack unwinding;Proceedings of the ACM on Programming Languages;2019-10-10
5. Verified compilation of linearizable data structures;Proceedings of the 33rd Annual ACM Symposium on Applied Computing;2018-04-09