NASA Logo, National Aeronautics and Space Administration

I am a Researcher in Formal Verification in the Robust Software Engineering (RSE) group at the NASA Ames Research Center. I am employed by SGT, Inc. I obtained a PhD in Software Engineering from the University of Texas at Austin and pursued post-doctoral research at Carnegie Melon University at Silicon Valley.

My research focuses on applying formal methods to analyze and verify neural networks and debug software programs. Specifically, I have developed approaches that provide robustness guarantees, generate adversarial attacks, and explain the behavior of deep neural networks, and provide solutions to locate faulty statement(s) in code and repair programs to function as expected.

Selected Publications:

Verification of Neural Networks:

  • 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 abs/1904.13215 (2019)
  • Divya Gopinath, Guy Katz, Corina S. Pasareanu, Clark W. Barrett:DeepSafe: A Data-Driven Approach for Assessing Robustness of Neural Networks. ATVA 2018

Automated debugging and verification of software programs:

  • Ben Mehne, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen, Divya Gopinath, Sarfraz Khurshid:Accelerating Search-Based Program Repair. ICST 2018
  • 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
  • Divya Gopinath, Razieh Nokhbeh Zaeem, Sarfraz Khurshid:Improving the effectiveness of spectra-based fault localization using specifications. ASE 2012
  • Razieh Nokhbeh Zaeem, Divya Gopinath, Sarfraz Khurshid, Kathryn S. McKinley:History-Aware Data Structure Repair Using SAT. TACAS 2012
  • Divya Gopinath, Muhammad Zubair Malik, Sarfraz Khurshid:Specification-Based Program Repair Using SAT. TACAS 2011


First Gov logo
NASA Logo - nasa.gov