Thesis Proposal: Adaptive Approximate State Storage

The latest proposal PDF is here.

Committee

• Pete Manolios (advisor)
• Jay Aslam - My dissertation will have a lot of analysis of algorithms and data structures, including randomized structures. Jay is well qualified to critique this aspect.
• Gene Cooperman - Gene has a lot of experience in implementing and analyzing large-scale search algorithms on real systems. Explicit-state model checking, the motivating application of my work, uses large-scale search.
• Willem Visser (external) - Willem has done a variety of research in software engineering, including a lot of work in software model checking. He has been instrumental in the development of the explicit-state model checker Java PathFinder. He has served on numerous program committees, including for the workshop for SPIN, which is the primary model checker I will use to evaluate my work. Willem is well qualified to guage my contributions to the formal verification community. (Not listed on his web page is that he has started a professorship at the University of Stellenbosch.)