Neha Rungta -

Registered user since Sat 26 Nov 2016

Name:Neha Rungta

Country:United States

Affiliation:Amazon Web Services

Personal website: https://ti.arc.nasa.gov/profile/nrungta/

Contributions

2023

NFM

Author of A Toolkit for Automated Testing of Dafny within the NFM 2023-track

2022

ESEC/FSE

Committee Member in Program Committee within the Research Papers-track

ISSTA

Author of Testing Dafny (Experience Paper) within the Technical Papers-track

ICSE

Technical Briefings Co-chair in Organizing Committee

2021

ISSTA

PC Member in Program Committee

2020

ESEC/FSE

Author of Block Public Access: Trust Safety Verification of Access Control Policies within the Research Papers-track

2019

JPF

Committee Member in Program Committee within the JPF 2019-track

ICSE

2018

ESEC/FSE

Author of Neha Rungta: Formal Verification at Amazon Scale, Amazon Web Services within the Industry-track

2017

ISSTA

SPIN

2016

VMCAI

Author of Exact Heap Summaries for Symbolic Execution within the VMCAI-track

2012

SPLASH

Committee Member in External Reviewers within the OOPSLA Research Papers-track