RESEARCH INTERESTS
Computer Systems, Software Reliability, Storage Systems, Power
Management.
PUBLICATIONS
Journals:
IEEE-TSE
|
Zhenmin Li, Shan Lu, Suvda Myagmar and
Yuanyuan Zhou.
CP-Miner: finding copy-paste and related bugs in large-scale software
code.
IEEE Transactions on Software Engineering (IEEE-TSE), pp.
176-192, Vol. 32, No. 3, March 2006. (BibTex,
DOI)
|
ACM-TOS
|
Zhenmin Li, Zhifeng Chen and
Yuanyuan Zhou.
Mining Block Correlations to Improve Storage
Performance.
ACM Transactions on Storage (ACM-TOS),
pp. 213-245, Vol. 1, No. 2, May 2005. (BibTex,
DOI)
|
ACM-TOS
|
Xiaodong Li, Zhenmin Li, Yuanyuan
Zhou and Sarita Adve.
Performance Directed Energy Management for
Main Memory and Disks.
ACM Transactions on Storage (ACM-TOS),
pp. 346-380, Vol. 1, No. 3, August 2005. (BibTex,
DOI)
|
MicroTopPicks
|
Xiaodong Li, Zhenmin Li, Pin Zhou,
Yuanyuan Zhou, Sarita Adve and Sanjeev Kumar.
Performance-Directed Energy Management for Storage Systems.
The IEEE
Micro Special Issue: Micro's Topic Picks from
Computer Architecture Conferences, December 2004. (PDF,
BibTex)
|
Representative Conference Papers:
FSE'05
|
Zhenmin Li and Yuanyuan Zhou.
PR-Miner: Automatically Extracting Implicit
Programming Rules and Detecting Violations in Large Software Code.
Proceedings of the 13th ACM SIGSOFT
Symposium on the Foundations of Software Engineering (FSE'05), Sept
2005. (PDF,
BibTex,
16% acceptance rate)
|
OSDI'04
|
Zhenmin Li, Shan Lu, Suvda Myagmar and
Yuanyuan Zhou.
CP-Miner: A Tool for Finding Copy-paste and Related
Bugs in Operating System Code.
Proceedings of
the 6th Symposium on Operating System Design and Implementation
(OSDI'04), December 2004. (PDF,
BibTex,
14% acceptance rate)
|
ASPLOS'04
|
Xiaodong Li, Zhenmin Li
(alphabetic order), Francis David,
Pin Zhou, Yuanyuan Zhou, Sarita Adve and Sanjeev Kumar.
Performance-Directed Energy Management for Main Memory and Disks.
Proceedings of the Eleventh International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS
XI), October 2004. (PDF,
BibTex,
14% acceptance rate)
|
FAST'04
|
Zhenmin Li, Zhifeng Chen,
Sudarshan M. Srinivasan and Yuanyuan Zhou.
C-Miner: Mining Block Correlations in Storage Systems.
Proceedings of 3rd USENIX Conference on File and Storage Technologies (FAST'04), March 2004. (PDF,
BibTex,
20% acceptance rate)
|
ICDCS'03
|
Zhenmin Li, Pin Zhou, and Chao-Ju Hou.
A fragmentation-based D-MAC protocol for wireless ad hoc networks.
Proceedings of IEEE Int'l Conf. on Distributed Computing Systems
(ICDCS'03), May 2003.
(PDF,
PS,
BibTex,
18% acceptance rate)
|
Other Papers:
| SOSP'07 |
Shan Lu, Soyeon Park, Chongfeng Hu, Xiao Ma, Weihang Jiang, Zhenmin
Li, Raluca Popa, Yuanyuan Zhou. MUVI:
Automatically Inferring Multi-Variable Access Correlations and Detecting
Related Semantic and Concurrency Bugs.
To appear in the
Proceedings of the 21st ACM Symposium on Operating Systems Principles
(SOSP'07), October 2007.
|
Micro'06
|
Feng Qin, Hong Chen, Zhenmin Li, Yuanyuan Zhou, Ho-seop Kim and
Youfeng Wu.
LIFT: A Low-Overhead Practical Information Flow Tracking System for
Detecting General Security Attacks.
The Proceedings of the Annual
IEEE/ACM International Symposium on Microarchitecture, 2006
(Micro'06),
December 2006. (PDF,
PS)
|
BUGS'05
|
Shan Lu, Zhenmin Li, Feng Qin, Lin
Tan, Pin Zhou and Yuanyuan Zhou.
BugBench: A Benchmark for Evaluating
Bug Detection Tools.
Bugs 2005 (Workshop on the Evaluation of
Software Defect Detection Tools) on Programming Language Design and
Implementation, June 2005. (PDF)
|
ICTSM'04
|
Zhenmin Li, Jed Taylor, Elizabeth
Partridge, Yuanyuan Zhou, William Yurcik, Cristina Abad, James J.
Barlow, and Jeff Rosendale.
UCLog: A Unified, Correlated Logging Architecture for Intrusion Detection.
12th International Conference on Telecommunication Systems - Modeling and Analysis (ICTSM),
July 2004.
(PDF,
BibTex)
|
HPCA'04
|
Qingbo Zhu, Francis M. David, Christo
Devaraj, Zhenmin Li, Yuanyuan Zhou and Pei Cao.
Reducing Energy Consumption of Disk Storage Using Power-Aware Cache Management.
Proceedings of the 10th International Symposium on High-Performance Computer Architecture (HPCA-10), February, 2004.
(PDF,
BibTex)
|
AASMS'03
|
Zhenmin Li, Sudarshan M. Srinivasan, Zhifeng Chen, Yuanyuan
Zhou, Peter Tzvetkov, Xifeng Yan, and Jiawei Han.
Using Data Mining for Discovering Patterns in Autonomic Storage
Systems.
1st Workshop on Algorithms and Architectures for Self-Managing
Systems, June 2003 (PDF,
PS).
|
|
