Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Divya Gopinath
conf.researchr.org general profile
ICSE 2025 profile
ICSE 2026 profile
IEEE SMC-IT/SCC 2026 profile
ISSTA/ECOOP 2024 profile
SPLASH/ISSTA 2026 profile
Registered user since Mon 17 Mar 2025
Name:
Divya Gopinath
Country:
United States
Affiliation:
KBR; NASA Ames
Contributions
2026
SpecOps
Programme Committee in Program Committee within the SpecOps 2026-track
IEEE SMC-IT/SCC
PC Member in Program Committee within the Research Papers-track
ICSE
Author of Prophecy: Inferring Formal Properties from Neuron Activations within the Demonstrations-track
FormaliSE
Author of Fighting AI with AI: Leveraging Foundation Models for Assuring AI-Enabled Safety-Critical Systems within the Research Track-track
2025
CAIN
Author of Debugging and Runtime Analysis of Neural Networks with VLMs (A Case Study) within the Research and Experience Papers-track
2024
ISSTA
Author of Evaluating Deep Neural Networks in Deployment: A Comparative Study (Replicability Study) within the Technical Papers-track
Share
x
Tue 11 Aug 13:32