Colin Blundell

Publication Activity (10 Years)

Years Active: 2004-2010
Publications (10 Years): 0

Publications

Arun Raghavan, Colin Blundell, Milo M. K. Martin
Token tenure and PATCH: A predictive/adaptive token-counting hybrid. ACM Trans. Archit. Code Optim. 7 (2) (2010)
Colin Blundell, Arun Raghavan, Milo M. K. Martin
RETCON: transactional repair without replay. ISCA (2010)
Colin Blundell, Milo M. K. Martin, Thomas F. Wenisch
InvisiFence: performance-transparent memory ordering in conventional multiprocessors. ISCA (2009)
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) (2008)
Joe Devietti, Colin Blundell, Milo M. K. Martin, Steve Zdancewic
Hardbound: architectural support for spatial safety of the C programming language. ASPLOS (2008)
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) (2008)
Arun Raghavan, Colin Blundell, Milo M. K. Martin
Token tenure: PATCHing token counting using directory-based cache coherence. MICRO (2008)
Dimitra Giannakopoulou, Corina S. Pasareanu, Colin Blundell
Assume-guarantee testing for software components. IET Softw. 2 (6) (2008)
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)
Colin Blundell, Dimitra Giannakopoulou, Corina S. Pasareanu
Assume-guarantee testing. ACM SIGSOFT Softw. Eng. Notes 31 (2) (2006)
Milo M. K. Martin, Colin Blundell, E. Lewis
Subtleties of Transactional Memory Atomicity Semantics. IEEE Comput. Archit. Lett. 5 (2) (2006)
Colin Blundell, Dimitra Giannakopoulou, Corina S. Pasareanu
Assume-guarantee testing. SAVCBS@ESEC/FSE (2005)
Colin Blundell, Kathi Fisler, Shriram Krishnamurthi, Pascal Van Hentenryck
Parameterized Interfaces for Open System Verification of Product Lines. ASE (2004)