Mara Downing

According to our database, Mara Downing authored at least 10 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Syntactic Robustness for LLM-based Code Generation.

Laboni Sarker, Mara Downing, Achintya Desai, Tevfik Bultan

CoRR, 2024

Quantitative Symbolic Robustness Verification for Quantized Neural Networks.

Mara Downing, William Eiers, Erin DeLong, Anushka Lodha, Brian Ozawa Burns, Ismet Burak Kadron, Tevfik Bultan

Proceedings of the Formal Methods and Software Engineering, 2024

2023

The Case for Scalable Quantitative Neural Network Analysis.

Mara Downing, Tevfik Bultan

Proceedings of the 1st International Workshop on Dependability and Trustworthiness of Safety-Critical Systems with Machine Learned Components, 2023

Quantitative Robustness Analysis of Neural Networks.

Mara Downing

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

2022

PREACH: A Heuristic for Probabilistic Reachability to Identify Hard to Reach Statements.

Seemanta Saha, Mara Downing, Tegan Brennan, Tevfik Bultan

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

A Spatial Music Listening Experience in Augmented Reality.

Lawrence Lim, Wei-Yee Goh, Mara Downing, Misha Sra

Proceedings of the UIST '21: The Adjunct Publication of the 34th Annual ACM Symposium on User Interface Software and Technology, 2021

2020

Symbolic Execution + Model Counting + Entropy Maximization = Automatic Search Synthesis.

Mara Downing, Abtin Molavi, Lucas Bang

Proceedings of the Proceedings 11th International Symposium on Games, 2020

MCBAT: Model Counting for Constraints over Bounded Integer Arrays.

Abtin Molavi, Tommy Schneider, Mara Downing, Lucas Bang

Proceedings of the Software Verification - 12th International Conference, 2020

MCBAT: a practical tool for model counting constraints on bounded integer arrays.

Abtin Molavi, Mara Downing, Tommy Schneider, Lucas Bang

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

2019

A Qualitative Analysis of Students' Understanding of Conditional Control Structures.

Shannon Collier, Mara Downing

Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019