Divya Gopinath

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 41

Top Topics

Symbolic Execution

Machine Learning

Top Venues

ICSE (Companion Volume)

Publications

Ravi Mangal, Nina Narodytska, Divya Gopinath, Boyue Caroline Hu, Anirban Roy, Susmit Jha, Corina S. Pasareanu
Concept-based Analysis of Neural Networks via Vision-Language Models. CoRR (2024)
Eduard Pinconschi, Divya Gopinath, Rui Abreu, Corina S. Pasareanu
Evaluating Deep Neural Networks in Deployment (A Comparative and Replicability Study). CoRR (2024)
Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu
Closed-Loop Analysis of Vision-Based Autonomous Systems: A Case Study. CAV (1) (2023)
Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Huafeng Yu
Assumption Generation for Learning-Enabled Autonomous Systems. RV (2023)
Muhammad Usman, Youcheng Sun, Divya Gopinath, Rishi Dange, Luca Manolache, Corina S. Pasareanu
An overview of structural coverage metrics for testing neural networks. Int. J. Softw. Tools Technol. Transf. 25 (3) (2023)
Divya Gopinath, Luca Lungeanu, Ravi Mangal, Corina S. Pasareanu, Siqi Xie, Huanfeng Yu
Feature-Guided Analysis of Neural Networks. FASE (2023)
Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Huafeng Yu
Assumption Generation for the Verification of Learning-Enabled Autonomous Systems. CoRR (2023)
Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu
Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study. CoRR (2023)
Muhammad Usman, Youcheng Sun, Divya Gopinath, Corina S. Pasareanu
Rule-Based Testing of Neural Networks. SE4SafeML@SIGSOFT FSE (2023)
Muhammad Usman, Divya Gopinath, Youcheng Sun, Corina S. Pasareanu
Rule-Based Runtime Mitigation Against Poison Attacks on Neural Networks. RV (2022)
Muhammad Usman, Youcheng Sun, Divya Gopinath, Rishi Dange, Luca Manolache, Corina S. Pasareanu
An Overview of Structural Coverage Metrics for Testing Neural Networks. CoRR (2022)
Youcheng Sun, Muhammad Usman, Divya Gopinath, Corina S. Pasareanu
VPN: Verification of Poisoning in Neural Networks. NSV/FoMLAS@CAV (2022)
Youcheng Sun, Muhammad Usman, Divya Gopinath, Corina S. Pasareanu
VPN: Verification of Poisoning in Neural Networks. CoRR (2022)
Muhammad Usman, Youcheng Sun, Divya Gopinath, Corina S. Pasareanu
AntidoteRT: Run-time Detection and Correction of Poison Attacks on Neural Networks. CoRR (2022)
Muhammad Usman, Divya Gopinath, Youcheng Sun, Yannic Noller, Corina S. Pasareanu
NNrepair: Constraint-Based Repair of Neural Network Classifiers. CAV (1) (2021)
Muhammad Usman, Yannic Noller, Corina S. Pasareanu, Youcheng Sun, Divya Gopinath
NEUROSPF: A tool for the Symbolic Analysis of Neural Networks. CoRR (2021)
Muhammad Usman, Divya Gopinath, Youcheng Sun, Yannic Noller, Corina S. Pasareanu
NNrepair: Constraint-based Repair of Neural Network Classifiers. CoRR (2021)
Luke S. Murray, Divya Gopinath, Monica Agrawal, Steven Horng, David A. Sontag, David R. Karger
MedKnowts: Unified Documentation and Information Retrieval for Electronic Health Records. UIST (2021)
Ismet Burak Kadron, Divya Gopinath, Corina S. Pasareanu, Huafeng Yu
Case Study: Analysis of Autonomous Center Line Tracking Neural Networks. VSTTE (2021)
Muhammad Usman, Yannic Noller, Corina S. Pasareanu, Youcheng Sun, Divya Gopinath
NEUROSPF: A Tool for the Symbolic Analysis of Neural Networks. ICSE (Companion Volume) (2021)
Muhammad Usman, Divya Gopinath, Corina S. Pasareanu
QuantifyML: How Good is my Machine Learning Model? FMAS (2021)
Luke S. Murray, Divya Gopinath, Monica Agrawal, Steven Horng, David A. Sontag, David R. Karger
MedKnowts: Unified Documentation and Information Retrieval for Electronic Health Records. CoRR (2021)
Divya Gopinath, Monica Agrawal, Luke S. Murray, Steven Horng, David R. Karger, David A. Sontag
Fast, Structured Clinical Documentation via Contextual Autocomplete. CoRR (2020)
Edward Kim, Divya Gopinath, Corina S. Pasareanu, Sanjit A. Seshia
A Programmatic and Semantic Approach to Explaining and Debugging Neural Network Based Object Detectors. CVPR (2020)
Haoze Wu, Alex Ozdemir, Aleksandar Zeljic, Kyle Julian, Ahmed Irfan, Divya Gopinath, Sadjad Fouladi, Guy Katz, Corina S. Pasareanu, Clark W. Barrett
Parallelization Techniques for Verifying Neural Networks. FMCAD (2020)
Corina S. Pasareanu, Hayes Converse, Antonio Filieri, Divya Gopinath
On the probabilistic analysis of neural networks. SEAMS@ICSE (2020)
Divya Gopinath, Monica Agrawal, Luke S. Murray, Steven Horng, David R. Karger, David A. Sontag
Fast, Structured Clinical Documentation via Contextual Autocomplete. MLHC (2020)
Hayes Converse, Antonio Filieri, Divya Gopinath, Corina S. Pasareanu
Probabilistic Symbolic Analysis of Neural Networks. ISSRE (2020)
Haoze Wu, Alex Ozdemir, Aleksandar Zeljic, Ahmed Irfan, Kyle Julian, Divya Gopinath, Sadjad Fouladi, Guy Katz, Corina S. Pasareanu, Clark W. Barrett
Parallelization Techniques for Verifying Neural Networks. CoRR (2020)
Divya Gopinath, Mengshi Zhang, Kaiyuan Wang, Ismet Burak Kadron, Corina S. Pasareanu, Sarfraz Khurshid
Symbolic Execution for Importance Analysis and Adversarial Generation in Neural Networks. ISSRE (2019)
Divya Gopinath, Hayes Converse, Corina S. Pasareanu, Ankur Taly
Property Inference for Deep Neural Networks. ASE (2019)
Divya Gopinath, Rohan Kodialam, Kevin Lu, Jayson Lynch, Santiago Ospina
Hamiltonicity in Semi-Regular Tessellation Dual Graphs. CoRR (2019)
Edward Kim, Divya Gopinath, Corina S. Pasareanu, Sanjit A. Seshia
A Programmatic and Semantic Approach to Explaining and DebuggingNeural Network Based Object Detectors. CoRR (2019)
Divya Gopinath, Corina S. Pasareanu, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid
Symbolic execution for attribution and attack synthesis in neural networks. ICSE (Companion Volume) (2019)
Divya Gopinath, Ankur Taly, Hayes Converse, Corina S. Pasareanu
Finding Invariants in Deep Neural Networks. CoRR (2019)
Corina S. Pasareanu, Divya Gopinath, Huafeng Yu
Compositional Verification for Autonomous Systems with Deep Learning Components. CoRR (2018)
Ben Mehne, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen, Divya Gopinath, Sarfraz Khurshid
Accelerating Search-Based Program Repair. ICST (2018)
Divya Gopinath, Kaiyuan Wang, Mengshi Zhang, Corina S. Pasareanu, Sarfraz Khurshid
Symbolic Execution for Deep Neural Networks. CoRR (2018)
Divya Gopinath, Guy Katz, Corina S. Pasareanu, Clark W. Barrett
DeepSafe: A Data-Driven Approach for Assessing Robustness of Neural Networks. ATVA (2018)
Divya Gopinath, Guy Katz, Corina S. Pasareanu, Clark W. Barrett
DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks. CoRR (2017)
Divya Gopinath, Kaiyuan Wang, Jinru Hua, Sarfraz Khurshid
Repairing Intricate Faults in Code Using Machine Learning and Path Exploration. ICSME (2016)
Sabrina Souto, Divya Gopinath, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid, Don S. Batory
Faster bug detection for software product lines with incomplete feature models. SPLC (2015)
Divya Gopinath, Sarfraz Khurshid, Diptikalyan Saha, Satish Chandra
Data-guided repair of selection statements. ICSE (2014)
Ravi Mangal, Nina Narodytska, Divya Gopinath, Boyue Caroline Hu, Anirban Roy, Susmit Jha, Corina S. Pasareanu
Concept-Based Analysis of Neural Networks via Vision-Language Models. SAIV (2014)
Razieh Nokhbeh Zaeem, Divya Gopinath, Sarfraz Khurshid, Kathryn S. McKinley
History-Aware Data Structure Repair Using SAT. TACAS (2012)
Divya Gopinath, Razieh Nokhbeh Zaeem, Sarfraz Khurshid
Improving the effectiveness of spectra-based fault localization using specifications. ASE (2012)
Divya Gopinath, Muhammad Zubair Malik, Sarfraz Khurshid
Specification-Based Program Repair Using SAT. TACAS (2011)
Danhua Shao, Divya Gopinath, Sarfraz Khurshid, Dewayne E. Perry
A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking. ASM (2010)
Danhua Shao, Divya Gopinath, Sarfraz Khurshid, Dewayne E. Perry
Optimizing Incremental Scope-Bounded Checking with Data-Flow Analysis. ISSRE (2010)