Neha Rungta

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 22

Top Topics

Access Control Policies

Symbolic Execution

Top Venues

ACM SIGLOG News

ACM SIGSOFT Softw. Eng. Notes

Publications

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
How We Built Cedar: A Verification-Guided Approach. SIGSOFT FSE Companion (2024)
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
How We Built Cedar: A Verification-Guided Approach. CoRR (2024)
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
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version). CoRR (2024)
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
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Aleksandr Fedchin, Tyler Dean, Jeffrey S. Foster, Eric Mercer, Zvonimir Rakamaric, Giles Reger, Neha Rungta, Robin Salkeld, Lucas Wagner, Cassidy Waldrip
A Toolkit for Automated Testing of Dafny. NFM (2023)
Aleksandar Chakarov, Aleksandr Fedchin, Zvonimir Rakamaric, Neha Rungta
Better Counterexamples for Dafny. TACAS (1) (2022)
Ahmed Irfan, Sorawee Porncharoenwase, Zvonimir Rakamaric, Neha Rungta, Emina Torlak
Testing Dafny (experience paper). ISSTA (2022)
Neha Rungta
A Billion SMT Queries a Day (Invited Paper). CAV (1) (2022)
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
Stratified Abstraction of Access Control Policies. CAV (1) (2020)
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
Block public access: trust safety verification of access control policies. ESEC/SIGSOFT FSE (2020)
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
One-Click Formal Methods. IEEE Softw. 36 (6) (2019)
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
Reachability Analysis for AWS-Based Networks. CAV (2) (2019)
John Backes, Pauline Bolignano, Byron Cook, Catherine Dodge, Andrew Gacek, Kasper Søe Luckow, Neha Rungta, Oksana Tkachuk, Carsten Varming
Semantic-based Automated Reasoning for AWS Access Policies using SMT. FMCAD (2018)
Neha Rungta
Verification column. ACM SIGLOG News 5 (1) (2018)
Neha Rungta
Verification column. ACM SIGLOG News 4 (2) (2017)
Benjamin Hillery, Eric Mercer, Neha Rungta, Suzette Person
Exact Heap Summaries for Symbolic Execution. VMCAI (2016)
Neha Rungta, Eric G. Mercer, Franco Raimondi, Bjorn C. Krantz, Richard Stocker, Andrew Wallace
Modeling complex air traffic management systems. MiSE@ICSE (2016)
Neha Rungta
Verification column. ACM SIGLOG News 3 (3) (2016)
Eric Mercer, Neha Rungta, Douglas J. Gillan
Guest Editorial Special Issue on Systematic Approaches to Human-Machine Interface: Improving Resilience, Robustness, and Stability. IEEE Trans. Hum. Mach. Syst. 46 (2) (2016)
Michele Bottone, Giuseppe Primiero, Franco Raimondi, Neha Rungta
From Raw Data to Agent Perceptions for Simulation, Verification, and Monitoring. Intelligent Environments (Workshops) (2016)
Taolue Chen, Giuseppe Primiero, Franco Raimondi, Neha Rungta
A Computationally Grounded, Weighted Doxastic Logic. Stud Logica 104 (4) (2016)
Neha Rungta
Verification column. ACM SIGLOG News 3 (2) (2016)
Anitha Murugesan, Michael W. Whalen, Neha Rungta, Oksana Tkachuk, Suzette Person, Mats Per Erik Heimdahl, Dongjiang You
Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites. NFM (2015)
Richard Stocker, Neha Rungta, Eric Mercer, Franco Raimondi, Jon Holbrook, Colleen Cardoza, Michael A. Goodrich
An Approach to Quantify Workload in a System of Agents. AAMAS (2015)
Neha Rungta
Verification column. ACM SIGLOG News 2 (2) (2015)
Rody Kersten, Suzette Person, Neha Rungta, Oksana Tkachuk
Improving Coverage of Test Cases Generated by Symbolic PathFinder for Programs with Loops. ACM SIGSOFT Softw. Eng. Notes 40 (1) (2015)
Michael W. Whalen, Suzette Person, Neha Rungta, Matt Staats, Daniela Grijincu
A Flexible and Non-intrusive Approach for Computing Complex Structural Coverage Metrics. ICSE (1) (2015)
Lingming Zhang, Guowei Yang, Neha Rungta, Suzette Person, Sarfraz Khurshid
Feedback-driven dynamic invariant discovery. ISSTA (2014)
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
Reports of the 2014 AAAI Spring Symposium Series. AI Mag. 35 (3) (2014)
Guowei Yang, Suzette Person, Neha Rungta, Sarfraz Khurshid
Directed Incremental Symbolic Execution. ACM Trans. Softw. Eng. Methodol. 24 (1) (2014)
Eric G. Mercer, Michael A. Goodrich, Neha Rungta, Ellen J. Bass
Preface. AAAI Spring Symposia (2014)
Guowei Yang, Sarfraz Khurshid, Suzette Person, Neha Rungta
Property differencing for incremental checking. ICSE (2014)
Giuseppe Primiero, Franco Raimondi, Neha Rungta
Model checking degrees of belief in a system of agents. AAMAS (2014)
Anita Sarma, Joshua Branchaud, Matthew B. Dwyer, Suzette Person, Neha Rungta
Development context driven change awareness and analysis framework. ICSE Companion (2014)
Eric Noonan, Eric Mercer, Neha Rungta
Vector-clock based partial order reduction for JPF. ACM SIGSOFT Softw. Eng. Notes 39 (1) (2014)
Neha Rungta, Oksana Tkachuk, Suzette Person, Jason Biatek, Michael W. Whalen, Joseph Castle, Karen Gundy-Burlet
Helping system engineers bridge the peaks. TwinPeaks (2014)
Benjamin Hillery, Eric Mercer, Neha Rungta, Suzette Person
Towards a lazier symbolic pathfinder. ACM SIGSOFT Softw. Eng. Notes 39 (1) (2014)
Suzette Person, Neha Rungta
Maintaining the health of software monitors. Innov. Syst. Softw. Eng. 9 (4) (2013)
Neha Rungta, Guillaume Brat, William J. Clancey, Charlotte Linde, Franco Raimondi, Chin Seah, Michael G. Shafto
Aviation safety: modeling and analyzing complex interactions between humans and automated systems. ATACCS (2013)
Baishakhi Ray, Miryung Kim, Suzette Person, Neha Rungta
Detecting and characterizing semantic inconsistencies in ported code. ASE (2013)
Peter C. Mehlitz, Neha Rungta, Willem Visser
A hands-on Java PathFinder tutorial. ICSE (2013)
Corina S. Pasareanu, Willem Visser, David H. Bushnell, Jaco Geldenhuys, Peter C. Mehlitz, Neha Rungta
Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis. Autom. Softw. Eng. 20 (3) (2013)
Josie Hunter, Franco Raimondi, Neha Rungta, Richard Stocker
A synergistic and extensible framework for multi-agent system verification. AAMAS (2013)
John D. Backes, Suzette Person, Neha Rungta, Oksana Tkachuk
Regression Verification Using Impact Summaries. SPIN (2013)
Neha Rungta, Suzette Person, Joshua Branchaud
A change impact analysis to characterize evolving program behaviors. ICSM (2012)
Eric Mercer, Suzette Person, Neha Rungta
Computing and visualizing the impact of change with Java PathFinder extensions. ACM SIGSOFT Softw. Eng. Notes 37 (6) (2012)
Dimitra Giannakopoulou, Neha Rungta, Michael Feary
Automated test case generation for an autopilot requirement prototype. SMC (2011)
Topher Fischer, Eric Mercer, Neha Rungta
Symbolically modeling concurrent MCAPI executions. PPOPP (2011)
Corina S. Pasareanu, Neha Rungta, Willem Visser
Symbolic execution with mixed concrete-symbolic solving. ISSTA (2011)
Saint Wesonga, Eric G. Mercer, Neha Rungta
Guided test visualization: Making sense of errors in concurrent programs. ASE (2011)
Suzette Person, Guowei Yang, Neha Rungta, Sarfraz Khurshid
Directed incremental symbolic execution. PLDI (2011)
Corina S. Pasareanu, Neha Rungta
Symbolic PathFinder: symbolic execution of Java bytecode. ASE (2010)
Neha Rungta, Eric Mercer
Slicing and dicing bugs in concurrent programs. ICSE (2) (2010)
Neha Rungta, Eric G. Mercer, Willem Visser
Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution. SPIN (2009)
Neha Rungta, Eric G. Mercer
Guided model checking for programs with polymorphism. PEPM (2009)
Neha Rungta, Eric G. Mercer
Clash of the Titans: tools and techniques for hunting bugs in concurrent programs. PADTAD (2009)
Neha Rungta, Eric G. Mercer
A Meta Heuristic for Effectively Detecting Concurrency Errors. Haifa Verification Conference (2008)
Neha Rungta, Hyrum Carroll, Eric G. Mercer, Randall J. Roper, Mark J. Clement, Quinn Snell
Analyzing Gene Relationships for Down Syndrome with Labeled Transition Graphs. FMCAD (2007)
Neha Rungta, Eric G. Mercer
Hardness for Explicit State Software Model Checking Benchmarks. SEFM (2007)
Neha Rungta, Eric G. Mercer
Generating Counter-Examples Through Randomized Guided Search. SPIN (2007)
Neha Rungta, Eric G. Mercer
An Improved Distance Heuristic Function for Directed Software Model Checking. FMCAD (2006)
Neha Rungta, Eric G. Mercer
A context-sensitive structural heuristic for guided search model checking. ASE (2005)