Neha Rungta

Welcome

I am a PhD candidate at Brigham Young University in the Computer Science department. I graduated with my bachelors magna cum laude in December 2004 and completed my Masters in December 2006 from the same department. My adviser is Dr. Eric Mercer . Since Jun 2003 my research has focused on making explicit state model checking a tractable verification technique for finding subtle concurrency errors in software systems. During these years, I have designed, implemented and evaluated various heuristics for guided model checking, randomized search techniques, and benchmarking criteria for explicit state model checking. Currently I am working on a guided test technique that verifies the feasibility of concurrency errors reported by imprecise static analysis tools.

I serve as a student representative on the Department's Graduate Affairs committee and am the president of the university's Women in CS club. In 2007, I receieved the 2007 Google Anita Borg Memorial Scholarship.

My proposal was accepted for the Google Summer of Code 2008. I will be working on the Java Pathfinder (JPF) model checker which was originally developed at NASA Ames Research Center. My work focuses on using JPF as a test engine to discover concurrency errors in multi-threaded programs. My mentor is Willem Visser.