BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
J.Yang R.Gu P.A.Bernstein C.W.Reid M.Wu
Talks about:
concurr (3) distribut (1) optimist (1) partial (1) control (1) system (1) effect (1) sampl (1) order (1) tree (1)

Person: Xinhao Yuan

DBLP DBLP: Yuan:Xinhao

Contributed to:

VLDB 20112011
CAV (2) 20182018
ASPLOS 20202020

Wrote 3 papers:

VLDB-2011-BernsteinRWY #concurrent
Optimistic Concurrency Control by Melding Trees (PAB, CWR, MW, XY), pp. 944–955.
CAV-2018-YuanYG #concurrent #partial order
Partial Order Aware Concurrency Sampling (XY, JY, RG), pp. 317–335.
ASPLOS-2020-YuanY #concurrent #distributed #effectiveness #testing
Effective Concurrency Testing for Distributed Systems (XY, JY), pp. 1141–1156.

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.