Many of my projects are ongoing collaborations with colleagues at a number of institutions. In particular, I have long-standing collaborations with people in the SAnToS group at K-State, in the RSE group at NASA Ames, and the Laser lab at UMass.
Other people keep track of the papers I've published
Current Students
- Ian Cottingham (PhD)
- Rahul Purandare (PhD)
- Elena Sherman (PhD)
- Jiangfan Shi (PhD)
- Chris Thiel (PhD)
Graduated Doctoral Students
- Suzette Person PhD 2009 (now at NASA Langley Research Center)
- Oksana Tkachuk PhD 2008 (now at Fujitsu Laboratories of America)
- Robby, PhD 2004 (now at Kansas State University)
- Corina Pasareanu, PhD 2001 (now at Carnegie Mellon University/NASA Ames Research Center)
Community Service
- Program committee member for ESEC/FSE (1999,2000,2002,2005), TACAS (2000,2002), ICSE (2000,2001,2003,2005,2007,2009,2010), IWSSD (2000), ISSTA (2004,2006), PASTE (2001,2002), PEPM (2003), PLDI (2004, 2010:ERC), OOPSLA (2006,2009), CAV (2003), FASE (2004, 2006), FTfJP (2004), ICFEM (2004), ROSATEA (2006), RTAS (2005), SAVECBS (2003,2004), SPIN (2003,2007,2009), 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-2008).
- Editorial boards for STTT (co-Editor in Chief 2003-2008), TSE (Associate Editor 2006-present), TOPLAS (Associate Editor 2009-present)
- SIGSOFT (Secretary/Treasurer 2005-2009, Vice Chair 2009-present)