BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × Italy
1 × New Zealand
1 × South Africa
1 × The Netherlands
2 × Canada
4 × USA
Collaborated with:
K.Sen G.C.Necula C.Stergiou T.Elmas S.Juvekar N.Jalbert
Talks about:
program (4) specif (4) multithread (3) sequenti (3) determin (3) check (3) test (3) nondeterminist (2) parallel (2) generat (2)

Person: Jacob Burnim

DBLP DBLP: Burnim:Jacob

Contributed to:

PLDI 20132013
PPoPP 20122012
ASPLOS 20112011
ISSTA 20112011
PLDI 20112011
TACAS 20112011
ICSE 20102010
ASE 20092009
ESEC/FSE 20092009
ICSE 20092009
ASE 20082008

Wrote 11 papers:

PLDI-2013-ElmasBNS #concurrent #debugging #domain-specific language #named
CONCURRIT: a domain specific language for reproducing concurrency bugs (TE, JB, GCN, KS), pp. 153–164.
PPoPP-2012-BurnimENS #correctness #named #nondeterminism #parallel #specification
NDetermin: inferring nondeterministic sequential specifications for parallelism correctness (JB, TE, GCN, KS), pp. 329–330.
ASPLOS-2011-BurnimNS #parallel #semantics #source code #specification #thread
Specifying and checking semantic atomicity for multithreaded programs (JB, GCN, KS), pp. 79–90.
ISSTA-2011-BurnimSS #concurrent #memory management #modelling #source code #testing
Testing concurrent programs on relaxed memory models (JB, KS, CS), pp. 122–132.
PLDI-2011-BurnimENS #correctness #named #nondeterminism #parallel #runtime #specification
NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness (JB, TE, GCN, KS), pp. 401–414.
TACAS-2011-BurnimSS #consistency #memory management #modelling #monitoring
Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models (JB, KS, CS), pp. 11–25.
ICSE-2010-BurnimS #named #parallel #source code #specification #thread
DETERMIN: inferring likely deterministic specifications of multithreaded programs (JB, KS), pp. 415–424.
ASE-2009-BurnimJSS #detection #infinity #lightweight #named #runtime
Looper: Lightweight Detection of Infinite Loops at Runtime (JB, NJ, CS, KS), pp. 161–169.
ESEC-FSE-2009-BurnimS #parallel #source code #thread
Asserting and checking determinism for multithreaded programs (JB, KS), pp. 3–12.
ICSE-2009-BurnimJS #automation #complexity #generative #named #testing #worst-case
WISE: Automated test generation for worst-case complexity (JB, SJ, KS), pp. 463–473.
ASE-2008-BurnimS #generative #heuristic #scalability #testing
Heuristics for Scalable Dynamic Test Generation (JB, KS), pp. 443–446.

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.