1. Solving Recurrence Relations using Machine Learning, with Application to Cost Analysis;Electronic Proceedings in Theoretical Computer Science;2023-09-12
2. Responsive Parallelism with Synchronization;Proceedings of the ACM on Programming Languages;2023-06-06
3. Modeling Asymptotic Complexity Using ACL2;Electronic Proceedings in Theoretical Computer Science;2022-05-24
4. On the cost semantics for spreadsheets with sheet-defined functions;Journal of Computer Languages;2022-04
5. Static prediction of parallel computation graphs;Proceedings of the ACM on Programming Languages;2022-01-12