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 × 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 DBLP: Bornholt:James

Contributed to:

ASPLOS 20142014
OOPSLA 20182018
POPL 20162016
PLDI 20172017
ASPLOS 20162016

Wrote 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.
A DNA-Based Archival Storage System (JB, RL, DMC, LC, GS, KS), pp. 637–649.

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.