NASA Logo, National Aeronautics and Space Administration

Invited presentations

Imperial College, London and Middlesex University, London, UK, Jan 2016

University of Nebraska-Lincoln, Lincoln, NE, Nov 2015

Radboud University, Nijmegen, Netherlands, Sep 2015

Samsung Research Lab, San Jose, CA, Dec 2014

Brigham Young University, Provo, UT, Nov 2014

University of Luxembourg, SNT center, Luxembourg, Nov 2014

Dagstuhl seminar on Symbolic Execution and Constraint Solving, Germany, Oct 2014

Centre national d'├ętudes spatiales, French government space agency, France, May 2014

Institut de Recherche en Informatique de Toulouse (IRIT), France, May 2014

Air Force Research Lab, Dayton, Ohio, Aug 2013

University of Minnesota, Minneapolis, MN, May 2013

Microsoft Research, Redmond, WA, Apr 2013

KAIST, Daejeon, South Korea, Jun 2012

Carnegie Mellon University (CMU) West, CA, May 2012

Summer School on Formal Techniques, Menlo Park, CA, May 2012 and May 2011

Conference Presentations

An Approach to Quantify Workload in a System of Agents. AAMAS 2015.

A Flexible and Non-intrusive Approach for Computing Complex Structural Coverage Metrics. ICSE (1) 2015.

Regression Verification using Impact Summaries. International SPIN Symposium on Model Checking of Software, July 2013.

A Synergistic and Extensible Framework for Multi-Agent System Verification. `International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), May 2013.

A change impact analysis to characterize evolving program behaviors. International Conference on Software Maintenance (ICSM), Sept 2012.

Clash of the Titans: Tools and Techniques for Hunting Bugs in Concurrent Programs. Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD VII), Chicago, US, July 2009.

Guided model checking for programs with polymorphism. ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM), Savannah, January 2009.

Analyzing Gene Relationships for Down Syndrome with Labeled Transition Graphs. Formal Methods in Computer Aided Design, Austin, US, November 2007.

An Improved Distance Heuristic Function for Directed Software Model Checking. Formal Methods in Computer Aided Design, San Jose, US, November 2006.

A Context-sensitive Structural Heuristic for Guided Search Model Checking. 20th IEEE/ACM International Conference on Automated Software Engineering, Long Beach, CA, US, November 2005.

Workshop Presentations

Modeling complex air traffic management systems . MiSE@ICSE 2016.

Helping system engineers bridge the peaks . TwinPeaks 2014.

Hardness in Explicit State Software Model Checking Benchmarks. Third Utah Regional Verification Workshop, Utah State University, Logan, Utah, August 2007.

Guided Model Checking. Second Utah Regional Verification Workshop, Brigham Young University, Provo, Utah, May 2005.

Other Presentations

Guided Testing using Abstraction-Guided Symbolic Execution. NASA Ames Research Center, Moffet Field, California, USA. June 2009.

Abstraction-Guided Symbolic Execution. Microsoft Research, Redmond, Feb 2009.

Verifying Embedded Systems using Guided Model Checking. BYU-Nokia Seminar, Nokia Research Center, Dallas, Texas, March 2006.

Combining Dynamic Information with Static Analysis in Structural Heuristics. National Aeronautical and Space Administration (NASA) Ames Research Center, Moffett Field, California, USA, March 2005.

19th, 20th, 21st, and 22nd Annual Spring Research Conference, College of Physical and Mathematical Science, Brigham Young University. Best presenter award for years: 2005, 2006, 2007, and 2008.



MS 269 - 1

Bldg 269 Room 230
NASA Ames Research Center
Moffett Field CA 94035

neha.s.rungta "at"

Links :

+ Brigham Young University
+ BYU CS Department
+ Blog

+ NASA Ames
+ TI Home Page
+ RSE Homepage
+ NASA Home Page

First Gov logo
NASA Logo -