Shan@UI (in Taipei)
Shan Lu

Ph.D. Student
OPERA Group,
Department of Computer Science
University of Illinois, Urbana Champaign

Address:


 4219 Siebel Center for Computer Science
201 North Goodwin Avenue
Urbana, IL 61801
Phone: (217) 333-4764 (Office)
Email: shanlu at cs.uiuc.edu


ABOUT ME

I am a 5th year PhD student in Opera Group, Department of Computer Science, University of Illinois.
My advisor is Prof. Yuanyuan (YY) Zhou .

I plan to graduate in summer 2008, and I am looking for academia and research lab jobs.
CV


RESEARCH INTERESTS
Software systems, computer architecture, software reliability (with focus on concurrent systems).

Selected Publications

The complete list of publications can be found here.
  1. [ASPLOS'08] " Learning from Mistakes --- A Comprehensive Study on Real World Concurrency Bug Characteristics"
    Shan Lu, Soyeon Park, Eunsoo Seo, and Yuanyuan Zhou.
    Accepted by the Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems, March 2008. [paper(pdf)]
  2. [SOSP'07] "MUVI: Automatically Inferring Multi-Variable Access Correlations and Detecting Related Semantic and Concurrency Bugs."
    Shan Lu, Soyeon Park, Chongfeng Hu, Xiao Ma, Weihang Jiang, Zhenmin Li, Raluca A. Popa, Yuanyuan Zhou.
    The 21st ACM Symposium on Operating Systems Principles, October 2007. [paper(pdf)] [paper(ps)]
  3. [SOSP'07] "Triage: Diagnosing Production Run Failures at the User's Site."
    Joseph Tucek, Shan Lu, Chengdu Huang, Spiros Xanthos, and Yuanyuan Zhou.
    The 21st ACM Symposium on Operating Systems Principles, October 2007. [paper(pdf)] [paper(ps)]
  4. [ASPLOS'06] "AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants."
    Shan Lu, Joseph Tucek, Feng Qin, and Yuanyuan Zhou.
    12th International Conference on Architectural Support for Programming Languages and Operating Systems, October 2006. [paper(pdf)] [paper(ps)]
    Selected into 2007 IEEE Micro Top Picks from Computer Architecture Conferences.
  5. [MICRO'06] "PathExpander: Architectural Support for Increasing the Path Coverage of Dynamic Bug Detection."
    Shan Lu, Pin Zhou, Wei Liu, Yuanyuan Zhou, and Josep Torrellas.
    The 39th Annual IEEE/ACM International Symposium on Microarchitecture, December 2006. [paper(pdf)]
  6. [OSDI'04] "CP-Miner: A Tool for Finding Copy-paste and Related Bugs in Operating System."
    Zhenmin Li, Shan Lu, Suvda Myagmar, and Yuanyuan Zhou.
    6th Symposium on Operating Systems Design & Implementation, December 2004. [paper(pdf)]
  7. [ESEC/FSE'07] "A Study of Interleaving Coverage Criteria."
    Shan Lu, Weihang Jiang, and Yuanyuan Zhou.
    15th ACM SIGSOFT Symposium on the Foundations of Software Engineering (short paper), September 2007. [paper(pdf)]
SOFTWARE RELEASED
  1. BugBench. A benchmark for software bug detection. [(paper)][(who has used it)][(how to get it)]
  2. AVIO. A concurrency bug detection tool. We just filed a patent for it. Intel is in the process of getting AVIO's license.
RECENT AWARDS
  1. 2007 W. J. Poppelbaum Memorial Award , Department of Computer Science, University of Illinois. (for one graduate student in computer hardware or architecture, based on academic merit and creativity).
  2. 2006 IEEE Micro Top Picks from Computer Architecture Conferences (our AVIO paper).