1. Lightweight DSL for Describing Extensible Transition Systems;Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing;2024-04-08
2. Composable Sequence Macros for Fast Iteration;Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2022-11-29
3. Karp: a language for NP reductions;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
4. Deep and shallow types for gradual languages;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
5. Runtime and compiler support for HAMTs;Proceedings of the 17th ACM SIGPLAN International Symposium on Dynamic Languages;2021-10-19