BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Bronson:Nathan_Grasso

Contributed to:

ISSTA 20142014
OOPSLA 20122012
PPoPP 20122012
ASPLOS 20112011
OOPSLA 20112011
PPoPP 20102010
POPL 20092009

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.