Nathan Grasso Bronson

18 papers A* 4A 5B 5Misc 2Unranked 1
YearRankTypeTitle / Venue / Authors
2014 A conf
Verifying atomicity via data independence.
ISSTA
Ohad Shacham, Eran Yahav, Guy Golan-Gueta, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv, Martin T. Vechev
2012 Misc conf
A case of system-level hardware/software co-design and co-verification of a commodity multi-processor system with custom hardware.
CODES+ISSS
Sungpack Hong, Tayo Oguntebi, Jared Casper, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun
2012 B conf
Concurrent tries with efficient non-blocking snapshots.
PPoPP
Aleksandar Prokopec, Nathan Grasso Bronson, Phil Bagwell, Martin Odersky
2012 A conf
Understanding the behavior of database operations under program control.
OOPSLA
Juan M. Tamayo, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv
2011 A conf
Automatic fine-grain locking using shape properties.
OOPSLA
Guy Golan-Gueta, Nathan Grasso Bronson, Alex Aiken, G. Ramalingam, Mooly Sagiv, Eran Yahav
2011 — —
Composable operations on high-performance concurrent collections.
Nathan Grasso Bronson
2011 A* conf
Hardware acceleration of transactional memory on commodity systems.
ASPLOS
Jared Casper, Tayo Oguntebi, Sungpack Hong, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun
2011 A conf
Testing atomicity of composed concurrent operations.
OOPSLA
Ohad Shacham, Nathan Grasso Bronson, Alex Aiken, Mooly Sagiv, Martin T. Vechev, Eran Yahav
2010 B conf
A practical concurrent binary search tree.
PPoPP
Nathan Grasso Bronson, Jared Casper, Hassan Chafi, Kunle Olukotun
2010 — conf
Eigenbench: A simple exploration tool for orthogonal TM characteristics.
IISWC
Sungpack Hong, Tayo Oguntebi, Jared Casper, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun
2010 Misc conf
FARM: A Prototyping Environment for Tightly-Coupled, Heterogeneous Architectures.
FCCM
Tayo Oguntebi, Sungpack Hong, Jared Casper, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun
2010 B conf
Implementing and Evaluating a Model Checker for Transactional Memory Systems.
ICECCS
Woongki Baek, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun
2010 B conf
Implementing and evaluating nested parallel transactions in software transactional memory.
SPAA
Woongki Baek, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun
2010 A conf
Making nested parallel transactions practical using lightweight hardware support.
ICS
Woongki Baek, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun
2010 A* conf
Transactional predication: high-performance concurrent sets and maps for STM.
PODC
Nathan Grasso Bronson, Jared Casper, Hassan Chafi, Kunle Olukotun
2009 A* conf
Feedback-directed barrier optimization in a strongly isolated STM.
POPL
Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun
2008 B conf
Ased: availability, security, and debugging support usingtransactional memory.
SPAA
JaeWoong Chung, Woongki Baek, Nathan Grasso Bronson, Jiwon Seo, Christos Kozyrakis, Kunle Olukotun
2007 A* conf
An effective hybrid transactional memory system with strong isolation guarantees.
ISCA
Chi Cao Minh, Martin Trautmann, JaeWoong Chung, Austen McDonald, Nathan Grasso Bronson, Jared Casper, Christos Kozyrakis, Kunle Olukotun