Parameterized Interfaces for Open System Verification of Product Lines. - Colin Blundell; Kathi Fisler; Shriram Krishnamurthi; Pascal Van Hentenryck (ASE, 2004)

Subtleties of Transactional Memory Atomicity Semantics. - Milo M. K. Martin; Colin Blundell; E Christopher Lewis (IEEE Comput. Archit. Lett., 2006)

Assume-guarantee testing. - Colin Blundell; Dimitra Giannakopoulou; Corina S. Pasareanu (ACM SIGSOFT Softw. Eng. Notes, 2006)

Making the fast case common and the uncommon case simple in unbounded transactional memory. - Colin Blundell; Joe Devietti; E. Christopher Lewis; Milo M. K. Martin (ISCA, 2007)

Hardbound: architectural support for spatial safety of the C programming language. - Joe Devietti; Colin Blundell; Milo M. K. Martin; Steve Zdancewic (ASPLOS, 2008)

Token tenure: PATCHing token counting using directory-based cache coherence. - Arun Raghavan; Colin Blundell; Milo M. K. Martin (MICRO, 2008)

Assume-guarantee testing for software components. - Dimitra Giannakopoulou; Corina S. Pasareanu; Colin Blundell (IET Softw., 2008)

Software Transactional Memory: Why Is It Only a Research Toy? - Calin Cascaval; Colin Blundell; Maged M. Michael; Harold W. Cain; Peng Wu 001; Stefanie Chiras; Siddhartha Chatterjee (ACM Queue, 2008)

InvisiFence: performance-transparent memory ordering in conventional multiprocessors. - Colin Blundell; Milo M. K. Martin; Thomas F. Wenisch (ISCA, 2009)

RETCON: transactional repair without replay. - Colin Blundell; Arun Raghavan; Milo M. K. Martin (ISCA, 2010)

Token tenure and PATCH: A predictive/adaptive token-counting hybrid. - Arun Raghavan; Colin Blundell; Milo M. K. Martin (ACM Trans. Archit. Code Optim., 2010)