Mara Downing

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 9

Top Topics

Symbolic Execution

Control Structure

Top Venues

SE4SafeML@SIGSOFT FSE

Publications

Laboni Sarker, Mara Downing, Achintya Desai, Tevfik Bultan
Syntactic Robustness for LLM-based Code Generation. CoRR (2024)
Mara Downing, Tevfik Bultan
The Case for Scalable Quantitative Neural Network Analysis. SE4SafeML@SIGSOFT FSE (2023)
Mara Downing
Quantitative Robustness Analysis of Neural Networks. ISSTA (2023)
Seemanta Saha, Mara Downing, Tegan Brennan, Tevfik Bultan
PREACH: A Heuristic for Probabilistic Reachability to Identify Hard to Reach Statements. ICSE (2022)
Lawrence Lim, Wei-Yee Goh, Mara Downing, Misha Sra
A Spatial Music Listening Experience in Augmented Reality. UIST (Adjunct Volume) (2021)
Abtin Molavi, Mara Downing, Tommy Schneider, Lucas Bang
MCBAT: a practical tool for model counting constraints on bounded integer arrays. ESEC/SIGSOFT FSE (2020)
Abtin Molavi, Tommy Schneider, Mara Downing, Lucas Bang
MCBAT: Model Counting for Constraints over Bounded Integer Arrays. VSTTE (2020)
Mara Downing, Abtin Molavi, Lucas Bang
Symbolic Execution + Model Counting + Entropy Maximization = Automatic Search Synthesis. GandALF (2020)
Shannon Collier, Mara Downing
A Qualitative Analysis of Students' Understanding of Conditional Control Structures. SIGCSE (2019)