A Qualitative Analysis of Students' Understanding of Conditional Control Structures. - Shannon Collier; Mara Downing (SIGCSE, 2019)

MCBAT: a practical tool for model counting constraints on bounded integer arrays. - Abtin Molavi; Mara Downing; Tommy Schneider; Lucas Bang (ESEC/SIGSOFT FSE, 2020)

MCBAT: Model Counting for Constraints over Bounded Integer Arrays. - Abtin Molavi; Tommy Schneider; Mara Downing; Lucas Bang (VSTTE, 2020)

Symbolic Execution + Model Counting + Entropy Maximization = Automatic Search Synthesis. - Mara Downing; Abtin Molavi; Lucas Bang (GandALF, 2020)

A Spatial Music Listening Experience in Augmented Reality. - Lawrence Lim; Wei-Yee Goh; Mara Downing; Misha Sra (UIST (Adjunct Volume), 2021)

PREACH: A Heuristic for Probabilistic Reachability to Identify Hard to Reach Statements. - Seemanta Saha; Mara Downing; Tegan Brennan; Tevfik Bultan (ICSE, 2022)

Quantitative Robustness Analysis of Neural Networks. - Mara Downing (ISSTA, 2023)

The Case for Scalable Quantitative Neural Network Analysis. - Mara Downing; Tevfik Bultan (SE4SafeML@SIGSOFT FSE, 2023)

Quantitative Symbolic Robustness Verification for Quantized Neural Networks. - Mara Downing; William Eiers; Erin DeLong; Anushka Lodha; Brian Ozawa Burns; Ismet Burak Kadron; Tevfik Bultan (ICFEM, 2024)

Syntactic Robustness for LLM-based Code Generation. - Laboni Sarker; Mara Downing; Achintya Desai; Tevfik Bultan (CoRR, 2024)

Black-Box Multi-Robustness Testing for Neural Networks. - Mara Downing; Tevfik Bultan (ICSTW, 2025)