- Research Areas: Formal Specification Synthesis, Comment Generation and Maintenance, Trustworthy AI Analysis and Improvement, Deep Learning Frameworks Testing, Training Diagnosis and Repair, Bias Detection and Mitigation in ML Systems.
- Tools Developed: C2S (translates natural language comments into formal specifications), CPC (a novel software reasoning method), LLMCup (framework for automatically updating comments), ModelMeta, DevMuT, DLJSFuzzer, Citadel (for testing and enhancing core AI infrastructure), AutoTrainer, Dream (to detect and repair training issues).
Background
Assistant Professor in the Manning College of Information & Computer Sciences (CICS) at University of Massachusetts, Amherst (UMass). She co-directs the Laboratory for Advanced Software Engineering Research (LASER) lab and is a member of UMass NLP group. Her research interests include Software Engineering and Program Languages, Natural Language Processing and Software Text Analytics, Software Reliability and Security, and Deep Learning.
Miscellany
Looking for students to work with. Drop her an email if you are interested in working with her!