Iris Ma

11 papers Misc 1Journal 6Unranked 4

Year	Rank	Type	Title / 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

2025 Best paper conf

CheckMATE

Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda

2026 Best paper preprint

arXiv

Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski