Iris Ma

11 papers Misc 1Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Memorization: A Close Look at Books.
CoRR
Iris Ma, Ian Domingo, Alberto Krone-Martins, Pierre Baldi, Cristina V. Lopes
2024 J jnl
Commit Messages in the Age of Large Language Models.
CoRR
Cristina V. Lopes, Vanessa I. Klotzman, Iris Ma, Iftekar Ahmed
2024 — conf
Integrating AI Tutors in a Programming Course.
SIGCSE Virtual (1)
Iris Ma, Alberto Krone-Martins, Cristina Videira Lopes
2024 J jnl
Integrating AI Tutors in a Programming Course.
CoRR
Iris Ma, Alberto Krone-Martins, Cristina Videira Lopes
2024 J jnl
Towards AI-Assisted Synthesis of Verified Dafny Methods.
CoRR
Md Rakib Hossain Misu, Cristina V. Lopes, Iris Ma, James Noble
2024 J jnl
Towards AI-Assisted Synthesis of Verified Dafny Methods.
Proc. ACM Softw. Eng.
Md Rakib Hossain Misu, Cristina V. Lopes, Iris Ma, James Noble
2023 — conf
Improving the Quality of Commit Messages in Students' Projects.
SEENG
Iris Ma, Cristina V. Lopes
2023 J jnl
Improving the Quality of Commit Messages in Students' Projects.
CoRR
Iris Ma, Cristina V. Lopes
2023 — conf
Industry Session II: DFT on AI Chips.
ATS
Junna Zhong, Iris Ma, Hailong Li, Yu Huang
2019 Misc conf
Innovative Practices on DFT for AI Chips.
VTS
Iris Ma, Hui King Lau, Joseph A. Reynick, Yu Huang
2012 — conf
Quantitative analysis of trust factors on social network using data mining approach.
FGST
Simon Fong, Zhuang Yan, Maya Yu, Iris Ma