Carnegie Mellon University

Kevin Bierhoff

Dr. Kevin Bierhoff (CS 2009)

5000 Forbes Avenue
Pittsburgh, PA 15213


Since July 2009 I work for Two Sigma, a medium-sized financial company in New York City.  I'm having a lot of fun there designing reliable software.

I have a Ph.D. in Software Engineering from Carnegie Mellon University's School of Computer Science.  I graduated in May 2009 with my thesis on API protocol compliance in object-oriented software. My advisor is Jonathan Aldrich.  I hold a M.S. degree from Carnegie Mellon and a B.S. degree from Hasso-Plattner-Institute, Potsdam, Germany.


Kevin Bierhoff and Jonathan Aldrich. Permissions to Specify the Composite Design Pattern. In SAVCBS '08, Atlanta, GA, USA, November 2008.

Nels Beckman, Kevin Bierhoff, and Jonathan Aldrich. Verifying Correct Usage of Atomic Blocks and Typestate.In OOPSLA '08, Nashville, TN, USA, pages 227-244. ACM Press, New York, October 2008.

Kevin Bierhoff. Checking API Protocol Compliance in Java. Student Research Competition poster in OOPSLA '08 Companion, Nashville, TN, USA, pages 915-916. ACM Press, New York, October 2008.

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 Chris Hawblitzel.  Checking the Hardware-Software Interface in Spec#.  In Proceedings of the 4th Workshop on Programming Languages and Operating Systems (PLOS '07) at SOSP '07, Stevenson, WA, USA, October 18, 2007.

Kevin Bierhoff and Jonathan Aldrich.  Modular Typestate Checking of Aliased Objects.  In Proceedings of the 22nd ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '07), Montreal, Canada, October 21-25, 2007, pages 301-320.  ACM Press, New York, October 2007.

Christopher Scaffidi, Kevin Bierhoff, Eric Chang, Mikhael Felker, Herman Ng, and Chun Jin. RedOpal: Product-Features Scoring from Reviews. In Proceedings of the 8th ACM Conference on Electronic Commerce (EC '07), San Diego, CA, USA, June 11-15, 2007, pages 182-191. ACM Press, New York, June 2007.

Kevin Bierhoff, Mark Grechanik, and Edy S. Liongosari.  Architectural Mismatch in Service-Oriented Architectures.  In International Workshop on Systems Development in SOA Environments (SDSOA '07) at ICSE-29, 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. 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.

Kevin Bierhoff and Jonathan Aldrich, Lightweight Object Specification with Typestates. In ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-13), Lisbon, Portugal, pp. 217-226, September 2005.