Mara Downing, Tevfik Bultan, Black-Box Multi-Robustness Testing for Neural Networks. In ICST '25, ser. SAFE-ML Workshop 2025, Naples, Italy, March 31--April 4, 2025. Paper

Mara Downing, William Eiers, Erin DeLong, Anushka Lodha, Brian Ozawa Burns, Ismet Burak Kadron, Tevfik Bultan, Quantitative Symbolic Robustness Verification for Quantized Neural Networks. In ICFEM '24, Hiroshima, Japan, December 2--6, 2024. Paper

Mara Downing, Tevfik Bultan, The Case for Scalable Quantitative Neural Network Analysis. In FSE '23, ser. SE4SafeML Workshop 2023, San Francisco, CA, USA, December 4--7, 2023. Paper

Mara Downing, Quantitative Robustness Analysis of Neural Networks. In International Symposium on Software Testing and Analysis (ISSTA) Doctoral Symposium 2023, Seattle, WA, USA, July 17--20, 2023. Paper

Seemanta Saha, Mara Downing, Tegan Brennan, and Tevfik Bultan, PReach: A heuristic for probabilistic reachability to identify hard to reach statements. In 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25--27, 2022, pages 1706--1717. Paper

Lawrence Lim, Wei-Yee Goh, Mara Downing, and Misha Sra. A Spatial Music Listening Experience in Augmented Reality. In UIST '21: The Adjunct Publication of the 34th Annual ACM Symposium on User Interface Software and Technology, Virtual Event, USA, October 10--14, 2021, pages 23--25. ACM 2021. Paper

Abtin Molavi, Mara Downing, Tommy Schneider, and Lucas Bang. MCBAT: a practical tool for model counting constraints on bounded integer arrays. In ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8-13, 2020, pages 1596–1600. ACM 2020. Paper

Abtin Molavi, Tommy Schneider, Mara Downing, and Lucas Bang. MCBAT: Model Counting for Constraints over Bounded Integer Arrays. Verified Software: Theories, Tools, and Experiments (VSTTE) 2020, Los Angeles, CA, USA, July 20--21, 2020. Springer 2020. Paper

Mara Downing, Abtin Molavi, and Lucas Bang. Symbolic Execution + Model Counting + Entropy Maximization = Automatic Search Synthesis. In Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2020, Brussels, Belgium, September 21--22, 2020, volume 326 of EPTCS, pages 50–65, 2020. Paper

Mara Downing, Chris Thompson, and Lucas Bang. Strategy Synthesis for Deduction Games. Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE) Workshop on Artificial Intelligence for Strategy Games, 2019. Paper

Shannon Collier, Mara Downing. A Qualitative Analysis of Students' Understanding of Conditional Control Structures. In Proceedings of the 50th ACM Technical Symposium on Computer Science Education, SIGCSE 2019, Minneapolis, MN, USA, February 27--March 02, 2019, page 1293. ACM 2019. Paper