1. Assessing Live Programming for Program Comprehension;Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1;2024-07-03
2. Explainable Program Synthesis by Localizing Specifications;Proceedings of the ACM on Programming Languages;2023-10-16
3. Everybody’s Got ML, Tell Me What Else You Have: Practitioners’ Perception of ML-Based Security Tools and Explanations;2023 IEEE Symposium on Security and Privacy (SP);2023-05
4. Using Reactive Synthesis: An End-to-End Exploratory Case Study;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05
5. Grounded Copilot: How Programmers Interact with Code-Generating Models;Proceedings of the ACM on Programming Languages;2023-04-06