Neha Rungta

72 papers A* 8A 6B 11C 1Journal 21Unranked 22
YearRankTypeTitle / Venue / Authors
2025 J jnl
Editorial: Special issue on formal methods in computer-aided design.
Formal Methods Syst. Des.
Alberto Griggio, Neha Rungta
2025 A* conf
Formally Verified Cloud-Scale Authorization.
ICSE
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, Clément 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, Tae Joon Byun, Joshua M. Cohen, Ruijie Fang, Junyoung Jang, Jakob Rath, Hira Taqdees Syeda, Dominik Wagner, Yongwei Yuan
2025 B conf
Modeling the AWS Authorization Engine.
FMCAD
Lee A. Barnett, Loris D'Antoni, Amit Goel, Rami Gökhan Kici, Neha Rungta, Mary Southern, Chungha Sung
2024 J jnl
Automatically Reducing Privilege for Access Control Policies.
Proc. ACM Program. Lang.
Loris D'Antoni, Shuo Ding, Amit Goel, Mathangi Ramesh, Neha Rungta, Chungha Sung
2024 J jnl
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version).
CoRR
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
2024 J jnl
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization.
Proc. ACM Program. Lang.
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
2024 — conf
How We Built Cedar: A Verification-Guided Approach.
SIGSOFT FSE Companion
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
2024 J jnl
How We Built Cedar: A Verification-Guided Approach.
CoRR
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
2024 B conf
Projective Model Counting for IP Addresses in Access Control Policies.
FMCAD
Loris D'Antoni, Andrew Gacek, Amit Goel, Dejan Jovanovic, Rami Gökhan Kici, Daniel Peebles, Neha Rungta, Yasmine Sharoda, Chungha Sung
2024 — conf
Trillions of Formally Verified Authorizations a Day! (Keynote).
SPLASH Companion
Neha Rungta
2023 — conf
A Toolkit for Automated Testing of Dafny.
NFM
Aleksandr Fedchin, Tyler Dean, Jeffrey S. Foster, Eric Mercer, Zvonimir Rakamaric, Giles Reger, Neha Rungta, Robin Salkeld, Lucas G. Wagner, Cassidy Waldrip
2022 B ed.
22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022
FMCAD
Alberto Griggio, Neha Rungta
2022 — conf
A Billion SMT Queries a Day (Invited Paper).
CAV (1)
Neha Rungta
2022 — conf
Better Counterexamples for Dafny.
TACAS (1)
Aleksandar Chakarov, Aleksandr Fedchin, Zvonimir Rakamaric, Neha Rungta
2022 A conf
Testing Dafny (experience paper).
ISSTA
Ahmed Irfan, Sorawee Porncharoenwase, Zvonimir Rakamaric, Neha Rungta, Emina Torlak
2020 — conf
Block public access: trust safety verification of access control policies.
ESEC/SIGSOFT FSE
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
2020 — conf
Stratified Abstraction of Access Control Policies.
CAV (1)
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
2019 J jnl
One-Click Formal Methods.
IEEE Softw.
John Backes, Pauline Bolignano, Byron Cook, Andrew Gacek, Kasper Søe Luckow, Neha Rungta, Martin Schäf, Cole Schlesinger, Rima S. Tanash, Carsten Varming, Michael W. Whalen
2019 — conf
Reachability Analysis for AWS-Based Networks.
CAV (2)
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 B conf
Semantic-based Automated Reasoning for AWS Access Policies using SMT.
FMCAD
John Backes, Pauline Bolignano, Byron Cook, Catherine Dodge, Andrew Gacek, Kasper Søe Luckow, Neha Rungta, Oksana Tkachuk, Carsten Varming
2018 J jnl
Verification column.
ACM SIGLOG News
Neha Rungta
2017 — ch.
Formal Analysis of Multiple Coordinated HMI Systems.
Handbook of Formal Methods in Human-Computer Interaction
Guillaume Brat, Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Franco Raimondi, Neha Rungta
2017 J jnl
Verification column.
ACM SIGLOG News
Neha Rungta
2016 J jnl
A Computationally Grounded, Weighted Doxastic Logic.
Stud Logica
Taolue Chen, Giuseppe Primiero, Franco Raimondi, Neha Rungta
2016 B conf
Exact Heap Summaries for Symbolic Execution.
VMCAI
Benjamin Hillery, Eric Mercer, Neha Rungta, Suzette Person
2016 B conf
From Raw Data to Agent Perceptions for Simulation, Verification, and Monitoring.
Intelligent Environments (Workshops)
Michele Bottone, Giuseppe Primiero, Franco Raimondi, Neha Rungta
2016 J jnl
Guest Editorial Special Issue on Systematic Approaches to Human-Machine Interface: Improving Resilience, Robustness, and Stability.
IEEE Trans. Hum. Mach. Syst.
Eric Mercer, Neha Rungta, Douglas J. Gillan
2016 — conf
Modeling complex air traffic management systems.
MiSE@ICSE
Neha Rungta, Eric G. Mercer, Franco Raimondi, Bjorn C. Krantz, Richard Stocker, Andrew Wallace
2016 J jnl
Verification column.
ACM SIGLOG News
Neha Rungta
2016 J jnl
Verification column.
ACM SIGLOG News
Neha Rungta
2015 — conf
A Flexible and Non-intrusive Approach for Computing Complex Structural Coverage Metrics.
ICSE (1)
Michael W. Whalen, Suzette Person, Neha Rungta, Matt Staats, Daniela Grijincu
2015 A conf
An Approach to Quantify Workload in a System of Agents.
AAMAS
Richard Stocker, Neha Rungta, Eric Mercer, Franco Raimondi, Jon Holbrook, Colleen Cardoza, Michael A. Goodrich
2015 — conf
Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites.
NFM
Anitha Murugesan, Michael W. Whalen, Neha Rungta, Oksana Tkachuk, Suzette Person, Mats Per Erik Heimdahl, Dongjiang You
2015 J jnl
Improving Coverage of Test Cases Generated by Symbolic PathFinder for Programs with Loops.
ACM SIGSOFT Softw. Eng. Notes
Rody Kersten, Suzette Person, Neha Rungta, Oksana Tkachuk
2015 J jnl
Verification column.
ACM SIGLOG News
Neha Rungta
2014 — ed.
2014 International Symposium on Model Checking of Software, SPIN 2014, Proceedings, San Jose, CA, USA, July 21-23, 2014
SPIN
Neha Rungta, Oksana Tkachuk
2014 — conf
Development context driven change awareness and analysis framework.
ICSE Companion
Anita Sarma, Joshua Branchaud, Matthew B. Dwyer, Suzette Person, Neha Rungta
2014 J jnl
Directed Incremental Symbolic Execution.
ACM Trans. Softw. Eng. Methodol.
Guowei Yang, Suzette Person, Neha Rungta, Sarfraz Khurshid
2014 A conf
Feedback-driven dynamic invariant discovery.
ISSTA
Lingming Zhang, Guowei Yang, Neha Rungta, Suzette Person, Sarfraz Khurshid
2014 — conf
Helping system engineers bridge the peaks.
TwinPeaks
Neha Rungta, Oksana Tkachuk, Suzette Person, Jason Biatek, Michael W. Whalen, Joseph Castle, Karen Gundy-Burlet
2014 A conf
Model checking degrees of belief in a system of agents.
AAMAS
Giuseppe Primiero, Franco Raimondi, Neha Rungta
2014 — conf
Preface.
AAAI Spring Symposia
Eric G. Mercer, Michael A. Goodrich, Neha Rungta, Ellen J. Bass
2014 A* conf
Property differencing for incremental checking.
ICSE
Guowei Yang, Sarfraz Khurshid, Suzette Person, Neha Rungta
2014 J jnl
Reports of the 2014 AAAI Spring Symposium Series.
AI Mag.
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
2014 J jnl
Towards a lazier symbolic pathfinder.
ACM SIGSOFT Softw. Eng. Notes
Benjamin Hillery, Eric Mercer, Neha Rungta, Suzette Person
2014 J jnl
Vector-clock based partial order reduction for JPF.
ACM SIGSOFT Softw. Eng. Notes
Eric Noonan, Eric Mercer, Neha Rungta
2013 A* conf
A hands-on Java PathFinder tutorial.
ICSE
Peter C. Mehlitz, Neha Rungta, Willem Visser
2013 A conf
A synergistic and extensible framework for multi-agent system verification.
AAMAS
Josie Hunter, Franco Raimondi, Neha Rungta, Richard Stocker
2013 — conf
Aviation safety: modeling and analyzing complex interactions between humans and automated systems.
ATACCS
Neha Rungta, Guillaume Brat, William J. Clancey, Charlotte Linde, Franco Raimondi, Chin Seah, Michael G. Shafto
2013 A* conf
Detecting and characterizing semantic inconsistencies in ported code.
ASE
Baishakhi Ray, Miryung Kim, Suzette Person, Neha Rungta
2013 J jnl
Maintaining the health of software monitors.
Innov. Syst. Softw. Eng.
Suzette Person, Neha Rungta
2013 — ed.
NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
NASA Formal Methods
Guillaume Brat, Neha Rungta, Arnaud Venet
2013 — conf
Regression Verification Using Impact Summaries.
SPIN
John D. Backes, Suzette Person, Neha Rungta, Oksana Tkachuk
2013 J jnl
Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis.
Autom. Softw. Eng.
Corina S. Pasareanu, Willem Visser, David H. Bushnell, Jaco Geldenhuys, Peter C. Mehlitz, Neha Rungta
2012 — conf
A change impact analysis to characterize evolving program behaviors.
ICSM
Neha Rungta, Suzette Person, Joshua Branchaud
2012 J jnl
Computing and visualizing the impact of change with Java PathFinder extensions.
ACM SIGSOFT Softw. Eng. Notes
Eric Mercer, Suzette Person, Neha Rungta
2011 B conf
Automated test case generation for an autopilot requirement prototype.
SMC
Dimitra Giannakopoulou, Neha Rungta, Michael Feary
2011 A* conf
Directed incremental symbolic execution.
PLDI
Suzette Person, Guowei Yang, Neha Rungta, Sarfraz Khurshid
2011 A* conf
Guided test visualization: Making sense of errors in concurrent programs.
ASE
Saint Wesonga, Eric G. Mercer, Neha Rungta
2011 A conf
Symbolic execution with mixed concrete-symbolic solving.
ISSTA
Corina S. Pasareanu, Neha Rungta, Willem Visser
2011 B conf
Symbolically modeling concurrent MCAPI executions.
PPoPP
Topher Fischer, Eric Mercer, Neha Rungta
2010 — conf
Slicing and dicing bugs in concurrent programs.
ICSE (2)
Neha Rungta, Eric Mercer
2010 A* conf
Symbolic PathFinder: symbolic execution of Java bytecode.
ASE
Corina S. Pasareanu, Neha Rungta
2009 — conf
Clash of the Titans: tools and techniques for hunting bugs in concurrent programs.
PADTAD
Neha Rungta, Eric G. Mercer
2009 — conf
Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution.
SPIN
Neha Rungta, Eric G. Mercer, Willem Visser
2009 C conf
Guided model checking for programs with polymorphism.
PEPM
Neha Rungta, Eric G. Mercer
2008 — conf
A Meta Heuristic for Effectively Detecting Concurrency Errors.
Haifa Verification Conference
Neha Rungta, Eric G. Mercer
2007 B conf
Analyzing Gene Relationships for Down Syndrome with Labeled Transition Graphs.
FMCAD
Neha Rungta, Hyrum Carroll, Eric G. Mercer, Randall J. Roper, Mark J. Clement, Quinn Snell
2007 — conf
Generating Counter-Examples Through Randomized Guided Search.
SPIN
Neha Rungta, Eric G. Mercer
2007 B conf
Hardness for Explicit State Software Model Checking Benchmarks.
SEFM
Neha Rungta, Eric G. Mercer
2006 B conf
An Improved Distance Heuristic Function for Directed Software Model Checking.
FMCAD
Neha Rungta, Eric G. Mercer
2005 A* conf
A context-sensitive structural heuristic for guided search model checking.
ASE
Neha Rungta, Eric G. Mercer