My primary research interests are in software specification
and analysis. I am particularly interested in combining
different forms of analysis, e.g., dynamic and static,
lightweight and heavyweight, informed and randomized.
Many of my projects are ongoing collaborations with colleagues
at a number of institutions. In particular, I work closely with
people in the SAnToS
group at K-State and the
Laser lab at UMass.
Here are a few of the specific projects:
- Sofya:
a framework for building rich and efficient run-time analyses
- Specification Patterns,
which seek to make it easier for people to formalize correctness properties
in specification languages for finite-state verification
- Bogor:
an extensible and customizable model checking framework
- Bandera: tool support
for model checking Java programs
- Cadena: tool support
for analyzing event-driven component-based designs
Other people keep track of the papers I've published
Current Students
Graduated Doctoral Students
- Robby, PhD 2004 (now at Kansas State University)
- Corina Pasareanu, PhD 2001 (now at NASA Ames Research Center)
Service Activities
- Program committee member for
ESEC/FSE (1999,2000,2002,2005), TACAS (2000,2002), ICSE (2000,2001,2003,2005,2007,2009),
IWSSD (2000), ISSTA (2004,2006), PASTE (2001,2002), PEPM (2003), PLDI (2004),
OOPSLA (2006), CAV (2003), FASE (2004, 2006), FTfJP (2004), ICFEM (2004),
ROSATEA (2006), RTAS (2005), SAVECBS (2003,2004), SPIN (2003, 2007), TAIC PART (2007), and WODA(2007,2008).
- Program chair for SPIN (2001), PASTE (2002), FSE (2004), FASE (2007), and ICSE (2008) .
- Steering commitee for SPIN (2001-2003), PASTE (2002-2004), ICSE (2004-present), ETAPS (2006-2008), FASE (2006-present).
- Editorial boards for STTT (co-Editor in Chief 2003-2007), TSE (Associate Editor 2006-present)
- SIGSOFT (Secretary/Treasurer 2005-present)