Colin Blundell

13 papers A* 6Journal 6Unranked 1
YearRankTypeTitle / Venue / Authors
2010 A* conf
RETCON: transactional repair without replay.
ISCA
Colin Blundell, Arun Raghavan, Milo M. K. Martin
2010 J jnl
Token tenure and PATCH: A predictive/adaptive token-counting hybrid.
ACM Trans. Archit. Code Optim.
Arun Raghavan, Colin Blundell, Milo M. K. Martin
2009 A* conf
InvisiFence: performance-transparent memory ordering in conventional multiprocessors.
ISCA
Colin Blundell, Milo M. K. Martin, Thomas F. Wenisch
2008 J jnl
Assume-guarantee testing for software components.
IET Softw.
Dimitra Giannakopoulou, Corina S. Pasareanu, Colin Blundell
2008 A* conf
Hardbound: architectural support for spatial safety of the C programming language.
ASPLOS
Joe Devietti, Colin Blundell, Milo M. K. Martin, Steve Zdancewic
2008 J jnl
Software Transactional Memory: Why Is It Only a Research Toy?
ACM Queue
Calin Cascaval, Colin Blundell, Maged M. Michael, Harold W. Cain, Peng Wu, Stefanie Chiras, Siddhartha Chatterjee
2008 J jnl
Software transactional memory: why is it only a research toy?
Commun. ACM
Calin Cascaval, Colin Blundell, Maged M. Michael, Harold W. Cain, Peng Wu, Stefanie Chiras, Siddhartha Chatterjee
2008 A* conf
Token tenure: PATCHing token counting using directory-based cache coherence.
MICRO
Arun Raghavan, Colin Blundell, Milo M. K. Martin
2007 A* conf
Making the fast case common and the uncommon case simple in unbounded transactional memory.
ISCA
Colin Blundell, Joe Devietti, E. Christopher Lewis, Milo M. K. Martin
2006 J jnl
Assume-guarantee testing.
ACM SIGSOFT Softw. Eng. Notes
Colin Blundell, Dimitra Giannakopoulou, Corina S. Pasareanu
2006 J jnl
Subtleties of Transactional Memory Atomicity Semantics.
IEEE Comput. Archit. Lett.
Milo M. K. Martin, Colin Blundell, E Christopher Lewis
2005 — conf
Assume-guarantee testing.
SAVCBS@ESEC/FSE
Colin Blundell, Dimitra Giannakopoulou, Corina S. Pasareanu
2004 A* conf
Parameterized Interfaces for Open System Verification of Product Lines.
ASE
Colin Blundell, Kathi Fisler, Shriram Krishnamurthi, Pascal Van Hentenryck