Scholar
Iris Ma
Google Scholar ID: FdAK_xoAAAAJ
PhD student, University of California, Irvine
Citations & Impact
Citations
83
H-index
4
i10-index
2
Publications
7
Co-authors
8
list available
Publications
Resume (English only)
Academic Achievements
- Publication: 'Integrating AI Tutors in a Programming Course' (SIGCSE Virtual, 2024): Developed RAGMan, an LLM-powered tutoring system supporting course- and homework-specific AI tutors
- Publication: 'Towards AI-Assisted Synthesis of Verified Dafny Methods' (FSE, 2024): Investigated whether LLMs can fulfill the promise of generating formally correct code
- Publication: 'Improving the Quality of Commit Messages in Students’ Projects' (ICSE SEENG, 2023): Enhanced commit message quality in student projects via GitHub Desktop modifications
- Awards: UCI Beall Applied Innovation Graduate Innovation Fellowship ($5,000, 2024), I-Corps Program Grant ($5,000, 2024), Proof-of-Product Grant ($48,000, 2024), ESEC/FSE Travel Fund ($2,450, 2023), New Ph.D. Student Fellowship ($2,500, 2022)
- Awards: Iowa State University Robert and Cecile Mitchell Scholarship ($2,650, 2021), International Incentive Scholarship ($1,500 in 2020 and 2021), Global Scholars Award for Undergraduate Retention ($500, 2021), Dean’s List Honors (10 times)
