Nathan Grasso Bronson

Publication Activity (10 Years)

Years Active: 2007-2014
Publications (10 Years): 0

Top Topics

Acid Properties

Transaction Management

Data Independence

Single Processor

Top Venues

Publications

Ohad Shacham, Eran Yahav, Guy Golan-Gueta, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv, Martin T. Vechev
Verifying atomicity via data independence. ISSTA (2014)
Aleksandar Prokopec, Nathan Grasso Bronson, Phil Bagwell, Martin Odersky
Concurrent tries with efficient non-blocking snapshots. PPOPP (2012)
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)
Juan M. Tamayo, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv
Understanding the behavior of database operations under program control. OOPSLA (2012)
Guy Golan-Gueta, Nathan Grasso Bronson, Alex Aiken, G. Ramalingam, Mooly Sagiv, Eran Yahav
Automatic fine-grain locking using shape properties. OOPSLA (2011)
Ohad Shacham, Nathan Grasso Bronson, Alex Aiken, Mooly Sagiv, Martin T. Vechev, Eran Yahav
Testing atomicity of composed concurrent operations. OOPSLA (2011)
Jared Casper, Tayo Oguntebi, Sungpack Hong, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun
Hardware acceleration of transactional memory on commodity systems. ASPLOS (2011)
Sungpack Hong, Tayo Oguntebi, Jared Casper, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun
Eigenbench: A simple exploration tool for orthogonal TM characteristics. IISWC (2010)
Woongki Baek, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun
Implementing and Evaluating a Model Checker for Transactional Memory Systems. ICECCS (2010)
Woongki Baek, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun
Making nested parallel transactions practical using lightweight hardware support. ICS (2010)
Woongki Baek, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun
Implementing and evaluating nested parallel transactions in software transactional memory. SPAA (2010)
Nathan Grasso Bronson, Jared Casper, Hassan Chafi, Kunle Olukotun
A practical concurrent binary search tree. PPOPP (2010)
Tayo Oguntebi, Sungpack Hong, Jared Casper, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun
FARM: A Prototyping Environment for Tightly-Coupled, Heterogeneous Architectures. FCCM (2010)
Nathan Grasso Bronson, Jared Casper, Hassan Chafi, Kunle Olukotun
Transactional predication: high-performance concurrent sets and maps for STM. PODC (2010)
Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun
Feedback-directed barrier optimization in a strongly isolated STM. POPL (2009)
JaeWoong Chung, Woongki Baek, Nathan Grasso Bronson, Jiwon Seo, Christos Kozyrakis, Kunle Olukotun
Ased: availability, security, and debugging support usingtransactional memory. SPAA (2008)
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)