BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × India
3 × Canada
3 × China
5 × USA
Collaborated with:
Y.Wu W.Chen K.Chen G.Yang J.Zhai M.Zhang S.Lu J.Ren N.Vachharajani R.Hundt W.Guo S.Mu Y.Yuan S.Shi D.Wang F.Zheng B.Yang Y.Wang S.Qi T.Sheng S.Eranian Y.Shi S.Park Z.Yin Y.Zhou Mengxing Liu X.Qian D.Chen S.Liao V.Ramasamy P.Yuan R.Xue X.Liu M.Wu Z.Guo Z.Zhang G.M.Voelker C.Yang W.Xue H.Fu L.Gan L.Li Y.Xu Y.Lu J.Sun
Talks about:
parallel (3) concurr (3) machin (3) applic (3) use (3) lightweight (2) schedul (2) predict (2) definit (2) detect (2)

Person: Weimin Zheng

DBLP DBLP: Zheng:Weimin

Contributed to:

HPDC 20152015
FSE 20142014
HPDC 20142014
PPoPP 20132013
ICSE 20112011
CGO 20102010
HPDC 20102010
OOPSLA 20102010
PPoPP 20102010
PPoPP 20092009
ICPR v4 20022002
TOOLS Asia 20002000
ASPLOS 20172017

Wrote 13 papers:

Bidding for Highly Available Services with Low Price in Spot Instance Market (WG, KC, YW, WZ), pp. 191–202.
FSE-2014-ZhangWLQRZ #concurrent #debugging #lightweight #named
AI: a lightweight system for tolerating concurrency bugs (MZ, YW, SL, SQ, JR, WZ), pp. 330–340.
HPDC-2014-MuCWZ #network #replication #state machine
When paxos meets erasure code: reduce network and storage cost in state machine replication (SM, KC, YW, WZ), pp. 61–72.
PPoPP-2013-YangXFGLXLSYZ #algorithm #cpu #gpu #simulation
A peta-scalable CPU-GPU algorithm for global atmospheric simulations (CY, WX, HF, LG, LL, YX, YL, JS, GY, WZ), pp. 1–12.
ICSE-2011-ShengVEHCZ #concurrent #detection #lightweight #named
RACEZ: a lightweight and non-invasive race detection tool for production applications (TS, NV, SE, RH, WC, WZ), pp. 401–410.
CGO-2010-ChenVHLRYCZ #compilation #hardware
Taming hardware event samples for FDO compilation (DC, NV, RH, SwL, VR, PY, WC, WZ), pp. 42–52.
HPDC-2010-YuanYWZ #named #parallel #predict #scheduling #strict
PV-EASY: a strict fairness guaranteed and prediction enabled scheduler in parallel job scheduling (YY, GY, YW, WZ), pp. 240–251.
OOPSLA-2010-ShiPYLZCZ #concurrent #debugging #detection #invariant
Do I use the wrong definition?: DeFuse: definition-use invariants for detecting concurrency and sequential bugs (YS, SP, ZY, SL, YZ, WC, WZ), pp. 160–174.
PPoPP-2010-ZhaiCZ #named #parallel #performance #predict #scalability #using
PHANTOM: predicting performance of parallel applications on large-scale parallel machines using a single node (JZ, WC, WZ), pp. 305–314.
PPoPP-2009-XueLWGCZZV #named
MPIWiz: subgroup reproducible replay of mpi applications (RX, XL, MW, ZG, WC, WZ, ZZ, GMV), pp. 251–260.
ICPR-v4-2002-ShiYWZ #clustering
Potential-Based Hierarchical Clustering (SS, GY, DW, WZ), pp. 272–275.
TOOLS-ASIA-2000-ZhengZYW #compilation #concurrent #design #hybrid #java #virtual machine
A Java Virtual Machine Design Based on Hybrid Concurrent Compilation Model (WZ, FZ, BY, YW), pp. 18–23.
ASPLOS-2017-LiuZCQWZR #memory management #named #persistent #transaction
DudeTM: Building Durable Transactions with Decoupling for Persistent Memory (ML, MZ, KC, XQ, YW, WZ, JR), pp. 329–343.

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.