Kevin Bierhoff

Graduate Assistant
Institute for Software Research
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213, USA

Office
Wean Hall 8301
+1 (412) 268-3074
kevin [dot] bierhoff [at] cs.cmu.edu

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.

Research Interests

Practical specification and verification of object-oriented software. State-based modelling. Component-based systems. Program analysis.

Publications

Details on my publications

Nels Beckman, Kevin Bierhoff, and Jonathan Aldrich.  Verifying Correct Usage of Atomic Blocks with Typestate.  In OOPSLA '08, Nashville, TN, USA, October 2008.  To appear.

Kevin Bierhoff and Jonathan Aldrich.  PLURAL: Checking Protocol Compliance under Aliasing.  Demonstration in ICSE-30 Companion, Leipzig, Germany, pages 971-972.  ACM Press New York, May 2008.

Kevin Bierhoff and Jonathan Aldrich.  Modular Typestate Checking of Aliased Objects.  In OOPSLA '07, Montreal, Canada, pages 301-320.  ACM Press, New York, October 2007.  Companion Technical Report CMU-ISRI-07-105.

Kevin Bierhoff and Chris Hawblitzel.  Checking the Hardware-Software Interface in Spec#.  In PLOS '07, Stevenson, WA, USA, October 18, 2007.

Christopher Scaffidi, Kevin Bierhoff, Eric Chang, Mikhael Felker, Herman Ng, and Chun Jin.  RedOpal: Product-Features Scoring from Reviews.  In EC '07, San Diego, CA, USA, pages 182-192.  ACM Press, New York, June 2007.

Kevin Bierhoff, Mark Grechanik, and Edy S. Liongosari.  Architectural Mismatch in Service-Oriented Architectures.  In SDSOA '07, Minneapolis, MN, USA, May 21, 2007.

Kevin Bierhoff and Jonathan Aldrich.  Modular Typestate Verification of Aliased Objects.  Technical Report CMU-ISRI-07-105, March 2007.

Kevin Bierhoff.  Iterator Specification with Typestates.  In SAVCBS '06, Portland, OR, USA, pp. 79-82. ACM Press, New York, November 2006.

George Fairbanks, Kevin Bierhoff, and Desmond D'Souza.  Software Architecture at a Large Financial Firm.  Experience report in OOPSLA '06 Companion, Portland, OR, USA, pp. 815-823. ACM Press, New York, October 2006.

Kevin Bierhoff, Edy S. Liongosari, and Kishore S. Swaminathan.  Incremental Development of a Domain-Specific Language That Supports Multiple Application Styles.  In DSM '06, Portland, OR, USA, pages 79-86, October 2006.

Kevin Bierhoff, Jonathan Aldrich, and Sangjin Han.  A Language-based Approach to Specification and Enforcement of Architectural Protocols.  Technical Report CMU-ISRI-07-121, April 2006.

Andi Bejleri, Jonathan Aldrich, and Kevin Bierhoff.  Ego: Controlling the Power of Simplicity. In FOOL/WOOD '06, Charleston, SC, USA, January 2006.  Companion Technical Report CMU-ISRI-04-142.

Kevin Bierhoff and Jonathan Aldrich.  Lightweight Object Specification with Typestates.  In ESEC/FSE-13, Lisbon, Portugal, pp. 217-226. ACM Press, New York, September 2005.

Andi Bejleri, Jonathan Aldrich, and Kevin Bierhoff.  A Type Checked Prototype-based Model with Linearity.  Technical Report CMU-ISRI-04-142, December 2004.

Research Groups

• Plaid -- the great family that I'm part of.
• Fluid -- static analysis like you've never seen before.
• POP -- the award-winning type theory group.
• SVC -- model checking and more.

Teaching Assistantships

• 17-654: Analysis of Software Artifacts (Spring 2007) taught by Jonathan Aldrich
• 15-312: Foundations of Programming Languages (Fall 2005) taught by Peter Lee

Classes

• 15-814: Type Systems for Programming Languages (Fall 2004) taught by Bob Harper
• 15-819: Objects and Aspects (Fall 2004) taught by Jonathan Aldrich
• 17-939: What Makes Good Research in Software Engineering? (Spring 2005) taught by Mary Shaw
• 17-754: Analysis of Software Artifacts (Spring 2005) taught by Jonathan Aldrich
• 17-898: Reading Seminar: Modeling Dynamic Software Architectures (Spring 2005) taught by Jonathan Aldrich and David Garlan
• 17-701: Web Commerce, Security and Privacy (Fall 2005) taught by Norman M. Sadeh
• 15-745: Optimizing Compilers (Spring 2006) taught by Peter Lee
• 15-810: Fast SAT Solvers and Practical Decision Procedures (Spring 2006) taught by Edmund Clarke
• 15-819K: Logic Programming (Fall 2006) taught by Frank Pfenning
  

Class Projects

Incremental Path Profiling for Optimizing Compilers (with Laura Hiatt)

Open Source

• Crystal is a static analysis framework for the Eclipse IDE developed by me and others in the Plaid group.
  
• RoboWars is a multiplayer computer game that needs all your attention.
• jBib is a library management system (German).