Ikuti
Iris Ma
Iris Ma
Email yang diverifikasi di uci.edu - Beranda
Judul
Dikutip oleh
Dikutip oleh
Tahun
Towards AI-Assisted Synthesis of Verified Dafny Methods
MRH Misu, CV Lopes, I Ma, J Noble
Proceedings of the ACM on Software Engineering 1 (FSE), 812-835, 2024
302024
Commit Messages in the Age of Large Language Models
CV Lopes, VI Klotzman, I Ma, I Ahmed
arXiv preprint arXiv:2401.17622, 2024
62024
Improving the Quality of Commit Messages in Students' Projects
I Ma, CV Lopes
2023 IEEE/ACM 5th International Workshop on Software Engineering Education …, 2023
42023
Integrating AI Tutors in a Programming Course
I Ma, A Krone-Martins, CV Lopes
Proceedings of the 2024 ACM Virtual Global Computing Education Conference 1, 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
Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.
Artikel 1–5