Mara Downing

12 papers A* 1A 2C 1Journal 2Unranked 6
YearRankTypeTitle / Venue / Authors
2025 — conf
Black-Box Multi-Robustness Testing for Neural Networks.
ICSTW
Mara Downing, Tevfik Bultan
2025 J jnl
Fuzzing the brain: Automated stress testing for the safety of ML-driven neurostimulation.
CoRR
Mara Downing, Matthew Peng, Jacob Granley, Michael Beyeler, Tevfik Bultan
2024 C conf
Quantitative Symbolic Robustness Verification for Quantized Neural Networks.
ICFEM
Mara Downing, William Eiers, Erin DeLong, Anushka Lodha, Brian Ozawa Burns, Ismet Burak Kadron, Tevfik Bultan
2024 J jnl
Syntactic Robustness for LLM-based Code Generation.
CoRR
Laboni Sarker, Mara Downing, Achintya Desai, Tevfik Bultan
2023 A conf
Quantitative Robustness Analysis of Neural Networks.
ISSTA
Mara Downing
2023 — conf
The Case for Scalable Quantitative Neural Network Analysis.
SE4SafeML@SIGSOFT FSE
Mara Downing, Tevfik Bultan
2022 A* conf
PREACH: A Heuristic for Probabilistic Reachability to Identify Hard to Reach Statements.
ICSE
Seemanta Saha, Mara Downing, Tegan Brennan, Tevfik Bultan
2021 — conf
A Spatial Music Listening Experience in Augmented Reality.
UIST (Adjunct Volume)
Lawrence Lim, Wei-Yee Goh, Mara Downing, Misha Sra
2020 — conf
MCBAT: Model Counting for Constraints over Bounded Integer Arrays.
VSTTE
Abtin Molavi, Tommy Schneider, Mara Downing, Lucas Bang
2020 — conf
MCBAT: a practical tool for model counting constraints on bounded integer arrays.
ESEC/SIGSOFT FSE
Abtin Molavi, Mara Downing, Tommy Schneider, Lucas Bang
2020 — conf
Symbolic Execution + Model Counting + Entropy Maximization = Automatic Search Synthesis.
GandALF
Mara Downing, Abtin Molavi, Lucas Bang
2019 A conf
A Qualitative Analysis of Students' Understanding of Conditional Control Structures.
SIGCSE
Shannon Collier, Mara Downing