Divya Gopinath
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
23
Venues
14
Active years
2010–2025
Best venue rank
A*
Where they publish
Papers
23 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CAIN | Debugging and Runtime Analysis of Neural Networks with VLMs (A Case Study). | Boyue Caroline Hu, Divya Gopinath, Corina S. Pasareanu, Nina Narodytska, Ravi Mangal, Susmit Jha |
| 2024 | ISSTA | Evaluating Deep Neural Networks in Deployment: A Comparative Study (Replicability Study). | Eduard Pinconschi, Divya Gopinath, Rui Abreu, Corina S. Pasareanu |
| 2023 | CAV | Closed-Loop Analysis of Vision-Based Autonomous Systems: A Case Study. | Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu |
| 2023 | FASE | Feature-Guided Analysis of Neural Networks. | Divya Gopinath, Luca Lungeanu, Ravi Mangal, Corina S. Pasareanu, Siqi Xie, Huafeng Yu |
| 2023 | RV | Assumption Generation for Learning-Enabled Autonomous Systems. | Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Huafeng Yu |
| 2022 | CAV | VPN: Verification of Poisoning in Neural Networks. | Youcheng Sun, Muhammad Usman, Divya Gopinath, Corina S. Pasareanu |
| 2022 | RV | Rule-Based Runtime Mitigation Against Poison Attacks on Neural Networks. | Muhammad Usman, Divya Gopinath, Youcheng Sun, Corina S. Pasareanu |
| 2021 | CAV | NNrepair: Constraint-Based Repair of Neural Network Classifiers. | Muhammad Usman, Divya Gopinath, Youcheng Sun, Yannic Noller, Corina S. Pasareanu |
| 2021 | ICSE | NEUROSPF: A Tool for the Symbolic Analysis of Neural Networks. | Muhammad Usman, Yannic Noller, Corina S. Pasareanu, Youcheng Sun, Divya Gopinath |
| 2021 | UIST | MedKnowts: Unified Documentation and Information Retrieval for Electronic Health Records. | Luke S. Murray, Divya Gopinath, Monica Agrawal, Steven Horng, David A. Sontag, David R. Karger |
| 2020 | CVPR | A Programmatic and Semantic Approach to Explaining and Debugging Neural Network Based Object Detectors. | Edward Kim, Divya Gopinath, Corina S. Pasareanu, Sanjit A. Seshia |
| 2020 | FMCAD | Parallelization Techniques for Verifying Neural Networks. | Haoze Wu, Alex Ozdemir, Aleksandar Zeljic, Kyle Julian, Ahmed Irfan, Divya Gopinath, Sadjad Fouladi, Guy Katz, Corina S. Pasareanu, Clark W. Barrett |
| 2020 | ICSE | On the probabilistic analysis of neural networks. | Corina S. Pasareanu, Hayes Converse, Antonio Filieri, Divya Gopinath |
| 2020 | ISSRE | Probabilistic Symbolic Analysis of Neural Networks. | Hayes Converse, Antonio Filieri, Divya Gopinath, Corina S. Pasareanu |
| 2019 | ICSE | Symbolic execution for attribution and attack synthesis in neural networks. | Divya Gopinath, Corina S. Pasareanu, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid |
| 2019 | ISSRE | Symbolic Execution for Importance Analysis and Adversarial Generation in Neural Networks. | Divya Gopinath, Mengshi Zhang, Kaiyuan Wang, Ismet Burak Kadron, Corina S. Pasareanu, Sarfraz Khurshid |
| 2018 | ATVA | DeepSafe: A Data-Driven Approach for Assessing Robustness of Neural Networks. | Divya Gopinath, Guy Katz, Corina S. Pasareanu, Clark W. Barrett |
| 2018 | ICST | Accelerating Search-Based Program Repair. | Ben Mehne, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen, Divya Gopinath, Sarfraz Khurshid |
| 2015 | SPLC | Faster bug detection for software product lines with incomplete feature models. | Sabrina Souto, Divya Gopinath, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid, Don S. Batory |
| 2014 | ICSE | Data-guided repair of selection statements. | Divya Gopinath, Sarfraz Khurshid, Diptikalyan Saha, Satish Chandra |
| 2012 | TACAS | History-Aware Data Structure Repair Using SAT. | Razieh Nokhbeh Zaeem, Divya Gopinath, Sarfraz Khurshid, Kathryn S. McKinley |
| 2011 | TACAS | Specification-Based Program Repair Using SAT. | Divya Gopinath, Muhammad Zubair Malik, Sarfraz Khurshid |
| 2010 | ISSRE | Optimizing Incremental Scope-Bounded Checking with Data-Flow Analysis. | Danhua Shao, Divya Gopinath, Sarfraz Khurshid, Dewayne E. Perry |