Travelled to:1 × USA
Collaborated with:E.Torlak L.Ceze T.Mytkowicz K.S.McKinley D.Grossman A.Kaufmann J.Li A.Krishnamurthy X.W.0005 Randolph Lopez Douglas M. Carmean Georg Seelig K.Strauss
Talks about:uncertain (2) system (2) model (2) metasketch (1) framework (1) synthesi (1) synthes (1) specifi (1) consist (1) symbol (1)
Person: James Bornholt
DBLP: Bornholt:James
Contributed to:
2014
2018
2016
20172016Wrote 6 papers:
- ASPLOS-2014-BornholtMM #first-order #named #nondeterminism
- Uncertain: a first-order type for uncertain data (JB, TM, KSM), pp. 51–66.
- OOPSLA-2018-BornholtT #evaluation #symbolic computation
- Finding code that explodes under symbolic evaluation (JB, ET), p. 26.
- POPL-2016-BornholtTGC #optimisation #sketching #synthesis
- Optimizing synthesis with metasketches (JB, ET, DG, LC), pp. 775–788.
- PLDI-2017-BornholtT #framework #memory management #modelling #sketching #testing
- Synthesizing memory models from framework sketches and Litmus tests (JB, ET), pp. 467–481.
- ASPLOS-2016-BornholtKLKTW #file system #modelling #specification
- Specifying and Checking File System Crash-Consistency Models (JB, AK, JL, AK, ET, XW0), pp. 83–98.
- ASPLOS-2016-BornholtLCCSS
- A DNA-Based Archival Storage System (JB, RL, DMC, LC, GS, KS), pp. 637–649.