1. Model checking for a multi-execution memory model;Proceedings of the ACM on Programming Languages;2022-10-31
2. A reasonably gradual type theory;Proceedings of the ACM on Programming Languages;2022-08-29
3. Decidable verification under a causally consistent shared memory;Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation;2020-06-06
4. Type error feedback via analytic program repair;Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation;2020-06-06
5. Non-polynomial Worst-Case Analysis of Recursive Programs;ACM Transactions on Programming Languages and Systems;2019-12-05