Allison Sullivan -

Registered user since Mon 5 Jul 2021

Name:Allison Sullivan

Country:United States

Affiliation:University of Texas at Arlington

Personal website: https://allisonius.github.io/

Contributions

2025

ICSE

Committee Member in Research Track within the Research Track-track

2024

MODELS

Author of AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph within the Technical Track-track

ICST

PC Member in Program Committee within the Testing Tools and Demonstration-track

FormaliSE

Committee Member in Program Committee within the FormaliSE 2024-track

LLM4Code

Author of LLM4TDD: Best Practices for Test Driven Development Using Large Language Models within the LLM4Code 2024-track

2023

ASE

Author of Live Programming for Finite Model Finders within the NIER Track-track

ICST

2022

ESEC/FSE

United States of America in Program Committee within the Demonstrations-track

FormaliSE

Author of Towards Automated Input Generation for Sketching Alloy Models within the FormaliSE 2022-track

2021

ESEC/FSE

Author of AlloyFL: A Fault Localization Framework for Alloy within the Demonstrations-track