Kevin Bierhoff

Publication Activity (10 Years)

Years Active: 2005-2022
Publications (10 Years): 1

Top Topics

Anomaly Detection

Protection Scheme

Top Venues

Proc. ACM Program. Lang.

Publications

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