J.Yang R.Gu P.A.Bernstein C.W.Reid M.Wu
concurr (3) distribut (1) optimist (1) partial (1) control (1) system (1) effect (1) sampl (1) order (1) tree (1)
Person: Xinhao Yuan
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.