| 2008 |
|---|
| 7 | 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 |
| 6 | EE | Arun Raghavan,
Colin Blundell,
Milo M. K. Martin:
Token tenure: PATCHing token counting using directory-based cache coherence.
MICRO 2008: 47-58 |
| 5 | EE | Calin Cascaval,
Colin Blundell,
Maged M. Michael,
Harold W. Cain,
Peng Wu,
Stefanie Chiras,
Siddhartha Chatterjee:
Software transactional memory: why is it only a research toy?
Commun. ACM 51(11): 40-46 (2008) |
| 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 |
