Sign in
Iris Ma
Publication Activity (10 Years)
Years Active: 2012-2024
Publications (10 Years): 6
Top Topics
Ai Technologies
Tutoring System
Discrete Fourier Transform
Mid Term
Top Venues
CoRR
ATS
VTS
SEENG
</>
Publications
</>
Md Rakib Hossain Misu
,
Cristina V. Lopes
,
Iris Ma
,
James Noble
Towards AI-Assisted Synthesis of Verified Dafny Methods.
CoRR
(2024)
Cristina V. Lopes
,
Vanessa I. Klotzman
,
Iris Ma
,
Iftekar Ahmed
Commit Messages in the Age of Large Language Models.
CoRR
(2024)
Iris Ma
,
Cristina V. Lopes
Improving the Quality of Commit Messages in Students' Projects.
SEENG
(2023)
Junna Zhong
,
Iris Ma
,
Hailong Li
,
Yu Huang
Industry Session II: DFT on AI Chips.
ATS
(2023)
Iris Ma
,
Cristina V. Lopes
Improving the Quality of Commit Messages in Students' Projects.
CoRR
(2023)
Iris Ma
,
Hui King Lau
,
Joseph A. Reynick
,
Yu Huang
Innovative Practices on DFT for AI Chips.
VTS
(2019)
Simon Fong
,
Zhuang Yan
,
Maya Yu
,
Iris Ma
Quantitative analysis of trust factors on social network using data mining approach.
FGST
(2012)