Colin Blundell's publications

Journal :: Conference :: Workshop :: Other

Journal

 
  • Assume-Guarantee Testing for Software Components.
        Dimitra Giannakopoulou, Corina Pasareanu, and Colin Blundell.
        Journal of IET Software (IETSW '08), Volume 2, Issue 6, December 2008.
    •  
  • Software Transactional Memory: Why Is It Only a Research Toy?
        Calin Cascaval, Colin Blundell, Maged Michael, Harold W. Cain, Peng Wu, Stefanie Chiras, and Siddhartha Chatterjee.
        Communications of the ACM (CACM '08), Volume 51, Issue 11, November 2008.
    •  
  • Subtleties of Transactional Memory Atomicity Semantics.
        Colin Blundell, E Christopher Lewis, and Milo Martin.
        Computer Architecture Letters (CAL '06), Volume 5, Number 2, November 2006.

    • Conference

     
  • InvisiFence: Performance-Transparent Memory Ordering in Conventional Multiprocessors.
        Colin Blundell, Milo Martin, and Thomas Wenisch.
        International Symposium on Computer Architecture (ISCA '09), June 2009.
    •  
  • Token Tenure: PATCHing Token Counting Using Directory-Based Cache Coherence.
        Arun Raghavan, Colin Blundell, and Milo Martin.
        International Symposium on Microarchitecture (MICRO '08), November 2008.
    •  
  • HardBound: Architectural Support for Spatial Safety of the C Programming Language.
        Joe Devietti, Colin Blundell, Milo Martin, and Steve Zdancewic.
        International Conference on Architectural Support for Programming Languages & Operating Systems (ASPLOS '08), March 2008.
    •  
  • Making the Fast Case Common and the Uncommon Case Simple in Unbounded Transactional Memory.
        Colin Blundell, Joe Devietti, E Christopher Lewis, and Milo Martin.
        International Symposium on Computer Architecture (ISCA '07), June 2007.
    •  
  • Parameterized Interfaces for Open System Verification of Product Lines (award paper).
        Colin Blundell, Kathi Fisler, Shriram Krishnamurthi, and Pascal Van Hentenryck.
        IEEE International Symposium on Automated Software Engineering (ASE '04), September 2004.

    • Workshop

     
  • Assume-Guarantee Testing.
        Colin Blundell, Dimitra Giannakopoulou, and Corina S. Pasareanu.
        Workshop on Specification and Verification of Component-Based Systems (SAVCBS '05), September 2005.
    •  
  • Deconstructing Transactions: The Subtleties of Atomicity.
        Colin Blundell, E Christopher Lewis, and Milo Martin.
        Workshop on Duplicating, Deconstructing, and Debunking (WDDD '05), June 2005.

    • Other

     
  • Unrestricted Transactional Memory: Supporting I/O and System Calls within Transactions.
        Colin Blundell, E Christopher Lewis, and Milo Martin.
        Technical Report CIS-06-09, Department of Computer and Information Science, University of Pennsylvania, April 2006.