Neha Rungta
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
27
Venues
11
Active years
2006–2025
Best venue rank
A*
Where they publish
Papers
27 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FMCAD | Modeling the AWS Authorization Engine. | Lee A. Barnett, Loris D'Antoni, Amit Goel, Rami Gkhan Kici, Neha Rungta, Mary Southern, Chungha Sung |
| 2025 | ICSE | Formally Verified Cloud-Scale Authorization. | Aleks Chakarov, Jaco Geldenhuys, Matthew Heck, Michael Hicks, Sam Huang, Georges-Axel Jaloyan, Anjali Joshi, K. Rustan M. Leino, Mikael Mayer, Sean McLaughlin, Akhilesh Mritunjai, Clment Pit-Claudel, Sorawee Porncharoenwase, Florian Rabe, Marianna Rapoport, Giles Reger, Cody Roux, Neha Rungta, Robin Salkeld, Matthias Schlaipfer, Daniel Schoepe, Johanna Schwartzentruber, Serdar Tasiran, Aaron Tomb, Emina Torlak, Jean-Baptiste Tristan, Lucas G. Wagner, Michael W. Whalen, Remy Willems, Tongtong Xiang, Taejoon Byun, Joshua M. Cohen, Ruijie Fang, Junyoung Jang, Jakob Rath, Hira Taqdees Syeda, Dominik Wagner, Yongwei Yuan |
| 2024 | FMCAD | Projective Model Counting for IP Addresses in Access Control Policies. | Loris D'Antoni, Andrew Gacek, Amit Goel, Dejan Jovanovic, Rami Gkhan Kici, Daniel Peebles, Neha Rungta, Yasmine Sharoda, Chungha Sung |
| 2022 | CAV | A Billion SMT Queries a Day (Invited Paper). | Neha Rungta |
| 2022 | ISSTA | Testing Dafny (experience paper). | Ahmed Irfan, Sorawee Porncharoenwase, Zvonimir Rakamaric, Neha Rungta, Emina Torlak |
| 2022 | TACAS | Better Counterexamples for Dafny. | Aleksandar Chakarov, Aleksandr Fedchin, Zvonimir Rakamaric, Neha Rungta |
| 2020 | CAV | Stratified Abstraction of Access Control Policies. | John Backes, Ulises Berrueco, Tyler Bray, Daniel Brim, Byron Cook, Andrew Gacek, Ranjit Jhala, Kasper Se Luckow, Sean McLaughlin, Madhav Menon, Daniel Peebles, Ujjwal Pugalia, Neha Rungta, Cole Schlesinger, Adam Schodde, Anvesh Tanuku, Carsten Varming, Deepa Viswanathan |
| 2019 | CAV | Reachability Analysis for AWS-Based Networks. | John Backes, Sam Bayless, Byron Cook, Catherine Dodge, Andrew Gacek, Alan J. Hu, Temesghen Kahsai, Bill Kocik, Evgenii Kotelnikov, Jure Kukovec, Sean McLaughlin, Jason Reed, Neha Rungta, John Sizemore, Mark A. Stalzer, Preethi Srinivasan, Pavle Subotic, Carsten Varming, Blake Whaley |
| 2018 | FMCAD | Semantic-based Automated Reasoning for AWS Access Policies using SMT. | John Backes, Pauline Bolignano, Byron Cook, Catherine Dodge, Andrew Gacek, Kasper Se Luckow, Neha Rungta, Oksana Tkachuk, Carsten Varming |
| 2016 | ICSE | Modeling complex air traffic management systems. | Neha Rungta, Eric G. Mercer, Franco Raimondi, Bjorn C. Krantz, Richard Stocker, Andrew Wallace |
| 2016 | VMCAI | Exact Heap Summaries for Symbolic Execution. | Benjamin Hillery, Eric Mercer, Neha Rungta, Suzette Person |
| 2015 | ICSE | A Flexible and Non-intrusive Approach for Computing Complex Structural Coverage Metrics. | Michael W. Whalen, Suzette Person, Neha Rungta, Matt Staats, Daniela Grijincu |
| 2014 | ICSE | Helping system engineers bridge the peaks. | Neha Rungta, Oksana Tkachuk, Suzette Person, Jason Biatek, Michael W. Whalen, Joseph Castle, Karen Gundy-Burlet |
| 2014 | ICSE | Development context driven change awareness and analysis framework. | Anita Sarma, Joshua Branchaud, Matthew B. Dwyer, Suzette Person, Neha Rungta |
| 2014 | ICSE | Property differencing for incremental checking. | Guowei Yang, Sarfraz Khurshid, Suzette Person, Neha Rungta |
| 2014 | ISSTA | Feedback-driven dynamic invariant discovery. | Lingming Zhang, Guowei Yang, Neha Rungta, Suzette Person, Sarfraz Khurshid |
| 2013 | ICSE | A hands-on Java PathFinder tutorial. | Peter C. Mehlitz, Neha Rungta, Willem Visser |
| 2011 | ISSTA | Symbolic execution with mixed concrete-symbolic solving. | Corina S. Pasareanu, Neha Rungta, Willem Visser |
| 2011 | PLDI | Directed incremental symbolic execution. | Suzette Person, Guowei Yang, Neha Rungta, Sarfraz Khurshid |
| 2011 | PPoPP | Symbolically modeling concurrent MCAPI executions. | Topher Fischer, Eric Mercer, Neha Rungta |
| 2011 | SMC | Automated test case generation for an autopilot requirement prototype. | Dimitra Giannakopoulou, Neha Rungta, Michael Feary |
| 2010 | ICSE | Slicing and dicing bugs in concurrent programs. | Neha Rungta, Eric Mercer |
| 2009 | ISSTA | Clash of the Titans: tools and techniques for hunting bugs in concurrent programs. | Neha Rungta, Eric G. Mercer |
| 2009 | PEPM | Guided model checking for programs with polymorphism. | Neha Rungta, Eric G. Mercer |
| 2007 | FMCAD | Analyzing Gene Relationships for Down Syndrome with Labeled Transition Graphs. | Neha Rungta, Hyrum Carroll, Eric G. Mercer, Randall J. Roper, Mark J. Clement, Quinn Snell |
| 2007 | SEFM | Hardness for Explicit State Software Model Checking Benchmarks. | Neha Rungta, Eric G. Mercer |
| 2006 | FMCAD | An Improved Distance Heuristic Function for Directed Software Model Checking. | Neha Rungta, Eric G. Mercer |