| 2008 |
|---|
| 5 | EE | Joe Devietti,
Colin Blundell,
Milo M. K. Martin,
Steve Zdancewic:
Hardbound: architectural support for spatial safety of the C programming language.
ASPLOS 2008: 103-114 |
| 2007 |
|---|
| 4 | EE | Colin Blundell,
Joe Devietti,
E. Christopher Lewis,
Milo M. K. Martin:
Making the fast case common and the uncommon case simple in unbounded transactional memory.
ISCA 2007: 24-34 |
| 2006 |
|---|
| 3 | EE | Colin Blundell,
Dimitra Giannakopoulou,
Corina S. Pasareanu:
Assume-guarantee testing.
ACM SIGSOFT Software Engineering Notes 31(2): (2006) |
| 2 | EE | Milo M. K. Martin,
Colin Blundell,
E. Lewis:
Subtleties of Transactional Memory Atomicity Semantics.
Computer Architecture Letters 5(2): (2006) |
| 2004 |
|---|
| 1 | EE | Colin Blundell,
Kathi Fisler,
Shriram Krishnamurthi,
Pascal Van Hentenryck:
Parameterized Interfaces for Open System Verification of Product Lines.
ASE 2004: 258-267 |
