Publications     |    Teaching     |    Research
Shan Lu    Shan Lu
    Alfred P. Sloan Research Fellow
    Email: shanlu @
    Phone: (773)702-3184
    Crerar Library Room 343
    5730 S. Ellis Ave., Chicago, IL 60637

    CV: [pdf]     Bio: [html]



Academic Career



  • Holistic Optimization of Data-Driven Applications
  • User-Centered Verification and Repair of Trigger-Action Programs
  • Combating Distributed Concurrency Bugs in Cloud Systems
  • Understanding and Automatically Adjusting Performance Sensitive Software Configurations
  • Holistic, Cross-Site, Hybrid System Anomaly Debugging for Large Scale Hosting Infrastructures
  • ...

Recent Publications

    (Complete publication list)
  1. Efficient and Scalable Thread-Safety Violation Detection --- Finding thousands of concurrency bugs during testing [SOSP'19]
  2. Generuk: Thin Computation over Big Native Data Using Speculative Program Transformation [SOSP'19]
  3. What Bugs Cause Production Cloud Incidents? [HotOS'19] (Featured on "Morning Paper'' )
  4. DFix: Automatically Fixing Timing Bugs in Distributed Systems [PLDI'19]
  5. View-Centric Performance Optimization for Database-Backed Web Applications [ICSE'19] (Won SIGSOFT Distinguished Paper Award ; featured on "Morning Paper'' )
  6. Synthesizing and Repairing Trigger-Action Programs Using LTL Properties [ICSE'19]
  7. Highly Scalable Testing of Complex Interleavings in Cloud Systems [EuroSys'19]
  8. SCk: A Single-Machine Approach for Discovering Scalability Bugs in Large Systems [FAST'19]
  9. DScope: Detecting Real-World Data Corruption Hang Bugs in Cloud Server Systems [SOCC'18]
  10. Applying Hardware Transactional Memory for Concurrency-Bug Failure Recovery in Production Runs [USENIX ATC'18]
  11. PCatch: Automatically Detecting Performance Cascading Bugs in Cloud Systems [EuroSys'18]
  12. How not to structure your database-backed web applications: a study of performance bugs in the wild [ICSE'18] (Featured on "Morning Paper'' and "Hacker News" )
  13. FCatch: Automatically detecting time-of-fault bugs in cloud systems [ASPLOS'18]
  14. Understanding and Auto-Adjusting Performance-Sensitive Configurations [ASPLOS'18]
  15. Skyway: Connecting Managed Heaps in Distributed Big Data Systems [ASPLOS'18] (Featured on "Morning Paper'' )
  16. Understanding Database Performance Inefficiencies in Real-world Web Applications [CIKM'17]
  17. Performance Diagnosis for Inefficient Loops [ICSE'17]
  18. Efficient Detection of Thread Safety Violations via Coverage-Guided Generation of Concurrent Tests [ICSE'17]
  19. DCatch: Automatically Detecting Distributed Concurrency Bugs in Cloud Systems [ASPLOS'17]
  20. Low-Overhead and Fully Automated Statistical Debugging with Abstraction Refinement [OOPSLA'16]
  21. Early Detection of Configuration Errors to Reduce Failure Damage [OSDI'16] (Won USENIX OSDI'16 Best Paper Award )
  22. Yak: A High-Performance Big-Data-Friendly Garbage Collector [OSDI'16]
  23. Understanding and Generating High Quality Patches for Concurrency Bugs [FSE'16]
  24. TaxDC: A Comprehensive Taxonomy of Non-Deterministic Concurrency Bugs in Cloud Distributed Systems [ASPLOS '16]
  25. Interruptable Tasks: Treating Memory Pressure As Interrupts for Highly Scalable Data-Parallel Programs [SOSP '15]
  26. What change history tells us about thread synchronization [FSE '15]
  27. CARAMEL: Detecting and Fixing Performance Problems That Have Non-Intrusive Fixes [ICSE'15] (Won SIGSOFT Distinguished Paper Award )
  28. Validating Library Usage Interactively [CAV '13]
  29. A Study of Linux File System Evolution [FAST' 13] (Won USENIX Fast'13 Best Paper Award )
  30. Toddler: Detecting Performance Problems via Similar Memory-Access Patterns [ICSE '13]
  31. Automated Concurrency-Bug Fixing [OSDI '12]
  32. ...

Shan Lu Shan Lu