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



Recent Publications

    (Complete publication list)
  1. Understanding and Detecting Software Upgrade Failures in Distributed Systems [SOSP'21]
  2. Are Machine Learning Cloud APIs Used Correctly? [ICSE'21]
  3. Understanding Trigger-Action Programs Through Novel Visualizations of Program Differences [CHI'21] (Honerable Mention Award )
  4. SherLock: Unsupervised Synchronization-Operation Inference [ASPLOS'21]
  5. Trace2TAP: Synthesizing Trigger-Action Programs From Traces of Behavior [UbiComp'20]
  6. Orthogonalized SGD and Nested Architectures for Anytime Neural Networks [ICML'20]
  7. Understanding and Automatically Detecting Conflicting Interactions between Smart Home Applications [FSE'20]
  8. ALERT: Accurate Learning for Energy and Timeliness [USENIX ATC'20]
  9. Statically Inferring Performance Properties of Software Configurations [EuroSys'20]
  10. Managing data constraints in database-backed web applications [ICSE'20]
  11. View-Driven Optimization of Database-Backed Web Applications [CIDR'20]
  12. Efficient and Scalable Thread-Safety Violation Detection --- Finding thousands of concurrency bugs during testing [SOSP'19] (Won SOSP Best Paper Award! )
  13. Generuk: Thin Computation over Big Native Data Using Speculative Program Transformation [SOSP'19]
  14. What Bugs Cause Production Cloud Incidents? [HotOS'19] (Featured on "Morning Paper'' )
  15. DFix: Automatically Fixing Timing Bugs in Distributed Systems [PLDI'19]
  16. View-Centric Performance Optimization for Database-Backed Web Applications [ICSE'19] (Won SIGSOFT Distinguished Paper Award ; featured on "Morning Paper'' )
  17. Synthesizing and Repairing Trigger-Action Programs Using LTL Properties [ICSE'19]
  18. Highly Scalable Testing of Complex Interleavings in Cloud Systems [EuroSys'19]
  19. SCk: A Single-Machine Approach for Discovering Scalability Bugs in Large Systems [FAST'19]
  20. DScope: Detecting Real-World Data Corruption Hang Bugs in Cloud Server Systems [SOCC'18]
  21. Applying Hardware Transactional Memory for Concurrency-Bug Failure Recovery in Production Runs [USENIX ATC'18]
  22. PCatch: Automatically Detecting Performance Cascading Bugs in Cloud Systems [EuroSys'18]
  23. 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" )
  24. FCatch: Automatically detecting time-of-fault bugs in cloud systems [ASPLOS'18]
  25. Understanding and Auto-Adjusting Performance-Sensitive Configurations [ASPLOS'18]
  26. Skyway: Connecting Managed Heaps in Distributed Big Data Systems [ASPLOS'18] (Featured on "Morning Paper'' )
  27. Understanding Database Performance Inefficiencies in Real-world Web Applications [CIKM'17]
  28. Performance Diagnosis for Inefficient Loops [ICSE'17]
  29. Efficient Detection of Thread Safety Violations via Coverage-Guided Generation of Concurrent Tests [ICSE'17]
  30. DCatch: Automatically Detecting Distributed Concurrency Bugs in Cloud Systems [ASPLOS'17]
  31. Low-Overhead and Fully Automated Statistical Debugging with Abstraction Refinement [OOPSLA'16]
  32. Early Detection of Configuration Errors to Reduce Failure Damage [OSDI'16] (Won USENIX OSDI'16 Best Paper Award )
  33. Yak: A High-Performance Big-Data-Friendly Garbage Collector [OSDI'16]
  34. Understanding and Generating High Quality Patches for Concurrency Bugs [FSE'16]
  35. TaxDC: A Comprehensive Taxonomy of Non-Deterministic Concurrency Bugs in Cloud Distributed Systems [ASPLOS '16]
  36. Interruptable Tasks: Treating Memory Pressure As Interrupts for Highly Scalable Data-Parallel Programs [SOSP '15]
  37. What change history tells us about thread synchronization [FSE '15]
  38. CARAMEL: Detecting and Fixing Performance Problems That Have Non-Intrusive Fixes [ICSE'15] (Won SIGSOFT Distinguished Paper Award )
  39. Validating Library Usage Interactively [CAV '13]
  40. A Study of Linux File System Evolution [FAST' 13] (Won USENIX Fast'13 Best Paper Award )
  41. Toddler: Detecting Performance Problems via Similar Memory-Access Patterns [ICSE '13]
  42. Automated Concurrency-Bug Fixing [OSDI '12]
  43. ...

Shan Lu Shan Lu