Colin Blundell

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

7EEJoe Devietti, Colin Blundell, Milo M. K. Martin, Steve Zdancewic: Hardbound: architectural support for spatial safety of the C programming language. ASPLOS 2008: 103-114
6EEArun Raghavan, Colin Blundell, Milo M. K. Martin: Token tenure: PATCHing token counting using directory-based cache coherence. MICRO 2008: 47-58
5EECalin 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)
4EEColin 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
3EEColin Blundell, Dimitra Giannakopoulou, Corina S. Pasareanu: Assume-guarantee testing. ACM SIGSOFT Software Engineering Notes 31(2): (2006)
2EEMilo M. K. Martin, Colin Blundell, E. Lewis: Subtleties of Transactional Memory Atomicity Semantics. Computer Architecture Letters 5(2): (2006)
1EEColin Blundell, Kathi Fisler, Shriram Krishnamurthi, Pascal Van Hentenryck: Parameterized Interfaces for Open System Verification of Product Lines. ASE 2004: 258-267

Coauthor Index

1Harold W. Cain [5]
2Calin Cascaval [5]
3Siddhartha Chatterjee [5]
4Stefanie Chiras [5]
5Joe Devietti [4] [7]
6Kathi Fisler [1]
7Dimitra Giannakopoulou [3]
8Pascal Van Hentenryck [1]
9Shriram Krishnamurthi [1]
10E. Lewis [2]
11E. Christopher Lewis [4]
12Milo M. K. Martin [2] [4] [6] [7]
13Maged M. Michael [5]
14Corina S. Pasareanu [3]
15Arun Raghavan [6]
16Peng Wu [5]
17Steve Zdancewic [7]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)