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
3792008
Subtleties of transactional memory atomicity semantics
C Blundell, EC Lewis, MMK Martin
IEEE Computer Architecture Letters 5 (2), 17-17, 2006
3012006
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
2172008
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
1882007
Deconstructing transactional semantics: The subtleties of atomicity
C Blundell, EC Lewis, M Martin
Annual Workshop on Duplicating, Deconstructing, and Debunking (WDDD), 48-55, 2005
1762005
Invisifence: performance-transparent memory ordering in conventional multiprocessors
C Blundell, MMK Martin, TF Wenisch
Proceedings of the 36th annual International Symposium on Computer …, 2009
1252009
Unrestricted transactional memory: Supporting I/O and system calls within transactions
C Blundell, EC Lewis, M Martin
Technical Reports (CIS), 130, 2006
782006
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
582008
System and method for software initiated checkpoint operations
CB Blundell, HW Cain III, GC Cascaval, MM Michael
US Patent 8,392,694, 2013
562013
RETCON: transactional repair without replay
C Blundell, A Raghavan, MMK Martin
ACM SIGARCH Computer Architecture News 38 (3), 258-269, 2010
492010
Assume-guarantee testing
C Blundell, D Giannakopoulou, CS Pǎsǎreanu
ACM SIGSOFT Software Engineering Notes 31 (2), 1-es, 2005
492005
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
472008
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
402004
Atomic commit predicated on consistency of watches
CB Blundell, HW Cain III, GC Cascaval, MM Michael
US Patent 8,255,626, 2012
302012
Software Transactional Memory: Why Is It Only a Research Toy? The promise of STM may likely be undermined by its overheads and workload applicabilities.
C Cascaval, C Blundell, M Michael, HW Cain, P Wu, S Chiras, ...
Queue 6 (5), 46-58, 2008
252008
Assume-guarantee testing for software components
D Giannakopoulou, CS Păsăreanu, C Blundell
IET Software 2 (6), 547-562, 2008
172008
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
The system can't perform the operation now. Try again later.
Articles 1–20