 | 2012 |
|---|
| 9 |       | Karl Naden,
Robert Bocchino,
Jonathan Aldrich,
Kevin Bierhoff:
A type system for borrowing permissions.
POPL 2012: 557-570 |
| 2009 |
|---|
| 8 | | Kevin Bierhoff,
Nels E. Beckman,
Jonathan Aldrich:
Practical API Protocol Checking with Access Permissions.
ECOOP 2009: 195-219 |
| 2008 |
|---|
| 7 | | Kevin Bierhoff,
Jonathan Aldrich:
PLURAL: checking protocol compliance under aliasing.
ICSE Companion 2008: 971-972 |
| 6 | | Nels E. Beckman,
Kevin Bierhoff,
Jonathan Aldrich:
Verifying correct usage of atomic blocks and typestate.
OOPSLA 2008: 227-244 |
| 5 | | Kevin Bierhoff:
Checking API protocol compliance in java.
OOPSLA Companion 2008: 915-916 |
| 2007 |
|---|
| 4 | | Christopher Scaffidi,
Kevin Bierhoff,
Eric Chang,
Mikhael Felker,
Herman Ng,
Chun Jin:
Red Opal: product-feature scoring from reviews.
ACM Conference on Electronic Commerce 2007: 182-191 |
| 3 | | Kevin Bierhoff,
Jonathan Aldrich:
Modular typestate checking of aliased objects.
OOPSLA 2007: 301-320 |
| 2006 |
|---|
| 2 | | George Fairbanks,
Kevin Bierhoff,
Desmond D'Souza:
Software architecture at a large financial firm.
OOPSLA Companion 2006: 815-823 |
| 2005 |
|---|
| 1 | | Kevin Bierhoff,
Jonathan Aldrich:
Lightweight object specification with typestates.
ESEC/SIGSOFT FSE 2005: 217-226 |
Data released under the ODC-BY 1.0 license — See also our legal information page