Mara Downing
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2019–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICST | Black-Box Multi-Robustness Testing for Neural Networks. | Mara Downing, Tevfik Bultan |
| 2024 | ICFEM | Quantitative Symbolic Robustness Verification for Quantized Neural Networks. | Mara Downing, William Eiers, Erin DeLong, Anushka Lodha, Brian Ozawa Burns, Ismet Burak Kadron, Tevfik Bultan |
| 2023 | ISSTA | Quantitative Robustness Analysis of Neural Networks. | Mara Downing |
| 2022 | ICSE | PREACH: A Heuristic for Probabilistic Reachability to Identify Hard to Reach Statements. | Seemanta Saha, Mara Downing, Tegan Brennan, Tevfik Bultan |
| 2021 | UIST | A Spatial Music Listening Experience in Augmented Reality. | Lawrence Lim, Wei-Yee Goh, Mara Downing, Misha Sra |
| 2019 | SIGCSE | A Qualitative Analysis of Students' Understanding of Conditional Control Structures. | Shannon Collier, Mara Downing |