关注
Colin Blundell
Colin Blundell
在 google.com 的电子邮件经过验证
标题
引用次数
引用次数
年份
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
4242008
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
3152008
Subtleties of transactional memory atomicity semantics
C Blundell, EC Lewis, MMK Martin
IEEE Computer Architecture Letters 5 (2), 17-17, 2006
3142006
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
1972007
Deconstructing transactional semantics: The subtleties of atomicity
C Blundell, EC Lewis, M Martin
Annual Workshop on Duplicating, Deconstructing, and Debunking (WDDD), 48-55, 2005
1842005
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
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
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
422004
Atomic commit predicated on consistency of watches
CB Blundell, HW Cain III, GC Cascaval, MM Michael
US Patent 8,255,626, 2012
352012
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
系统目前无法执行此操作,请稍后再试。
文章 1–20