Colin Blundell

Colin Blundell
		Architecture & Compilers Group (ACG) Department of Computer & Information Science University of Pennsylvania Email: `blundell[at]cis.upenn.edu` Office: Levine 614 Advisor: Milo Martin

Publications

: Joe Devietti, Colin Blundell, Milo Martin, and Steve Zdancewic. HardBound: Architectural Support for Spatial Safety of the C Programming Language. In International Conference on Architectural Support for Programming Languages and Operating Systems, March 2008. [ pdf ]
: Colin Blundell, Joe Devietti, E Christopher Lewis, and Milo Martin. Making the Fast Case Common and the Uncommon Case Simple in Unbounded Transactional Memory. In International Symposium on Computer Architecture, June 2007. [ pdf ]
: Colin Blundell, E Christopher Lewis, and Milo Martin. Subtleties of Transactional Memory Atomicity Semantics. In Computer Architecture Letters, Volume 5, Number 2, November 2006. [ pdf ]
: Colin Blundell, E Christopher Lewis, and Milo Martin. Unrestricted Transactional Memory: Supporting I/O and System Calls within Transactions. Technical Report CIS-06-09, Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA, April 2006. [ pdf ]
: Colin Blundell, Dimitra Giannakopoulou, and Corina S. Pasareanu. Assume-Guarantee Testing. In Specification and Verification of Component-Based Systems (FSE 2005 workshop), September 2005. [ pdf ]
: Colin Blundell, E Christopher Lewis, and Milo Martin. Deconstructing Transactions: The Subtleties of Atomicity. In Workshop on Duplicating, Deconstructing, and Debunking (ISCA 2005 workshop), June 2005. [ pdf | ps]
: Colin Blundell, Kathi Fisler, Shriram Krishnamurthi, and Pascal Van Hentenryck. Parameterized Interfaces for Open System Verification of Product Lines (award paper). In IEEE International Symposium on Automated Software Engineering, September 2004. [ ps ]

Presentations

Making the Fast Case Common and the Uncommon Case Simple in Unbounded Transactional Memory. Given at ISCA 2007. [ ppt ]

Transactional Memory Challenges: Workloads, Execution Model, and Implementation. Given at IBM Workshop on Transactional Memory and Programming Technologies (TRAMP) 2007. [ ppt ]

Deconstructing Transactions: The Subtleties of Atomicity. Given at WDDD 2005. [ ppt | pdf ]

A Transactional Memory Overview. Given at WDDD 2005. [ ppt | pdf ]