 | 2009 |
|---|
| 10 |       | Colin Blundell,
Milo M. K. Martin,
Thomas F. Wenisch:
InvisiFence: performance-transparent memory ordering in conventional multiprocessors.
ISCA 2009: 233-244 |
| 2008 |
|---|
| 9 | | 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 |
| 8 | | Arun Raghavan,
Colin Blundell,
Milo M. K. Martin:
Token tenure: PATCHing token counting using directory-based cache coherence.
MICRO 2008: 47-58 |
| 7 | | 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?
ACM Queue 6(5): 46-58 (2008) |
| 6 | | 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) |
| 5 | | Dimitra Giannakopoulou,
Corina S. Pasareanu,
Colin Blundell:
Assume-guarantee testing for software components.
IET Software 2(6): 547-562 (2008) |
| 2007 |
|---|
| 4 | | 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 | | Colin Blundell,
Dimitra Giannakopoulou,
Corina S. Pasareanu:
Assume-guarantee testing.
ACM SIGSOFT Software Engineering Notes 31(2): (2006) |
| 2 | | Milo M. K. Martin,
Colin Blundell,
E. Lewis:
Subtleties of Transactional Memory Atomicity Semantics.
Computer Architecture Letters 5(2): (2006) |
| 2004 |
|---|
| 1 | | Colin Blundell,
Kathi Fisler,
Shriram Krishnamurthi,
Pascal Van Hentenryck:
Parameterized Interfaces for Open System Verification of Product Lines.
ASE 2004: 258-267 |
