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


Shan Lu Shan Lu