I am interested in techniques that make it easier to build software that "does what you expect" and in determining, after you've built that software, what it actually "does" when you use it.

Publications

Other people keep track of the papers I've published, but it usually takes some months for these sources to be updated. If you are interested in a recent paper send me an email.

Students

One of the best parts of my job involves working with bright, motivated students. I learn at least as much from them as they do from me.

Current Doctoral Students

Elena Sherman (PhD)
Chris Thiel (PhD)
Du Li (PhD co-advisor with Witawas Srisa-an)
Haitao Zhu (PhD co-advisor with Steve Goddard)
Dave Anthony (PhD co-advisor with Mehmet Can Vuran)
Yurong Wang (PhD co-advisor with Sebastian Elbaum)

Graduated Doctoral Students

Jiangfan Shi PhD 2012 (co-advised with Myra Cohen)
Rahul Purandare PhD 2011 (now at UNL)
Suzette Person PhD 2009 (now at NASA Langley Research Center)
Oksana Tkachuk PhD 2008 (now at NASA Ames Research Center, was at Fujitsu Laboratories of America)
Robby, PhD 2004 (co-advised with John Hatcliff, now at Kansas State University)
Corina Pasareanu, PhD 2001 (now at Carnegie Mellon University/NASA Ames Research Center)

Community Service

I believe that the field of software engineering develops most effectively when people build on each others work through a cooperative, rather than a competitive, process. Part of making that process happen is by helping to organize and run meetings and journals.

Program (co)chair of OOPSLA (2012), ICSE (2008), FASE (2007), FSE (2004), PASTE (2002), and SPIN (2001),
General chair of ISSTA (2011).
Steering commitee of ISSTA (2009-present), ICSE (2004-2010), ETAPS (2006-2008), FASE (2006-2008), PASTE (2002-2004), and SPIN (2001-2003),
Editorial boards for STTT (co-Editor in Chief 2003-2008), TSE (Associate Editor 2006-2009), TOPLAS (Associate Editor 2009-present)
SIGSOFT (Secretary/Treasurer 2005-2009, Vice Chair 2009-present)