Follow
Iris Ma
Iris Ma
Verified email at uci.edu - Homepage
Title
Cited by
Cited by
Year
Improving the Quality of Commit Messages in Students' Projects
I Ma, CV Lopes
2023 IEEE/ACM 5th International Workshop on Software Engineering Education …, 2023
32023
Towards AI-Assisted Synthesis of Verified Dafny Methods
MRH Misu, CV Lopes, I Ma, J Noble
arXiv preprint arXiv:2402.00247, 2024
22024
Commit Messages in the Age of Large Language Models
CV Lopes, VI Klotzman, I Ma, I Ahmed
arXiv preprint arXiv:2401.17622, 2024
12024
SEENG 2023
I Ma, CV Lopes, M Fedorova, M Mazmanian, P Dourish, B Ardic, ...
2023 IEEE/ACM 5th International Workshop on Software Engineering Education …, 0
The system can't perform the operation now. Try again later.
Articles 1–4