Colin Blundell

According to our database, Colin Blundell authored at least 11 papers between 2004 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

RETCON: transactional repair without replay.

Colin Blundell, Arun Raghavan, Milo M. K. Martin

Proceedings of the 37th International Symposium on Computer Architecture (ISCA 2010), 2010

2009

InvisiFence: performance-transparent memory ordering in conventional multiprocessors.

Colin Blundell, Milo M. K. Martin, Thomas F. Wenisch

Proceedings of the 36th International Symposium on Computer Architecture (ISCA 2009), 2009

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, Stefanie Chiras, Siddhartha Chatterjee

Commun. ACM, 2008

Token tenure: PATCHing token counting using directory-based cache coherence.

Arun Raghavan, Colin Blundell, Milo M. K. Martin

Proceedings of the 41st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-41 2008), 2008

Hardbound: architectural support for spatial safety of the C programming language.

Joe Devietti, Colin Blundell, Milo M. K. Martin, Steve Zdancewic

Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, 2008

2007

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

Proceedings of the 34th International Symposium on Computer Architecture (ISCA 2007), 2007

2006

Assume-guarantee testing.

Colin Blundell, Dimitra Giannakopoulou, Corina S. Pasareanu

ACM SIGSOFT Softw. Eng. Notes, 2006

Subtleties of Transactional Memory Atomicity Semantics.

Milo M. K. Martin, Colin Blundell, E Christopher Lewis

IEEE Comput. Archit. Lett., 2006

2004

Parameterized Interfaces for Open System Verification of Product Lines.

Colin Blundell, Kathi Fisler, Shriram Krishnamurthi, Pascal Van Hentenryck

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004