Kevin Bierhoff

16 papers A* 2A 3Journal 1Unranked 10
YearRankTypeTitle / Venue / Authors
2022 J jnl
Wildcards need witness protection.
Proc. ACM Program. Lang.
Kevin Bierhoff
2012 A* conf
A type system for borrowing permissions.
POPL
Karl Naden, Robert Bocchino, Jonathan Aldrich, Kevin Bierhoff
2012 — conf
Impact analysis for distributed event-based systems.
DEBS
Daniel Popescu, Joshua Garcia, Kevin Bierhoff, Nenad Medvidovic
2011 — conf
Automated program verification made SYMPLAR: symbolic permissions for lightweight automated reasoning.
Onward!
Kevin Bierhoff
2009 A conf
Practical API Protocol Checking with Access Permissions.
ECOOP
Kevin Bierhoff, Nels E. Beckman, Jonathan Aldrich
2009 — conf
Typestate protocol specification in JML.
SAVCBS
Taekgoo Kim, Kevin Bierhoff, Jonathan Aldrich, Sungwon Kang
2008 — conf
Checking API protocol compliance in java.
OOPSLA Companion
Kevin Bierhoff
2008 — conf
PLURAL: checking protocol compliance under aliasing.
ICSE Companion
Kevin Bierhoff, Jonathan Aldrich
2008 A conf
Verifying correct usage of atomic blocks and typestate.
OOPSLA
Nels E. Beckman, Kevin Bierhoff, Jonathan Aldrich
2007 — conf
Architectural Mismatch in Service-Oriented Architectures.
SDSOA@ICSE
Kevin Bierhoff, Mark Grechanik, Edy S. Liongosari
2007 — conf
Checking the hardware-software interface in spec#.
PLOS@SOSP
Kevin Bierhoff, Chris Hawblitzel
2007 A conf
Modular typestate checking of aliased objects.
OOPSLA
Kevin Bierhoff, Jonathan Aldrich
2007 A* conf
Red Opal: product-feature scoring from reviews.
EC
Christopher Scaffidi, Kevin Bierhoff, Eric Chang, Mikhael Felker, Herman Ng, Chun Jin
2006 — conf
Iterator specification with typestates.
SAVCBS@FSE
Kevin Bierhoff
2006 — conf
Software architecture at a large financial firm.
OOPSLA Companion
George Fairbanks, Kevin Bierhoff, Desmond D'Souza
2005 — conf
Lightweight object specification with typestates.
ESEC/SIGSOFT FSE
Kevin Bierhoff, Jonathan Aldrich