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 × Canada
3 × USA
Collaborated with:
F.Qin V.T.Ravi G.Agrawal Q.Gao W.Zhang Z.Chen D.Qi W.N.Sumner X.Zhang A.Roychoudhury J.Tucek D.Huang M.Lillibridge E.S.Yang B.W.Zhao S.Singh
Talks about:
race (2) overhead (1) ndstrike (1) manifest (1) softwar (1) program (1) environ (1) databas (1) concurr (1) typest (1)

Person: Mai Zheng

DBLP DBLP: Zheng:Mai

Contributed to:

OSDI 20142014
WCRE 20122012
ASPLOS 20112011
PPoPP 20112011

Wrote 4 papers:

OSDI-2014-ZhengTHQLYZS #database
Torturing Databases for Fun and Profit (MZ, JT, DH, FQ, ML, ESY, BWZ, SS), pp. 449–464.
WCRE-2012-QiSQZZR #execution #modelling
Modeling Software Execution Environment (DQ, WNS, FQ, MZ, XZ, AR), pp. 415–424.
ASPLOS-2011-GaoZCZQ #concurrent #debugging #named #towards #type system
2ndStrike: toward manifesting hidden concurrency typestate bugs (QG, WZ, ZC, MZ, FQ), pp. 239–250.
PPoPP-2011-ZhengRQA #detection #gpu #named #source code
GRace: a low-overhead mechanism for detecting data races in GPU programs (MZ, VTR, FQ, GA), pp. 135–146.
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.