Nathan Grasso Bronson

According to our database, Nathan Grasso Bronson authored at least 18 papers between 2007 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Verifying atomicity via data independence.

Ohad Shacham, Eran Yahav, Guy Golan-Gueta, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv, Martin T. Vechev

Proceedings of the International Symposium on Software Testing and Analysis, 2014

2012

Concurrent tries with efficient non-blocking snapshots.

Aleksandar Prokopec, Nathan Grasso Bronson, Phil Bagwell, Martin Odersky

Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2012

Understanding the behavior of database operations under program control.

Juan M. Tamayo, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

A case of system-level hardware/software co-design and co-verification of a commodity multi-processor system with custom hardware.

Sungpack Hong, Tayo Oguntebi, Jared Casper, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun

Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, 2012

2011

Composable operations on high-performance concurrent collections.

Nathan Grasso Bronson

PhD thesis, 2011

Testing atomicity of composed concurrent operations.

Ohad Shacham, Nathan Grasso Bronson, Alex Aiken, Mooly Sagiv, Martin T. Vechev, Eran Yahav

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Automatic fine-grain locking using shape properties.

Guy Golan-Gueta, Nathan Grasso Bronson, Alex Aiken, G. Ramalingam, Mooly Sagiv, Eran Yahav

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Hardware acceleration of transactional memory on commodity systems.

Jared Casper, Tayo Oguntebi, Sungpack Hong, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun

Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

2010

Implementing and evaluating nested parallel transactions in software transactional memory.

Woongki Baek, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun

Proceedings of the SPAA 2010: Proceedings of the 22nd Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2010

A practical concurrent binary search tree.

Nathan Grasso Bronson, Jared Casper, Hassan Chafi, Kunle Olukotun

Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2010

Transactional predication: high-performance concurrent sets and maps for STM.

Nathan Grasso Bronson, Jared Casper, Hassan Chafi, Kunle Olukotun

Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, 2010

Eigenbench: A simple exploration tool for orthogonal TM characteristics.

Sungpack Hong, Tayo Oguntebi, Jared Casper, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun

Proceedings of the 2010 IEEE International Symposium on Workload Characterization, 2010

Making nested parallel transactions practical using lightweight hardware support.

Woongki Baek, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun

Proceedings of the 24th International Conference on Supercomputing, 2010

Implementing and Evaluating a Model Checker for Transactional Memory Systems.

Woongki Baek, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun

Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

FARM: A Prototyping Environment for Tightly-Coupled, Heterogeneous Architectures.

Tayo Oguntebi, Sungpack Hong, Jared Casper, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun

Proceedings of the 18th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2010

2009

Feedback-directed barrier optimization in a strongly isolated STM.

Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

2008

Ased: availability, security, and debugging support usingtransactional memory.

JaeWoong Chung, Woongki Baek, Nathan Grasso Bronson, Jiwon Seo, Christos Kozyrakis, Kunle Olukotun

Proceedings of the SPAA 2008: Proceedings of the 20th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2008

2007

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

Proceedings of the 34th International Symposium on Computer Architecture (ISCA 2007), 2007