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

ISSTA 2021	PC Member in Program Committee
ICSE 2022	Technical Briefings Chair in Organizing Committee
ESEC/FSE 2020	Author of Block Public Access: Trust Safety Verification of Access Control Policies within the Research Papers-track
JPF 2019	Committee Member in Program Committee within the JPF 2019-track
ICSE 2019	Committee Member in Program Committee within the Software Engineering in Practice-track PC Member in Program Committee within the New Ideas and Emerging Results-track
ESEC/FSE 2018	Author of Neha Rungta: Formal Verification at Amazon Scale, Amazon Web Services within the Industry-track
ISSTA 2017	Committee Member in Program Committee within the Demonstrations-track Session Chair of Lightning Talks (part of Demonstrations) Demos Co-Chair in Organizing Committee
SPIN 2017	Committee Member in Program Committee Session Chair of Session 3: Model Checking (part of SPIN Full Paper)
VMCAI	Author of Exact Heap Summaries for Symbolic Execution within the VMCAI-track
SPLASH 2012	Committee Member in External Reviewers within the OOPSLA Research Papers-track