| 2012 | ||
|---|---|---|
| c16 | Sungpack Hong, Tayo Oguntebi, Jared Casper, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun: A case of system-level hardware/software co-design and co-verification of a commodity multi-processor system with custom hardware. CODES+ISSS 2012: 513-520 | |
| c15 | Juan M. Tamayo, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv: Understanding the behavior of database operations under program control. OOPSLA 2012: 983-996 | |
| c14 | Aleksandar Prokopec, Nathan Grasso Bronson, Phil Bagwell, Martin Odersky: Concurrent tries with efficient non-blocking snapshots. PPOPP 2012: 151-160 | |
| 2011 | ||
| c13 | Jared Casper, Tayo Oguntebi, Sungpack Hong, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun: Hardware acceleration of transactional memory on commodity systems. ASPLOS 2011: 27-38 | |
| c12 | Ohad Shacham, Nathan Grasso Bronson, Alex Aiken, Mooly Sagiv, Martin T. Vechev, Eran Yahav: Testing atomicity of composed concurrent operations. OOPSLA 2011: 51-64 | |
| c11 | Guy Golan-Gueta, Nathan Grasso Bronson, Alex Aiken, G. Ramalingam, Mooly Sagiv, Eran Yahav: Automatic fine-grain locking using shape properties. OOPSLA 2011: 225-242 | |
| 2010 | ||
| c10 | Tayo Oguntebi, Sungpack Hong, Jared Casper, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun: FARM: A Prototyping Environment for Tightly-Coupled, Heterogeneous Architectures. FCCM 2010: 221-228 | |
| c9 | Woongki Baek, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun: Implementing and Evaluating a Model Checker for Transactional Memory Systems. ICECCS 2010: 117-126 | |
| c8 | Woongki Baek, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun: Making nested parallel transactions practical using lightweight hardware support. ICS 2010: 61-71 | |
| c7 | Sungpack Hong, Tayo Oguntebi, Jared Casper, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun: Eigenbench: A simple exploration tool for orthogonal TM characteristics. IISWC 2010: 1-11 | |
| c6 | Nathan Grasso Bronson, Jared Casper, Hassan Chafi, Kunle Olukotun: Transactional predication: high-performance concurrent sets and maps for STM. PODC 2010: 6-15 | |
| c5 | Nathan Grasso Bronson, Jared Casper, Hassan Chafi, Kunle Olukotun: A practical concurrent binary search tree. PPOPP 2010: 257-268 | |
| c4 | Woongki Baek, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun: Implementing and evaluating nested parallel transactions in software transactional memory. SPAA 2010: 253-262 | |
| 2009 | ||
| c3 | Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun: Feedback-directed barrier optimization in a strongly isolated STM. POPL 2009: 213-225 | |
| 2008 | ||
| c2 | JaeWoong Chung, Woongki Baek, Nathan Grasso Bronson, Jiwon Seo, Christos Kozyrakis, Kunle Olukotun: Ased: availability, security, and debugging support usingtransactional memory. SPAA 2008: 366 | |
| 2007 | ||
| c1 | Chi Cao Minh, Martin Trautmann, JaeWoong Chung, Austen McDonald, Nathan Grasso Bronson, Jared Casper, Christos Kozyrakis, Kunle Olukotun: An effective hybrid transactional memory system with strong isolation guarantees. ISCA 2007: 69-80 | |
| 1 | Alexander Aiken (Alex Aiken) | |
| 2 | Woongki Baek | |
| 3 | Phil Bagwell | |
| 4 | Jared Casper | |
| 5 | Hassan Chafi | |
| 6 | JaeWoong Chung | |
| 7 | Guy Golan-Gueta (Guy Gueta) | |
| 8 | Sungpack Hong | |
| 9 | Christoforos E. Kozyrakis (Christos Kozyrakis) | |
| 10 | Austen McDonald | |
| 11 | Chi Cao Minh | |
| 12 | Martin Odersky | |
| 13 | Tayo Oguntebi | |
| 14 | Kunle Olukotun (Oyekunle A. Olukotun) | |
| 15 | Aleksandar Prokopec | |
| 16 | G. Ramalingam (Ganesan Ramalingam) | |
| 17 | Shmuel Sagiv (Mooly Sagiv) | |
| 18 | Jiwon Seo | |
| 19 | Ohad Shacham | |
| 20 | Juan M. Tamayo | |
| 21 | Martin Trautmann | |
| 22 | Martin T. Vechev | |
| 23 | Eran Yahav |
Colors in the list of coauthors
Last update Sun May 19 19:29:23 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page