Publications

Iris Ma, Alberto Krone Martins, Cristina Videira Lopes (2024). Integrating AI Tutors in a Programming Course. In SIGCSE Virtual.

PDF Cite

Md Rakib Hossain Misu, Cristina Videira Lopes, Iris Ma, James Noble (2024). Towards AI-Assisted Synthesis of Verified Dafny Methods. In FSE, Porto de Galinhas, Brazil.

PDF Cite

Iris Ma, Cristina Videira Lopes (2023). Improving the Quality of Commit Messages in Students’ Projects. In ICSE SEENG, Melbourne, Australia.

PDF Cite Slides