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ç Jake Roemer M.D.Bond
Talks about:
unbound (1) predict (1) detect (1) depend (1) sound (1) race (1) awar (1)

Person: Yufan Xu

DBLP DBLP: Xu:Yufan

Contributed to:

OOPSLA 20192019

Wrote 1 papers:

OOPSLA-2019-GencRXB #bound #concurrent #detection #predict
Dependence-aware, unbounded sound predictive race detection (KG, JR, YX, MDB), p. 30.
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.