Neha Rungta

According to our database, Neha Rungta authored at least 59 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Automatically Reducing Privilege for Access Control Policies.

Loris D'Antoni, Shuo Ding, Amit Goel, Mathangi Ramesh, Neha Rungta, Chungha Sung

Proc. ACM Program. Lang., 2024

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization.

Joseph W. Cutler, Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, Eleftherios Ioannidis, John H. Kastner, Anwar Mamat, Darin McAdams, Matt McCutchen, Neha Rungta, Emina Torlak, Andrew Wells

Proc. ACM Program. Lang., 2024

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version).

Joseph W. Cutler, Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, Eleftherios Ioannidis, John H. Kastner, Anwar Mamat, Darin McAdams, Matt McCutchen, Neha Rungta, Emina Torlak, Andrew Wells

CoRR, 2024

How We Built Cedar: A Verification-Guided Approach.

Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, John H. Kastner, Anwar Mamat, Matt McCutchen, Neha Rungta, Bhakti Shah, Emina Torlak, Andrew Wells

Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

2023

A Toolkit for Automated Testing of Dafny.

Aleksandr Fedchin, Tyler Dean, Jeffrey S. Foster, Eric Mercer, Zvonimir Rakamaric, Giles Reger, Neha Rungta, Robin Salkeld, Lucas Wagner, Cassidy Waldrip

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

2022

Better Counterexamples for Dafny.

Aleksandar Chakarov, Aleksandr Fedchin, Zvonimir Rakamaric, Neha Rungta

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Testing Dafny (experience paper).

Ahmed Irfan, Sorawee Porncharoenwase, Zvonimir Rakamaric, Neha Rungta, Emina Torlak

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

A Billion SMT Queries a Day (Invited Paper).

Neha Rungta

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2020

Block public access: trust safety verification of access control policies.

Malik Bouchet, Byron Cook, Bryant Cutler, Anna Druzkina, Andrew Gacek, Liana Hadarean, Ranjit Jhala, Brad Marshall, Daniel Peebles, Neha Rungta, Cole Schlesinger, Chriss Stephens, Carsten Varming, Andy Warfield

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Stratified Abstraction of Access Control Policies.

John Backes, Ulises Berrueco, Tyler Bray, Daniel Brim, Byron Cook, Andrew Gacek, Ranjit Jhala, Kasper Søe Luckow, Sean McLaughlin, Madhav Menon, Daniel Peebles, Ujjwal Pugalia, Neha Rungta, Cole Schlesinger, Adam Schodde, Anvesh Tanuku, Carsten Varming, Deepa Viswanathan

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

One-Click Formal Methods.

John Backes, Pauline Bolignano, Byron Cook, Andrew Gacek, Kasper Søe Luckow, Neha Rungta, Martin Schäf, Cole Schlesinger, Rima Tanash, Carsten Varming, Michael W. Whalen

IEEE Softw., 2019

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

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Semantic-based Automated Reasoning for AWS Access Policies using SMT.

John Backes, Pauline Bolignano, Byron Cook, Catherine Dodge, Andrew Gacek, Kasper Søe Luckow, Neha Rungta, Oksana Tkachuk, Carsten Varming

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

2017

Formal Analysis of Multiple Coordinated HMI Systems.

Guillaume Brat, Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Franco Raimondi, Neha Rungta

Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017

2016

Guest Editorial Special Issue on Systematic Approaches to Human-Machine Interface: Improving Resilience, Robustness, and Stability.

Eric Mercer, Neha Rungta, Douglas J. Gillan

IEEE Trans. Hum. Mach. Syst., 2016

A Computationally Grounded, Weighted Doxastic Logic.

Taolue Chen, Giuseppe Primiero, Franco Raimondi, Neha Rungta

Stud Logica, 2016

Exact Heap Summaries for Symbolic Execution.

Benjamin Hillery, Eric Mercer, Neha Rungta, Suzette Person

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

From Raw Data to Agent Perceptions for Simulation, Verification, and Monitoring.

Michele Bottone, Giuseppe Primiero, Franco Raimondi, Neha Rungta

Proceedings of the Intelligent Environments 2016, 2016

Modeling complex air traffic management systems.

Neha Rungta, Eric G. Mercer, Franco Raimondi, Bjorn C. Krantz, Richard Stocker, Andrew Wallace

Proceedings of the 8th International Workshop on Modeling in Software Engineering, 2016

2015

Improving Coverage of Test Cases Generated by Symbolic PathFinder for Programs with Loops.

Rody Kersten, Suzette Person, Neha Rungta, Oksana Tkachuk

ACM SIGSOFT Softw. Eng. Notes, 2015

Verification column.

Neha Rungta

ACM SIGLOG News, 2015

Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites.

Anitha Murugesan, Michael W. Whalen, Neha Rungta, Oksana Tkachuk, Suzette Person, Mats Per Erik Heimdahl, Dongjiang You

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

A Flexible and Non-intrusive Approach for Computing Complex Structural Coverage Metrics.

Michael W. Whalen, Suzette Person, Neha Rungta, Matt Staats, Daniela Grijincu

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

An Approach to Quantify Workload in a System of Agents.

Richard Stocker, Neha Rungta, Eric Mercer, Franco Raimondi, Jon Holbrook, Colleen Cardoza, Michael A. Goodrich

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2014

Directed Incremental Symbolic Execution.

Guowei Yang, Suzette Person, Neha Rungta, Sarfraz Khurshid

ACM Trans. Softw. Eng. Methodol., 2014

Vector-clock based partial order reduction for JPF.

Eric Noonan, Eric Mercer, Neha Rungta

ACM SIGSOFT Softw. Eng. Notes, 2014

Towards a lazier symbolic pathfinder.

Benjamin Hillery, Eric Mercer, Neha Rungta, Suzette Person

ACM SIGSOFT Softw. Eng. Notes, 2014

Reports of the 2014 AAAI Spring Symposium Series.

Manish Jain, Albert Xin Jiang, Takashi Kido, Keiki Takadama, Eric G. Mercer, Neha Rungta, Mark Waser, Alan Wagner, Jennifer L. Burke, Donald A. Sofge, William F. Lawless, Mohan Sridharan, Nick Hawes, Tim Hwang

AI Mag., 2014

Feedback-driven dynamic invariant discovery.

Lingming Zhang, Guowei Yang, Neha Rungta, Suzette Person, Sarfraz Khurshid

Proceedings of the International Symposium on Software Testing and Analysis, 2014

Property differencing for incremental checking.

Guowei Yang, Sarfraz Khurshid, Suzette Person, Neha Rungta

Proceedings of the 36th International Conference on Software Engineering, 2014

Development context driven change awareness and analysis framework.

Anita Sarma, Joshua Branchaud, Matthew B. Dwyer, Suzette Person, Neha Rungta

Proceedings of the 36th International Conference on Software Engineering, 2014

Helping system engineers bridge the peaks.

Neha Rungta, Oksana Tkachuk, Suzette Person, Jason Biatek, Michael W. Whalen, Joseph Castle, Karen Gundy-Burlet

Proceedings of the 4th International Workshop on Twin Peaks of Requirements and Architecture, 2014

Model checking degrees of belief in a system of agents.

Giuseppe Primiero, Franco Raimondi, Neha Rungta

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Preface.

Eric G. Mercer, Michael A. Goodrich, Neha Rungta, Ellen J. Bass

Proceedings of the 2014 AAAI Spring Symposia, 2014

Work Practice Simulation of Complex Human-Automation Systems: The Brahms Generalized überlingen Model.

William J. Clancey, Chin Seah, Charlotte Linde, Michael G. Shafto, Neha S. Rungta

Proceedings of the 2014 AAAI Spring Symposia, 2014

2013

Maintaining the health of software monitors.

Suzette Person, Neha Rungta

Innov. Syst. Softw. Eng., 2013

Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis.

Corina S. Pasareanu, Willem Visser, David H. Bushnell, Jaco Geldenhuys, Peter C. Mehlitz, Neha Rungta

Autom. Softw. Eng., 2013

Regression Verification Using Impact Summaries.

John D. Backes, Suzette Person, Neha Rungta, Oksana Tkachuk

Proceedings of the Model Checking Software - 20th International Symposium, 2013

Detecting and characterizing semantic inconsistencies in ported code.

Baishakhi Ray, Miryung Kim, Suzette Person, Neha Rungta

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

A hands-on Java PathFinder tutorial.

Peter C. Mehlitz, Neha Rungta, Willem Visser

Proceedings of the 35th International Conference on Software Engineering, 2013

A synergistic and extensible framework for multi-agent system verification.

Josie Hunter, Franco Raimondi, Neha Rungta, Richard Stocker

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

Aviation safety: modeling and analyzing complex interactions between humans and automated systems.

Neha Rungta, Guillaume Brat, William J. Clancey, Charlotte Linde, Franco Raimondi, Chin Seah, Michael G. Shafto

Proceedings of the International Conference on Application and Theory of Automation in Command and Control Systems, 2013

2012

Computing and visualizing the impact of change with Java PathFinder extensions.

Eric Mercer, Suzette Person, Neha Rungta

ACM SIGSOFT Softw. Eng. Notes, 2012

A change impact analysis to characterize evolving program behaviors.

Neha Rungta, Suzette Person, Joshua Branchaud

Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012

2011

Automated test case generation for an autopilot requirement prototype.

Dimitra Giannakopoulou, Neha Rungta, Michael Feary

Proceedings of the IEEE International Conference on Systems, 2011

Symbolically modeling concurrent MCAPI executions.

Topher Fischer, Eric Mercer, Neha Rungta

Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2011

Guided test visualization: Making sense of errors in concurrent programs.

Saint Wesonga, Eric G. Mercer, Neha Rungta

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Symbolic execution with mixed concrete-symbolic solving.

Corina S. Pasareanu, Neha Rungta, Willem Visser

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

2010

Symbolic PathFinder: symbolic execution of Java bytecode.

Corina S. Pasareanu, Neha Rungta

Proceedings of the ASE 2010, 2010

Slicing and dicing bugs in concurrent programs.

Neha Rungta, Eric Mercer

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009

Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution.

Neha Rungta, Eric G. Mercer, Willem Visser

Proceedings of the Model Checking Software, 2009

Guided model checking for programs with polymorphism.

Neha Rungta, Eric G. Mercer

Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009

Clash of the Titans: tools and techniques for hunting bugs in concurrent programs.

Neha Rungta, Eric G. Mercer

Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, 2009

2008

A Meta Heuristic for Effectively Detecting Concurrency Errors.

Neha Rungta, Eric G. Mercer

Proceedings of the Hardware and Software: Verification and Testing, 2008

2007

Generating Counter-Examples Through Randomized Guided Search.

Neha Rungta, Eric G. Mercer

Proceedings of the Model Checking Software, 2007

Hardness for Explicit State Software Model Checking Benchmarks.

Neha Rungta, Eric G. Mercer

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

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

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

2006

An Improved Distance Heuristic Function for Directed Software Model Checking.

Neha Rungta, Eric G. Mercer

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

2005

A context-sensitive structural heuristic for guided search model checking.

Neha Rungta, Eric G. Mercer

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005