kevin bierhoff

I'm a Ph.D. student in the Software Engineering program within Carnegie Mellon's School of Computer Science. My advisor is Jonathan Aldrich. I hold a B.S. degree from Hasso-Plattner-Institute, Potsdam, Germany, and a M.S. degree from Carnegie Mellon.

I'm expecting to graduate in May 2009 with my thesis on API protocol compliance in object-oriented software.

My thesis defense is scheduled for 23 April 2009, 12 noon, in Wean Hall 5324! I am very excited and hope that many of you can make it.

A paper on case studies with Plural was accepted for publication at ECOOP 2009 in Genova! For this paper I annotated a number of Java standard library APIs with Plural-readable annotations. In the interest scientific transparancy, I am making the annotated Java API files available here.

For license-technical reasons, I'm currently not sure how to distribute the annotated client programs I checked against these APIs, but if you're interested in seeing that code please contact me.

ECOOP 2009 will feature a tutorial on Crystal that Ciera Jaspan, Jonathan Aldrich, and I are organizing: Crystal-izing Sophisticated Code Analyses. Crystal is an Eclipse-based open-source static analysis framework for Java that I co-developed over the past few years.

Plural is a static protocol analysis tool for Java that I am developing with Nels Beckman.  You can download the sources for Plural and find instructions on how to install it under Eclipse on Google Code.