- June 2023: Two papers accepted into MODELS 2023. Congratulations Ana!
- April 2023: Congratulations Anahita on passing her comprehensive exam! She is officially a PhD candidate at UTA.
- January 2023: Congratulations Allison on the arrivial of baby Arcadia!
- December 2022: Congratulations Ana on passing her comprehensive exam! She is officially a PhD candidate at UTA.
- November 2022: One paper “Abstract Alloy Instances” accepted into FM 2023.
- September 2022: Our recent NSF grant is being talked about in the media.
- July 2022: One paper “REACH: Refining Alloy Scenarios by Size” accepted into ISSRE 2022. Congratulations Ana!
- July 2022: We have received a NSF CISE Core grant to work on incremental analysis of software models across their development, testing and synthesis.
- April 2022: Congratulations Anahita and Ana on passing your diagnostic exams!
- March 2022: One paper “Towards Automated Input Generation for Sketching Alloy Models” accepted into FormaliSE 2022. Congratulations Ana!
- Feburary 2022: Congratulations Anahita on getting her master’s thesis work written up in Wired.
- Feburary 2022: Hosted a workshop on z3 at OurCS@DFW.
- Decemeber 2021: Resha presented her work on current limtiations of automated repair tools at UTA’s UROP Fall semester wrap up.
- October 2021: Presented our solution enumeration tool Hawkeye at ISSRE2021.
- July 2021: One paper accepted into ISSRE 2021!
- June 2021: One paper accepted into FSE Demo 2021. Congratulations Tanvir!
- June 2021: Allison recieved a NSF FmitF award to investigate improvements to Alloy’s scenario finding functionality.
- March 2022: One paper “Towards Automated Input Generation for Sketching Alloy Models” accepted into FormaliSE 2022. Congratulations Ana!
- Feburary 2022: Congratulations Anahita on getting her master’s thesis work written up in Wired.
- Feburary 2022: Hosted a workshop on z3 at OurCS@DFW.
- Decemeber 2021: Resha presented her work on current limtiations of automated repair tools at UTA’s UROP Fall semester wrap up.
- October 2021: Presented our solution enumeration tool Hawkeye at ISSRE2021).
- July 2021: One paper accepted into ISSRE 2021!
- June 2021: One paper accepted into FSE Demo 2021. Congratulations Tanvir!
- June 2021: Allison has recieved a NSF FmitF award to investigate improvements to Alloy’s scenario finding functionality.
- February 2021: Allison has joined the Software Engineering Research Center (SERC) at UTA.
- Janurary 2021: Hosted a Workshop on Z3 at OurCS@DFW cohosted by UTA and UNT.
- August 2020: One paper accepted into ISSRE 2020 “Fault Localization for Declarative Models in Alloy”
- July 2020: Allison is Co-PI on a NSF MRI award to obtain equipment to facilitate research on the interaction between multiple autonomous ground vehicles.
- June 2020: Allison started working as an assistant professor at UTA and moved SCOPE lab to UTA.
- May 2020: One paper accepted at ISSTA 2020 Tools and Demostrations Track “ProFL: A Fault Localization Framework for Prolog” - Congratulations George!
- May 2020: Congratulations to Jasmine Mabrey for being given the “Outstanding Rising Scholar Award” by the graduate college at NC A&T for her M.S. Thesis work.
- April 2020: Allison is Co-PI on a 20 member interdisciplinary team selected for NASA’s University Leadership Initiative. Our focus is on verifying the interaction between multiple unmanned aerial vehicles.
- March 2020: Congratulations to George Thompson for being nominated by the Department Chair for NC A&T’s “Outstanding Thesis Award” for his M.S. Thesis work.
- March 2020: Congratulations to Jasmine Mabrey (Automated Defect Classification using Machine Learning) and George Thompson (Towards Automated Fault Localization for Prolog Models) on their successful Master Thesis proposals! Proud of you guys!!
- November 2019: Presented our paper “Solution Enumeration Abstraction – A Modeling Idiom to Enhance a Lightweight Formal Method” at ICFEM 19.
- August 2019: Our paper “Solution Enumeration Abstraction – A Modeling Idiom to Enhance a Lightweight Formal Method” got accepted into ICFEM 19.
- August 2019: Allison received an NSF FMitF award to continue work on verification and synthesis of Alloy models.
- June 2019: The AutoDrive challenge team - Aggies Autonomous Auto - placed 2nd in the year 2 competition!
- June 2019: Allison started summer employment at Google as a Faculty in Residence.
- May 2018: Presented accepted paper “ARepair: A Repair Framework for Alloy” at the 41st IEEE/ACM International Conference on Software Engineering (ICSE 2019).
