Publications     |    Teaching     |    Research
Shan Lu    Shan Lu
    Professor
    Email: shanlu @ cs.uchicago.edu
    Phone: (773)702-3184
    Crerar Library Room 343
    5730 S. Ellis Ave., Chicago, IL 60637

    CV: [pdf]     Bio: [html]

Research

News

Academic Career

Teaching

Projects

Recent Publications


  1. As recorded by DBLP.
  2. As recorded by Google Scholar

    (Complete publication list)

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


Shan Lu Shan Lu