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: Li:Zhenmin
Contributed to:
2007
2005
2004
2004
2004Wrote 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.