Iris Ma

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 8

Top Topics

Programming Course

Intelligent Tutoring Systems

Student Learning

Top Venues

Publications

Iris Ma, Alberto Krone-Martins, Cristina Videira Lopes
Integrating AI Tutors in a Programming Course. CoRR (2024)
Md Rakib Hossain Misu, Cristina V. Lopes, Iris Ma, James Noble
Towards AI-Assisted Synthesis of Verified Dafny Methods. CoRR (2024)
Md Rakib Hossain Misu, Cristina V. Lopes, Iris Ma, James Noble
Towards AI-Assisted Synthesis of Verified Dafny Methods. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Cristina V. Lopes, Vanessa I. Klotzman, Iris Ma, Iftekar Ahmed
Commit Messages in the Age of Large Language Models. CoRR (2024)
Iris Ma, Cristina V. Lopes
Improving the Quality of Commit Messages in Students' Projects. SEENG (2023)
Junna Zhong, Iris Ma, Hailong Li, Yu Huang
Industry Session II: DFT on AI Chips. ATS (2023)
Iris Ma, Cristina V. Lopes
Improving the Quality of Commit Messages in Students' Projects. CoRR (2023)
Iris Ma, Hui King Lau, Joseph A. Reynick, Yu Huang
Innovative Practices on DFT for AI Chips. VTS (2019)
Simon Fong, Zhuang Yan, Maya Yu, Iris Ma
Quantitative analysis of trust factors on social network using data mining approach. FGST (2012)