| 2012 | POPL | A type system for borrowing permissions. | Karl Naden, Robert Bocchino, Jonathan Aldrich, Kevin Bierhoff |
| 2011 | OOPSLA | Automated program verification made SYMPLAR: symbolic permissions for lightweight automated reasoning. | Kevin Bierhoff |
| 2009 | ECOOP | Practical API Protocol Checking with Access Permissions. | Kevin Bierhoff, Nels E. Beckman, Jonathan Aldrich |
| 2008 | ICSE | PLURAL: checking protocol compliance under aliasing. | Kevin Bierhoff, Jonathan Aldrich |
| 2008 | OOPSLA | Verifying correct usage of atomic blocks and typestate. | Nels E. Beckman, Kevin Bierhoff, Jonathan Aldrich |
| 2008 | OOPSLA | Checking API protocol compliance in java. | Kevin Bierhoff |
| 2007 | ICSE | Architectural Mismatch in Service-Oriented Architectures. | Kevin Bierhoff, Mark Grechanik, Edy S. Liongosari |
| 2007 | OOPSLA | Modular typestate checking of aliased objects. | Kevin Bierhoff, Jonathan Aldrich |
| 2007 | SOSP | Checking the hardware-software interface in spec#. | Kevin Bierhoff, Chris Hawblitzel |
| 2006 | OOPSLA | Software architecture at a large financial firm. | George Fairbanks, Kevin Bierhoff, Desmond D'Souza |