1. Cutting the Cake: A Language for Fair Division;Proceedings of the ACM on Programming Languages;2023-06-06
2. Aliasing Limits on Translating C to Safe Rust;Proceedings of the ACM on Programming Languages;2023-04-06
3. Higher-Order MSL Horn Constraints;Proceedings of the ACM on Programming Languages;2023-01-09
4. Witnessability of Undecidable Problems;Proceedings of the ACM on Programming Languages;2023-01-09
5. Intensional datatype refinement: with application to scalable verification of pattern-match safety;Proceedings of the ACM on Programming Languages;2021-01-04