Iris Ma

Research & Teaching Assistant

University of California, Irvine

About Me

I am a PhD student in Software Engineering at UC Irvine under Crista Lopes. I received B.S. in Agronomy and Computer Science at Iowa State University. I worked as an undergraduate research assistant at Laboratory for Software Design with Hridesh Rajan and Robert Dyer on an ultra-large data mining project.

Interests

Software Engineering
Large Language Models
Education

Education

Ph.D. in Software Engineering, current
University of California, Irvine
B.S. in Agronomy, Computer Science, 2022
Iowa State University

Experience

Research & Teaching Assistant

University of California, Irvine

September 2022 – Present Irvine, CA

Software Engineer Internship

Corteva Agriscience

June 2023 – September 2023 Johnston, IA

Research Assistant

Laboratory for Software Design, Iowa State University

May 2021 – May 2022 Ames, IA

Publications

Md Rakib Hossain Misu, Cristina V. Lopes, Iris Ma, James Noble

February, 2024 In FSE 24

Towards AI-Assisted Synthesis of Verified Dafny Methods

LLM shows “great promise” in code synthesis. Can LLM keep “the promise” to ensure that its synthesis code is formally correct?

Iris Ma, Cristina V. Lopes

May, 2023 In ICSE SEENG 23

Improving the Quality of Commit Messages in Students’ Projects

The research focuses on enhancing the quality of commit messages in collaborative software development by introducing specific requirements in the “what” and “why” parts through modifications to the GitHub Desktop application, demonstrating improved informativeness, clearness, and length in commit messages among students.

Honors & Awards

Iowa State University

ISU Aug 2017 – May 2022

Robert and Cecile Mitchell Scholarship $2650 (2021)
International Incentive Scholarship $1500 (2021)
Global Scholars Award for Undergraduate Retention $500 (2021)
International Incentive Scholarship $1500 (2020)
Dean’s List Honors (10 times)