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 | 430 | 2008 |
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 | 331 | 2008 |
Subtleties of transactional memory atomicity semantics C Blundell, EC Lewis, MMK Martin IEEE Computer Architecture Letters 5 (2), 17-17, 2006 | 319 | 2006 |
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 | 204 | 2007 |
Deconstructing transactional semantics: The subtleties of atomicity C Blundell, EC Lewis, M Martin Annual Workshop on Duplicating, Deconstructing, and Debunking (WDDD), 48-55, 2005 | 185 | 2005 |
Invisifence: performance-transparent memory ordering in conventional multiprocessors C Blundell, MMK Martin, TF Wenisch Proceedings of the 36th annual International Symposium on Computer …, 2009 | 140 | 2009 |
Unrestricted transactional memory: Supporting I/O and system calls within transactions C Blundell, EC Lewis, MMK Martin University of Pennsylvania, 1-12, 2006 | 77 | 2006 |
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 | 59 | 2008 |
System and method for software initiated checkpoint operations CB Blundell, HW Cain III, GC Cascaval, MM Michael US Patent 8,392,694, 2013 | 57 | 2013 |
RETCON: transactional repair without replay C Blundell, A Raghavan, MMK Martin ACM SIGARCH Computer Architecture News 38 (3), 258-269, 2010 | 53 | 2010 |
Assume-guarantee testing C Blundell, D Giannakopoulou, CS Pǎsǎreanu ACM SIGSOFT Software Engineering Notes 31 (2), 1-es, 2005 | 49 | 2005 |
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 | 46 | 2008 |
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 | 42 | 2004 |
Atomic commit predicated on consistency of watches CB Blundell, HW Cain III, GC Cascaval, MM Michael US Patent 8,255,626, 2012 | 35 | 2012 |
Assume-guarantee testing for software components D Giannakopoulou, CS Păsăreanu, C Blundell IET Software 2 (6), 547-562, 2008 | 25 | 2008 |
Selective Delaying of Write Requests in Hardware Transactional Memory Systems CB Blundell, HW Cain III, JE Moreira US Patent App. 13/646,011, 2014 | 9 | 2014 |
Overflow handling of speculative store buffers CB Blundell, HW Cain III, GC Cascaval, MM Michael US Patent 8,572,341, 2013 | 9 | 2013 |
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 | 6 | 2010 |
Selective Delaying of Write Requests in Hardware Transactional Memory Systems CB Blundell, HW Cain III, JE Moreira US Patent App. 13/606,973, 2014 | 5 | 2014 |
Relaxing synchronization for performance and insight L Renganarayana, V Srinivasan, R Nair, D Prener, C Blundell Technical Report RC25256, IBM, 2011 | 2 | 2011 |