Follow
Colin Blundell
Colin Blundell
Verified email at google.com
Title
Cited by
Cited by
Year
Software transactional memory: Why is it only a research toy?
C Cascaval, C Blundell, M Michael, HW Cain, P Wu, S Chiras, ...
Communications of the ACM 51 (11), 40-46, 2008
4192008
Subtleties of transactional memory atomicity semantics
C Blundell, EC Lewis, MMK Martin
IEEE Computer Architecture Letters 5 (2), 17-17, 2006
3142006
Hardbound: Architectural support for spatial safety of the C programming language
J Devietti, C Blundell, MMK Martin, S Zdancewic
ACM SIGOPS Operating Systems Review 42 (2), 103-114, 2008
3062008
Making the fast case common and the uncommon case simple in unbounded transactional memory
C Blundell, J Devietti, EC Lewis, MMK Martin
ACM SIGARCH Computer Architecture News 35 (2), 24-34, 2007
1952007
Deconstructing transactional semantics: The subtleties of atomicity
C Blundell, EC Lewis, M Martin
Annual Workshop on Duplicating, Deconstructing, and Debunking (WDDD), 48-55, 2005
1812005
Invisifence: performance-transparent memory ordering in conventional multiprocessors
C Blundell, MMK Martin, TF Wenisch
Proceedings of the 36th annual International Symposium on Computer …, 2009
1392009
Unrestricted transactional memory: Supporting I/O and system calls within transactions
C Blundell, EC Lewis, MMK Martin
University of Pennsylvania, 1-12, 2006
772006
Token tenure: PATCHing token counting using directory-based cache coherence
A Raghavan, C Blundell, MMK Martin
2008 41st IEEE/ACM International Symposium on Microarchitecture, 47-58, 2008
592008
System and method for software initiated checkpoint operations
CB Blundell, HW Cain III, GC Cascaval, MM Michael
US Patent 8,392,694, 2013
572013
RETCON: transactional repair without replay
C Blundell, A Raghavan, MMK Martin
ACM SIGARCH Computer Architecture News 38 (3), 258-269, 2010
512010
Assume-guarantee testing
C Blundell, D Giannakopoulou, CS Pǎsǎreanu
ACM SIGSOFT Software Engineering Notes 31 (2), 1-es, 2005
502005
FeS2: A full-system execution-driven simulator for x86
N Neelakantam, C Blundell, J Devietti, MMK Martin, C Zilles
Poster presented at ASPLOS 2008, 6, 2008
462008
Parameterized interfaces for open system verification of product lines
C Blundell, K Fisler, S Krishnamurthi, P Van Hentenrvck
Proceedings. 19th International Conference on Automated Software Engineering …, 2004
412004
Atomic commit predicated on consistency of watches
CB Blundell, HW Cain III, GC Cascaval, MM Michael
US Patent 8,255,626, 2012
342012
Assume-guarantee testing for software components
D Giannakopoulou, CS Păsăreanu, C Blundell
IET Software 2 (6), 547-562, 2008
242008
Selective Delaying of Write Requests in Hardware Transactional Memory Systems
CB Blundell, HW Cain III, JE Moreira
US Patent App. 13/646,011, 2014
92014
Overflow handling of speculative store buffers
CB Blundell, HW Cain III, GC Cascaval, MM Michael
US Patent 8,572,341, 2013
92013
Token tenure and PATCH: A predictive/adaptive token-counting hybrid
A Raghavan, C Blundell, MMK Martin
ACM Transactions on Architecture and Code Optimization (TACO) 7 (2), 1-31, 2010
62010
Selective Delaying of Write Requests in Hardware Transactional Memory Systems
CB Blundell, HW Cain III, JE Moreira
US Patent App. 13/606,973, 2014
42014
Relaxing synchronization for performance and insight
L Renganarayana, V Srinivasan, R Nair, D Prener, C Blundell
Technical Report RC25256, IBM, 2011
22011
The system can't perform the operation now. Try again later.
Articles 1–20