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

Collaborated with:
Kaan Genç M.D.Bond Yufan Xu
Talks about:
unbound (2) predict (2) detect (2) sound (2) race (2) coverag (1) depend (1) high (1) awar (1)

Person: Jake Roemer

DBLP DBLP: Roemer:Jake

Contributed to:

OOPSLA 20192019
PLDI 20182018

Wrote 2 papers:

OOPSLA-2019-GencRXB #bound #concurrent #detection #predict
Dependence-aware, unbounded sound predictive race detection (KG, JR, YX, MDB), p. 30.
PLDI-2018-RoemerGB #bound #concurrent #detection #predict
High-coverage, unbounded sound predictive race detection (JR, KG, MDB), pp. 374–389.

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.