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, ...
Queue 6 (5), 46-58, 2008
3682008
Subtleties of transactional memory atomicity semantics
C Blundell, EC Lewis, MMK Martin
IEEE Computer Architecture Letters 5 (2), 17-17, 2006
2902006
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
2012008
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
1812007
Deconstructing transactional semantics: The subtleties of atomicity
C Blundell, EC Lewis, M Martin
Annual Workshop on Duplicating, Deconstructing, and Debunking (WDDD), 48-55, 2005
1712005
InvisiFence: performance-transparent memory ordering in conventional multiprocessors
C Blundell, MMK Martin, TF Wenisch
Proceedings of the 36th annual international symposium on Computer …, 2009
1162009
Unrestricted transactional memory: Supporting I/O and system calls within transactions
C Blundell, EC Lewis, M Martin
Technical Reports (CIS), 130, 2006
782006
System and method for software initiated checkpoint operations
CB Blundell, HW Cain III, GC Cascaval, MM Michael
US Patent 8,392,694, 2013
562013
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
532008
Assume-guarantee testing
C Blundell, D Giannakopoulou, CS Pǎsǎreanu
ACM SIGSOFT Software Engineering Notes 31 (2), 1-es, 2005
502005
RETCON: transactional repair without replay
C Blundell, A Raghavan, MMK Martin
ACM SIGARCH Computer Architecture News 38 (3), 258-269, 2010
472010
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
422008
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
292012
Assume-guarantee testing for software components
D Giannakopoulou, CS Păsăreanu, C Blundell
IET Software 2 (6), 547-562, 2008
162008
Selective Delaying of Write Requests in Hardware Transactional Memory Systems
CB Blundell, HW Cain III, JE Moreira
US Patent App. 13/646,011, 2014
82014
Overflow handling of speculative store buffers
CB Blundell, HW Cain III, GC Cascaval, MM Michael
US Patent 8,572,341, 2013
72013
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
52010
Selective Delaying of Write Requests in Hardware Transactional Memory Systems
CB Blundell, HW Cain III, JE Moreira
US Patent App. 13/606,973, 2014
32014
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