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 × Portugal
1 × Spain
3 × USA
Collaborated with:
Y.Zhou S.Lu F.M.David S.Myagmar Q.Zhu C.F.Devaraj P.Cao X.Li P.Zhou S.V.Adve S.Kumar S.Park C.Hu X.Ma W.Jiang R.A.Popa
Talks about:
automat (2) energi (2) detect (2) relat (2) miner (2) manag (2) disk (2) code (2) bug (2) implicit (1)

Person: Zhenmin Li

DBLP DBLP: Li:Zhenmin

Contributed to:

SOSP 20072007
ESEC/FSE 20052005
ASPLOS 20042004
HPCA 20042004
OSDI 20042004

Wrote 5 papers:

SOSP-2007-LuPHMJLPZ #automation #concurrent #correlation #debugging #detection #multi #named #semantics
MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs (SL, SP, CH, XM, WJ, ZL, RAP, YZ), pp. 103–116.
ESEC-FSE-2005-LiZ #automation #detection #named #programming #scalability
PR-Miner: automatically extracting implicit programming rules and detecting violations in large software code (ZL, YZ), pp. 306–315.
ASPLOS-2004-LiLDZZAK #energy #in memory #memory management #performance
Performance directed energy management for main memory and disks (XL, ZL, FMD, PZ, YZ, SVA, SK), pp. 271–283.
HPCA-2004-ZhuDDLZC #energy #power management #using
Reducing Energy Consumption of Disk Storage Using Power-Aware Cache Management (QZ, FMD, CFD, ZL, YZ, PC), pp. 118–129.
OSDI-2004-LiLMZ #debugging #named #operating system
CP-Miner: A Tool for Finding Copy-paste and Related Bugs in Operating System Code (ZL, SL, SM, YZ), pp. 289–302.

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.