Travelled to:1 × India
6 × USA
Collaborated with:K.Olukotun A.Aiken M.Sagiv C.Kozyrakis E.Yahav J.Casper O.Shacham G.Golan-Gueta M.T.Vechev J.M.Tamayo A.Prokopec P.Bagwell M.Odersky H.Chafi T.Oguntebi S.Hong G.Ramalingam
Talks about:concurr (3) oper (2) atom (2) understand (1) transact (1) snapshot (1) properti (1) independ (1) feedback (1) behavior (1)
Person: Nathan Grasso Bronson
DBLP: Bronson:Nathan_Grasso
Contributed to:
2014
2012
2012
201120112010
2009Wrote 8 papers:
- ISSTA-2014-ShachamYGABSV #independence #verification
- Verifying atomicity via data independence (OS, EY, GGG, AA, NGB, MS, MTV), pp. 26–36.
- OOPSLA-2012-TamayoABS #behaviour #comprehension #database
- Understanding the behavior of database operations under program control (JMT, AA, NGB, MS), pp. 983–996.
- PPoPP-2012-ProkopecBBO #concurrent #performance
- Concurrent tries with efficient non-blocking snapshots (AP, NGB, PB, MO), pp. 151–160.
- ASPLOS-2011-CasperOHBKO #hardware #memory management #transaction
- Hardware acceleration of transactional memory on commodity systems (JC, TO, SH, NGB, CK, KO), pp. 27–38.
- OOPSLA-2011-Golan-GuetaBARSY #automation #using
- Automatic fine-grain locking using shape properties (GGG, NGB, AA, GR, MS, EY), pp. 225–242.
- OOPSLA-2011-ShachamBASVY #concurrent #testing
- Testing atomicity of composed concurrent operations (OS, NGB, AA, MS, MTV, EY), pp. 51–64.
- PPoPP-2010-BronsonCCO #concurrent
- A practical concurrent binary search tree (NGB, JC, HC, KO), pp. 257–268.
- POPL-2009-BronsonKO #optimisation
- Feedback-directed barrier optimization in a strongly isolated STM (NGB, CK, KO), pp. 213–225.