• Sign in
  • Sign up
conf.researchr.org / Neha Rungta
  • ASE 2019 profile
  • ECOOP and ISSTA 2021 profile
  • ESEC/FSE 2018 profile
  • ESEC/FSE 2020 profile
  • ESEC/FSE 2022 profile
  • ESEC/FSE 2023 profile
  • ICSE 2019 profile
  • ICSE 2022 profile
  • ISSTA 2017 profile
  • ISSTA 2022 profile
  • NASA Formal Methods 2023 profile
  • POPL 2016 profile
  • SPLASH 2012 profile
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

  • 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

2018

ESEC/FSE

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

2017

ISSTA

  • Committee Member in Program Committee within the Demonstrations-track
  • Session Chair of Lightning Talks (part of Demonstrations)
  • Demos Co-Chair in Organizing Committee

SPIN

  • Committee Member in Program Committee
  • Session Chair of Session 3: Model Checking (part of SPIN Full Paper)

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
Share
xMon 11 Dec 06:48
using conf.researchr.org (v1.62.0)
Support page
Sign Up