Iris Ma

According to our database, Iris Ma authored at least 6 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Towards AI-Assisted Synthesis of Verified Dafny Methods.

Md Rakib Hossain Misu, Cristina V. Lopes, Iris Ma, James Noble

CoRR, 2024

Commit Messages in the Age of Large Language Models.

Cristina V. Lopes, Vanessa I. Klotzman, Iris Ma, Iftekar Ahmed

CoRR, 2024

2023

Improving the Quality of Commit Messages in Students' Projects.

Iris Ma, Cristina V. Lopes

Proceedings of the 5th IEEE/ACM International Workshop on Software Engineering Education for the Next Generation, 2023

Industry Session II: DFT on AI Chips.

Junna Zhong, Iris Ma, Hailong Li, Yu Huang

Proceedings of the 32nd IEEE Asian Test Symposium, 2023

2019

Innovative Practices on DFT for AI Chips.

Iris Ma, Hui King Lau, Joseph A. Reynick, Yu Huang

Proceedings of the 37th IEEE VLSI Test Symposium, 2019

2012

Quantitative analysis of trust factors on social network using data mining approach.

Simon Fong, Zhuang Yan, Maya Yu, Iris Ma

Proceedings of the First International Conference on Future Generation Communication Technologies (FGST 2012), 2012