Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Kevin Bierhoff

Kevin Bierhoff

Graduate Assistant
Institute for Software Research International
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. Here is my CV.

Research Interests

Practical specification and verification of object-oriented software. State-based modelling. Type theory.

Publications

Kevin Bierhoff, Jonathan Aldrich, and Sangjin Han. A Language-based Approach to Specification and Enforcement of Architectural Protocols (Expanded Version). Technical Report CMU-CS-06-119, April 2006.

Andi Bejleri, Jonathan Aldrich, and Kevin Bierhoff. Ego: Controlling the Power of Simplicity. In FOOL/WOOD '06, Charleston, SC, 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.

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

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

Class Projects

Incremental Path Profiling for Optimizing Compilers

Good Stuff

RoboWars is a multiplayer computer game that needs all your attention.