1. Turaco: Complexity-Guided Data Sampling for Training Neural Surrogates of Programs;Proceedings of the ACM on Programming Languages;2023-10-16
2. While Loops in Coq;Electronic Proceedings in Theoretical Computer Science;2023-09-22
3. quAPL: Modeling Quantum Computation in an Array Programming Language;2023 IEEE International Conference on Quantum Computing and Engineering (QCE);2023-09-17
4. Formal Verification of Safety Architectures for Automated Driving;2023 IEEE Intelligent Vehicles Symposium (IV);2023-06-04
5. Scaling Web API Integrations;2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP);2023-05