| 2008 |
|---|
| 7 | EE | Kevin Bierhoff,
Jonathan Aldrich:
PLURAL: checking protocol compliance under aliasing.
ICSE Companion 2008: 971-972 |
| 6 | EE | Nels E. Beckman,
Kevin Bierhoff,
Jonathan Aldrich:
Verifying correct usage of atomic blocks and typestate.
OOPSLA 2008: 227-244 |
| 5 | EE | Kevin Bierhoff:
Checking API protocol compliance in java.
OOPSLA Companion 2008: 915-916 |
| 2007 |
|---|
| 4 | EE | 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 | EE | Kevin Bierhoff,
Jonathan Aldrich:
Modular typestate checking of aliased objects.
OOPSLA 2007: 301-320 |
| 2006 |
|---|
| 2 | EE | George Fairbanks,
Kevin Bierhoff,
Desmond D'Souza:
Software architecture at a large financial firm.
OOPSLA Companion 2006: 815-823 |
| 2005 |
|---|
| 1 | EE | Kevin Bierhoff,
Jonathan Aldrich:
Lightweight object specification with typestates.
ESEC/SIGSOFT FSE 2005: 217-226 |
