Nathan Grasso Bronson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
11
Active years
2007–2014
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | ISSTA | Verifying atomicity via data independence. | Ohad Shacham, Eran Yahav, Guy Golan-Gueta, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv, Martin T. Vechev |
| 2012 | OOPSLA | Understanding the behavior of database operations under program control. | Juan M. Tamayo, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv |
| 2012 | PPoPP | Concurrent tries with efficient non-blocking snapshots. | Aleksandar Prokopec, Nathan Grasso Bronson, Phil Bagwell, Martin Odersky |
| 2011 | ASPLOS | Hardware acceleration of transactional memory on commodity systems. | Jared Casper, Tayo Oguntebi, Sungpack Hong, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun |
| 2011 | OOPSLA | Automatic fine-grain locking using shape properties. | Guy Golan-Gueta, Nathan Grasso Bronson, Alex Aiken, G. Ramalingam, Mooly Sagiv, Eran Yahav |
| 2011 | OOPSLA | Testing atomicity of composed concurrent operations. | Ohad Shacham, Nathan Grasso Bronson, Alex Aiken, Mooly Sagiv, Martin T. Vechev, Eran Yahav |
| 2010 | FCCM | FARM: A Prototyping Environment for Tightly-Coupled, Heterogeneous Architectures. | Tayo Oguntebi, Sungpack Hong, Jared Casper, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun |
| 2010 | ICECCS | Implementing and Evaluating a Model Checker for Transactional Memory Systems. | Woongki Baek, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun |
| 2010 | ICS | Making nested parallel transactions practical using lightweight hardware support. | Woongki Baek, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun |
| 2010 | PODC | Transactional predication: high-performance concurrent sets and maps for STM. | Nathan Grasso Bronson, Jared Casper, Hassan Chafi, Kunle Olukotun |
| 2010 | PPoPP | A practical concurrent binary search tree. | Nathan Grasso Bronson, Jared Casper, Hassan Chafi, Kunle Olukotun |
| 2010 | SPAA | Implementing and evaluating nested parallel transactions in software transactional memory. | Woongki Baek, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun |
| 2009 | POPL | Feedback-directed barrier optimization in a strongly isolated STM. | Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun |
| 2008 | SPAA | Ased: availability, security, and debugging support usingtransactional memory. | JaeWoong Chung, Woongki Baek, Nathan Grasso Bronson, Jiwon Seo, Christos Kozyrakis, Kunle Olukotun |
| 2007 | ISCA | An effective hybrid transactional memory system with strong isolation guarantees. | Chi Cao Minh, Martin Trautmann, JaeWoong Chung, Austen McDonald, Nathan Grasso Bronson, Jared Casper, Christos Kozyrakis, Kunle Olukotun |