Publications

Optimal Fusion Weights Form Intervals, Not Points: A Latency-Aware Study of Query-Adaptive WRRF
Iris Ma, Zahra Shekarchi, Stuart Mcilroy, Mahtab Farrokh, Fattane Zarrinkalam, Joel Stremmel  · Aug 2026  · Under Review
VeriAct: Beyond Verifiability -- Agentic Synthesis of Correct and Complete Formal Specifications
Md Rakib Hossain Misu, Iris Ma, Cristina Videira Lopes  · Mar 2026  · Under Review
Memorization: A Close Look at Books
Iris Ma, Ian Domingo, Alberto Krone-Martins, Pierre Baldi, Cristina Videira Lopes  · Aug 2025  · ACL L2M2 2025, Vienna, Austria
Development of a CDH-Specific Conversational Assistant Using RAG
Vanessa Klotzman, Cristina Videira Lopes, John Schomberg, Yostina S. Armanyous, Danielle Linden, Iris Ma  · May 2025  · IPLDSC 2025
Integrating AI Tutors in a Programming Course
Iris Ma, Alberto Krone Martins, Cristina Videira Lopes  · Jul 2024  · SIGCSE Virtual
Towards AI-Assisted Synthesis of Verified Dafny Methods
Md Rakib Hossain Misu, Cristina Videira Lopes, Iris Ma, James Noble  · Feb 2024  · FSE, Porto de Galinhas, Brazil
Commit Messages in the Age of Large Language Models
Cristina Videira Lopes, Vanessa I. Klotzman, Iris Ma, Iftekar Ahmed  · Jan 2024  · arXiv 2024
Improving the Quality of Commit Messages in Students’ Projects
Iris Ma, Cristina Videira Lopes  · May 2023  · ICSE SEENG, Melbourne, Australia