Shan Lu

141 papers A* 55A 18B 2Misc 1Journal 39Unranked 23
YearRankTypeTitle / Venue / Authors
2026 J jnl
Keeper: Automated Testing and Fixing of Machine Learning Software - RCR Report.
ACM Trans. Softw. Eng. Methodol.
Chengcheng Wan, Shicheng Liu, Sophie Xie, Yuhan Liu, Michael Maire, Henry Hoffmann, Shan Lu
2026 J jnl
Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set.
CoRR
Nongyu Di, Tianyu Chen, Shan Lu, Shuai Lu, Yeyun Gong, Peng Cheng, Jacob R. Lorch, Yuan Yao, Xiaoxing Ma
2026 — conf
VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus.
TACAS (2)
Chuyue Sun, Yican Sun, Daneshvar Amrollahi, Ethan Zhang, Shuvendu K. Lahiri, Shan Lu, David L. Dill, Clark W. Barrett
2025 A conf
An Empirical Study of Production Incidents in Generative AI Cloud Services.
ISSRE
Haoran Yan, Yinfang Chen, Minghua Ma, Ming Wen, Shan Lu, Shenglin Zhang, Tianyin Xu, Rujia Wang, Chetan Bansal, Saravan Rajmohan, Qingwei Lin, Chaoyun Zhang, Dongmei Zhang
2025 J jnl
An Empirical Study of Production Incidents in Generative AI Cloud Services.
CoRR
Haoran Yan, Yinfang Chen, Minghua Ma, Ming Wen, Shan Lu, Shenglin Zhang, Tianyin Xu, Rujia Wang, Chetan Bansal, Saravan Rajmohan, Chaoyun Zhang, Dongmei Zhang
2025 J jnl
AutoVerus: Automated Proof Generation for Rust Code.
Proc. ACM Program. Lang.
Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Jianan Yao, Weidong Cui, Yeyun Gong, Chris Hawblitzel, Shuvendu K. Lahiri, Jacob R. Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, Shan Lu
2025 A* conf
Automated Proof Generation for Rust Code via Self-Evolution.
ICLR
Tianyu Chen, Shuai Lu, Shan Lu, Yeyun Gong, Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Hao Yu, Nan Duan, Peng Cheng, Fan Yang, Shuvendu K. Lahiri, Tao Xie, Lidong Zhou
2025 A conf
CacheBlend: Fast Large Language Model Serving for RAG with Cached Knowledge Fusion.
EuroSys
Jiayi Yao, Hanchen Li, Yuhan Liu, Siddhant Ray, Yihua Cheng, Qizheng Zhang, Kuntai Du, Shan Lu, Junchen Jiang
2025 J jnl
VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus.
CoRR
Chuyue Sun, Yican Sun, Daneshvar Amrollahi, Ethan Zhang, Shuvendu K. Lahiri, Shan Lu, David L. Dill, Clark W. Barrett
2025 J jnl
VeruSAGE: A Study of Agent-Based Verification for Rust Systems.
CoRR
Chenyuan Yang, Natalie Neamtu, Chris Hawblitzel, Jacob R. Lorch, Shan Lu
2025 J jnl
What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus.
CoRR
Rijul Jain, Shraddha Barke, Gabriel Ebner, Md Rakib Hossain Misu, Shan Lu, Sarah Fakhoury
2024 A* conf
A Tale of Two Paths: Toward a Hybrid Data Plane for Efficient Far-Memory Applications.
OSDI
Lei Chen, Shi Liu, Chenxi Wang, Haoran Ma, Yifan Qiao, Zhe Wang, Chenggang Wu, Youyou Lu, Xiaobing Feng, Huimin Cui, Shan Lu, Harry Xu
2024 J jnl
A Tale of Two Paths: Toward a Hybrid Data Plane for Efficient Far-Memory Applications.
CoRR
Lei Chen, Shi Liu, Chenxi Wang, Haoran Ma, Yifan Qiao, Zhe Wang, Chenggang Wu, Youyou Lu, Xiaobing Feng, Huimin Cui, Shan Lu, Harry Xu
2024 J jnl
AutoVerus: Automated Proof Generation for Rust Code.
CoRR
Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Jianan Yao, Weidong Cui, Yeyun Gong, Chris Hawblitzel, Shuvendu K. Lahiri, Jacob R. Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, Shan Lu
2024 J jnl
Automated Proof Generation for Rust Code via Self-Evolution.
CoRR
Tianyu Chen, Shuai Lu, Shan Lu, Yeyun Gong, Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Hao Yu, Nan Duan, Peng Cheng, Fan Yang, Shuvendu K. Lahiri, Tao Xie, Lidong Zhou
2024 J jnl
CacheBlend: Fast Large Language Model Serving for RAG with Cached Knowledge Fusion.
CoRR
Jiayi Yao, Hanchen Li, Yuhan Liu, Siddhant Ray, Yihua Cheng, Qizheng Zhang, Kuntai Du, Shan Lu, Junchen Jiang
2024 A* conf
CacheGen: KV Cache Compression and Streaming for Fast Large Language Model Serving.
SIGCOMM
Yuhan Liu, Hanchen Li, Yihua Cheng, Siddhant Ray, Yuyang Huang, Qizheng Zhang, Kuntai Du, Jiayi Yao, Shan Lu, Ganesh Ananthanarayanan, Michael Maire, Henry Hoffmann, Ari Holtzman, Junchen Jiang
2024 A* conf
ChameleonAPI: Automatic and Efficient Customization of Neural Networks for ML Applications.
OSDI
Yuhan Liu, Chengcheng Wan, Kuntai Du, Henry Hoffmann, Junchen Jiang, Shan Lu, Michael Maire
2024 J jnl
DroidSpeak: Enhancing Cross-LLM Communication.
CoRR
Yuhan Liu, Esha Choukse, Shan Lu, Junchen Jiang, Madan Musuvathi
2024 Misc conf
ExChain: Exception Dependency Analysis for Root Cause Diagnosis.
NSDI
Ao Li, Shan Lu, Suman Nath, Rohan Padhye, Vyas Sekar
2024 A* conf
If At First You Don't Succeed, Try, Try, Again...? Insights and LLM-informed Tooling for Detecting Retry Bugs in Software Systems.
SOSP
Bogdan Alexandru Stoica, Utsav Sethi, Yiming Su, Cyrus Zhou, Shan Lu, Jonathan Mace, Madanlal Musuvathi, Suman Nath
2024 J jnl
Keeper: Automated Testing and Fixing of Machine Learning Software.
ACM Trans. Softw. Eng. Methodol.
Chengcheng Wan, Shicheng Liu, Sophie Xie, Yuhan Liu, Henry Hoffmann, Michael Maire, Shan Lu
2023 J jnl
Automatic and Efficient Customization of Neural Networks for ML Applications.
CoRR
Yuhan Liu, Chengcheng Wan, Kuntai Du, Henry Hoffmann, Junchen Jiang, Shan Lu, Michael Maire
2023 J jnl
CacheGen: Fast Context Loading for Language Model Applications.
CoRR
Yuhan Liu, Hanchen Li, Kuntai Du, Jiayi Yao, Yihua Cheng, Yuyang Huang, Shan Lu, Michael Maire, Henry Hoffmann, Ari Holtzman, Ganesh Ananthanarayanan, Junchen Jiang
2023 A* conf
Generating Test Databases for Database-Backed Applications.
ICSE
Cong Yan, Suman Nath, Shan Lu
2023 A conf
HotGPT: How to Make Software Documentation More Useful with a Large Language Model?
HotOS
Yiming Su, Chengcheng Wan, Utsav Sethi, Shan Lu, Madan Musuvathi, Suman Nath
2023 J jnl
Leveraging Application Data Constraints to Optimize Database-Backed Web Applications.
Proc. VLDB Endow.
Xiaoxuan Liu, Shuxian Wang, Mengzhu Sun, Sicheng Pan, Ge Li, Siddharth Jha, Cong Yan, Junwen Yang, Shan Lu, Alvin Cheung
2023 J jnl
Performance Bug Analysis and Detection for Distributed Storage and Computing Systems.
ACM Trans. Storage
Jiaxin Li, Yiming Zhang, Shan Lu, Haryadi S. Gunawi, Xiaohui Gu, Feng Huang, Dongsheng Li
2023 J jnl
Run-Time Prevention of Software Integration Failures of Machine Learning APIs.
Proc. ACM Program. Lang.
Chengcheng Wan, Yuhan Liu, Kuntai Du, Henry Hoffmann, Junchen Jiang, Michael Maire, Shan Lu
2023 J jnl
Toward More Efficient Statistical Debugging with Abstraction Refinement.
ACM Trans. Softw. Eng. Methodol.
Zhiqiang Zuo, Xintao Niu, Siyi Zhang, Lu Fang, Siau-Cheng Khoo, Shan Lu, Chengnian Sun, Guoqing Harry Xu
2023 A conf
WAFFLE: Exposing Memory Ordering Bugs Efficiently with Active Delay Injection.
EuroSys
Bogdan Alexandru Stoica, Shan Lu, Madanlal Musuvathi, Suman Nath
2022 A* ed.
ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022 - 4 March 2022
ASPLOS
Babak Falsafi, Michael Ferdman, Shan Lu, Thomas F. Wenisch
2022 — conf
AgileCtrl: a self-adaptive framework for configuration tuning.
ESEC/SIGSOFT FSE
Shu Wang, Henry Hoffmann, Shan Lu
2022 A* conf
Automated Testing of Software that Uses Machine Learning APIs.
ICSE
Chengcheng Wan, Shicheng Liu, Sophie Xie, Yifan Liu, Henry Hoffmann, Michael Maire, Shan Lu
2022 A* conf
Cancellation in Systems: An Empirical Study of Task Cancellation Patterns and Failures.
OSDI
Utsav Sethi, Haochen Pan, Shan Lu, Madanlal Musuvathi, Suman Nath
2022 — conf
GOAL: Supporting General and Dynamic Adaptation in Computing Systems.
Onward!
Ahsan Pervaiz, Yao-Hsiang Yang, Adam Duracz, Ferenc A. Bartha, Ryuichi Sai, Connor Imes, Robert Cartwright, Krishna V. Palem, Shan Lu, Henry Hoffmann
2022 J jnl
Helping Users Debug Trigger-Action Programs.
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol.
Lefan Zhang, Cyrus Zhou, Michael L. Littman, Blase Ur, Shan Lu
2022 J jnl
Leveraging Application Data Constraints to Optimize Database-Backed Web Applications.
CoRR
Xiaoxuan Liu, Shuxian Wang, Mengzhu Sun, Sharon Lee, Sicheng Pan, Joshua Wu, Cong Yan, Junwen Yang, Shan Lu, Alvin Cheung
2022 A* conf
MemLiner: Lining up Tracing and Application for a Far-Memory-Friendly Runtime.
OSDI
Chenxi Wang, Haoran Ma, Shi Liu, Yifan Qiao, Jonathan Eyolfson, Christian Navasca, Shan Lu, Guoqing Harry Xu
2021 — conf
A Replication of Are Machine Learning Cloud APIs Used Correctly.
ICSE (Companion Volume)
Chengcheng Wan, Shicheng Liu, Henry Hoffmann, Michael Maire, Shan Lu
2021 A* conf
Are Machine Learning Cloud APIs Used Correctly?
ICSE
Chengcheng Wan, Shicheng Liu, Henry Hoffmann, Michael Maire, Shan Lu
2021 A* conf
Automated Code Refactoring upon Database-Schema Changes in Web Applications.
ASE
Sophie Xie, Junwen Yang, Shan Lu
2021 A* conf
SherLock: unsupervised synchronization-operation inference.
ASPLOS
Guangpu Li, Dongjie Chen, Shan Lu, Madanlal Musuvathi, Suman Nath
2021 A* conf
Understanding Trigger-Action Programs Through Novel Visualizations of Program Differences.
CHI
Valerie Zhao, Lefan Zhang, Bo Wang, Michael L. Littman, Shan Lu, Blase Ur
2021 A* conf
Understanding and Detecting Software Upgrade Failures in Distributed Systems.
SOSP
Yongle Zhang, Junwen Yang, Zhuqi Jin, Utsav Sethi, Kirk Rodrigues, Shan Lu, Ding Yuan
2020 — conf
ALERT: Accurate Learning for Energy and Timeliness.
USENIX ATC
Chengcheng Wan, Muhammad Husni Santriaji, Eri Rogers, Henry Hoffmann, Michael Maire, Shan Lu
2020 J jnl
How are distributed bugs diagnosed and fixed through system logs?
Inf. Softw. Technol.
Wei Yuan, Shan Lu, Hailong Sun, Xudong Liu
2020 A* conf
Managing data constraints in database-backed web applications.
ICSE
Junwen Yang, Utsav Sethi, Cong Yan, Alvin Cheung, Shan Lu
2020 — conf
Managing data constraints in database-backed web applications.
ICSE (Companion Volume)
Junwen Yang, Utsav Sethi, Cong Yan, Alvin Cheung, Shan Lu
2020 A* conf
Orthogonalized SGD and Nested Architectures for Anytime Neural Networks.
ICML
Chengcheng Wan, Henry Hoffmann, Shan Lu, Michael Maire
2020 J jnl
Orthogonalized SGD and Nested Architectures for Anytime Neural Networks.
CoRR
Chengcheng Wan, Henry Hoffmann, Shan Lu, Michael Maire
2020 A conf
Statically inferring performance properties of software configurations.
EuroSys
Chi Li, Shu Wang, Henry Hoffmann, Shan Lu
2020 J jnl
Trace2TAP: Synthesizing Trigger-Action Programs from Traces of Behavior.
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol.
Lefan Zhang, Weijia He, Olivia Morkved, Valerie Zhao, Michael L. Littman, Shan Lu, Blase Ur
2020 — conf
Understanding and automatically detecting conflicting interactions between smart home IoT applications.
ESEC/SIGSOFT FSE
Rahmadi Trimananda, Seyed Amir Hossein Aqajari, Jason Chuang, Brian Demsky, Guoqing Harry Xu, Shan Lu
2020 A conf
View-Driven Optimization of Database-Backed Web Applications.
CIDR
Cong Yan, Alvin Cheung, Junwen Yang, Shan Lu
2020 — conf
Visualizing Differences to Improve End-User Understanding of Trigger-Action Programs.
CHI Extended Abstracts
Valerie Zhao, Lefan Zhang, Bo Wang, Shan Lu, Blase Ur
2019 J jnl
ALERT: Accurate Anytime Learning for Energy and Timeliness.
CoRR
Chengcheng Wan, Muhammad Husni Santriaji, Eri Rogers, Henry Hoffmann, Michael Maire, Shan Lu
2019 J jnl
Applying Transactional Memory for Concurrency-Bug Failure Recovery in Production Runs.
IEEE Trans. Parallel Distributed Syst.
Yuxi Chen, Shu Wang, Shan Lu, Karthikeyan Sankaralingam
2019 A* conf
AutoTap: synthesizing and repairing trigger-action programs using LTL properties.
ICSE
Lefan Zhang, Weijia He, Jesse J. Martinez, Noah Brackenbury, Shan Lu, Blase Ur
2019 A* conf
DFix: automatically fixing timing bugs in distributed systems.
PLDI
Guangpu Li, Haopeng Liu, Xianglan Chen, Haryadi S. Gunawi, Shan Lu
2019 A* conf
Efficient scalable thread-safety-violation detection: finding thousands of concurrency bugs during testing.
SOSP
Guangpu Li, Shan Lu, Madanlal Musuvathi, Suman Nath, Rohan Padhye
2019 A conf
FlyMC: Highly Scalable Testing of Complex Interleavings in Distributed Systems.
EuroSys
Jeffrey F. Lukman, Huan Ke, Cesar A. Stuardo, Riza O. Suminto, Daniar Heri Kurniawan, Dikaimin Simon, Satria Priambada, Chen Tian, Feng Ye, Tanakorn Leesatapornwongsa, Aarti Gupta, Shan Lu, Haryadi S. Gunawi
2019 A* conf
Gerenuk: thin computation over big native data using speculative program transformation.
SOSP
Christian Navasca, Cheng Cai, Khanh Nguyen, Brian Demsky, Shan Lu, Miryung Kim, Guoqing Harry Xu
2019 J jnl
Hytrace: A Hybrid Approach to Performance Bug Diagnosis in Production Cloud Infrastructures.
IEEE Trans. Parallel Distributed Syst.
Ting Dai, Daniel Joseph Dean, Peipei Wang, Xiaohui Gu, Shan Lu
2019 A conf
ScaleCheck: A Single-Machine Approach for Discovering Scalability Bugs in Large Distributed Systems.
FAST
Cesar A. Stuardo, Tanakorn Leesatapornwongsa, Riza O. Suminto, Huan Ke, Jeffrey F. Lukman, Wei-Chiu Chuang, Shan Lu, Haryadi S. Gunawi
2019 A* conf
View-centric performance optimization for database-backed web applications.
ICSE
Junwen Yang, Cong Yan, Chengcheng Wan, Shan Lu, Alvin Cheung
2019 A conf
What bugs cause production cloud incidents?
HotOS
Haopeng Liu, Shan Lu, Madan Musuvathi, Suman Nath
2018 — conf
Applying Hardware Transactional Memory for Concurrency-Bug Failure Recovery in Production Runs.
USENIX ATC
Yuxi Chen, Shu Wang, Shan Lu, Karthikeyan Sankaralingam
2018 — conf
DScope: Detecting Real-World Data Corruption Hang Bugs in Cloud Server Systems.
SoCC
Ting Dai, Jingzhu He, Xiaohui Gu, Shan Lu, Peipei Wang
2018 A* conf
FCatch: Automatically Detecting Time-of-fault Bugs in Cloud Systems.
ASPLOS
Haopeng Liu, Xu Wang, Guangpu Li, Shan Lu, Feng Ye, Chen Tian
2018 A* conf
How
ICSE
Junwen Yang, Pranav Subramaniam, Shan Lu, Cong Yan, Alvin Cheung
2018 A conf
Pcatch: automatically detecting performance cascading bugs in cloud systems.
EuroSys
Jiaxin Li, Yuxi Chen, Haopeng Liu, Shan Lu, Yiming Zhang, Haryadi S. Gunawi, Xiaohui Gu, Xicheng Lu, Dongsheng Li
2018 — conf
PowerStation: automatically detecting and fixing inefficiencies of database-backed web applications in IDE.
ESEC/SIGSOFT FSE
Junwen Yang, Cong Yan, Pranav Subramaniam, Shan Lu, Alvin Cheung
2018 A* conf
Skyway: Connecting Managed Heaps in Distributed Big Data Systems.
ASPLOS
Khanh Nguyen, Lu Fang, Christian Navasca, Guoqing Xu, Brian Demsky, Shan Lu
2018 B conf
Understanding Real-World Timeout Problems in Cloud Server Systems.
IC2E
Ting Dai, Jingzhu He, Xiaohui Gu, Shan Lu
2018 A* conf
Understanding and Auto-Adjusting Performance-Sensitive Configurations.
ASPLOS
Shu Wang, Chi Li, Henry Hoffmann, Shan Lu, William Sentosa, Achmad Imam Kistijantoro
2017 A* conf
DCatch: Automatically Detecting Distributed Concurrency Bugs in Cloud Systems.
ASPLOS
Haopeng Liu, Guangpu Li, Jeffrey F. Lukman, Jiaxin Li, Shan Lu, Haryadi S. Gunawi, Chen Tian
2017 — conf
Early Detection of Configuration Errors to Reduce Failure Damage.
USENIX ATC
Tianyin Xu, Xinxin Jin, Peng Huang, Yuanyuan Zhou, Shan Lu, Long Jin, Shankar Pasupathy
2017 A* conf
Efficient detection of thread safety violations via coverage-guided generation of concurrent tests.
ICSE
Ankit Choudhary, Shan Lu, Michael Pradel
2017 — conf
Hytrace: a hybrid approach to performance bug diagnosis in production cloud infrastructures.
SoCC
Ting Dai, Daniel Dean, Peipei Wang, Xiaohui Gu, Shan Lu
2017 A* conf
Performance diagnosis for inefficient loops.
ICSE
Linhai Song, Shan Lu
2017 A conf
Understanding Database Performance Inefficiencies in Real-world Web Applications.
CIKM
Cong Yan, Alvin Cheung, Junwen Yang, Shan Lu
2017 J jnl
Understanding and Auto-Adjusting Performance-Related Configurations.
CoRR
Shu Wang, Chi Li, William Sentosa, Henry Hoffmann, Shan Lu
2016 J jnl
A Lightweight System for Detecting and Tolerating Concurrency Bugs.
IEEE Trans. Software Eng.
Mingxing Zhang, Yongwei Wu, Shan Lu, Shanxiang Qi, Jinglei Ren, Weimin Zheng
2016 J jnl
Database-Backed Applications in the Wild: How Well Do They Work?
CoRR
Cong Yan, Zewei Chu, Alvin Cheung, Shan Lu
2016 A* conf
Early Detection of Configuration Errors to Reduce Failure Damage.
OSDI
Tianyin Xu, Xinxin Jin, Peng Huang, Yuanyuan Zhou, Shan Lu, Long Jin, Shankar Pasupathy
2016 A conf
Low-overhead and fully automated statistical debugging with abstraction refinement.
OOPSLA
Zhiqiang Zuo, Lu Fang, Siau-Cheng Khoo, Guoqing Xu, Shan Lu
2016 B conf
RDE: Replay DEbugging for Diagnosing Production Site Failures.
SRDS
Peipei Wang, Hiep Nguyen, Xiaohui Gu, Shan Lu
2016 J jnl
Roundtable: Research Opportunities and Challenges for Large-Scale Software Systems.
J. Comput. Sci. Technol.
Xusheng Xiao, Jian-Guang Lou, Shan Lu, David C. Shepherd, Xin Peng, Qianxiang Wang
2016 A* conf
TaxDC: A Taxonomy of Non-Deterministic Concurrency Bugs in Datacenter Distributed Systems.
ASPLOS
Tanakorn Leesatapornwongsa, Jeffrey F. Lukman, Shan Lu, Haryadi S. Gunawi
2016 — conf
Understanding and generating high quality patches for concurrency bugs.
SIGSOFT FSE
Haopeng Liu, Yuxi Chen, Shan Lu
2016 A* conf
Yak: A High-Performance Big-Data-Friendly Garbage Collector.
OSDI
Khanh Nguyen, Lu Fang, Guoqing Xu, Brian Demsky, Shan Lu, Sanazsadat Alamian, Onur Mutlu
2015 — conf
CARAMEL: Detecting and Fixing Performance Problems That Have Non-Intrusive Fixes.
ICSE (1)
Adrian Nistor, Po-Chun Chang, Cosmin Radoi, Shan Lu
2015 J jnl
Fixing, preventing, and recovering from concurrency bugs.
Sci. China Inf. Sci.
Dongdong Deng, Guoliang Jin, Marc de Kruijf, Ang Li, Ben Liblit, Shan Lu, Shanxiang Qi, Jinglei Ren, Karthikeyan Sankaralingam, Linhai Song, Yongwei Wu, Mingxing Zhang, Wei Zhang, Weimin Zheng
2015 A* conf
Interruptible tasks: treating memory pressure as interrupts for highly scalable data-parallel programs.
SOSP
Lu Fang, Khanh Nguyen, Guoqing Xu, Brian Demsky, Shan Lu
2015 — ed.
Proceedings of the 2015 USENIX Annual Technical Conference, USENIX ATC 2015, July 8-10, Santa Clara, CA, USA
USENIX ATC
Shan Lu, Erik Riedel
2015 — ed.
Proceedings of the 8th Workshop on Programming Languages and Operating Systems, PLOS 2015, Monterey, California, USA, October 4, 2015
PLOS@SOSP
Shan Lu
2015 — conf
What change history tells us about thread synchronization.
ESEC/SIGSOFT FSE
Rui Gu, Guoliang Jin, Linhai Song, Linjie Zhu, Shan Lu
2014 J jnl
A Study of Linux File System Evolution.
ACM Trans. Storage
Lanyue Lu, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Shan Lu
2014 — conf
AI: a lightweight system for tolerating concurrency bugs.
SIGSOFT FSE
Mingxing Zhang, Yongwei Wu, Shan Lu, Shanxiang Qi, Jinglei Ren, Weimin Zheng
2014 A* conf
Leveraging the short-term memory of hardware to diagnose production-run software failures.
ASPLOS
Joy Arulraj, Guoliang Jin, Shan Lu
2014 — ed.
Proceedings of the 2014 Joint International Workshop on Dynamic Analysis (WODA) and Software and System Performance Testing, Debugging, and Analytics (PERTEA), WODA+PERTEA 2014, San Jose, CA, USA, July 22, 2014
WODA+PERTEA@ISSTA
Harry Xu, Tao Xie, Shan Lu, Dongmei Zhang, Santosh Nagarakatte, Christoph Csallner
2014 A conf
Statistical debugging for real-world performance problems.
OOPSLA
Linhai Song, Shan Lu
2013 J jnl
A Study of Linux File System Evolution.
login Usenix Mag.
Lanyue Lu, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Shan Lu
2013 A conf
A study of Linux file system evolution.
FAST
Lanyue Lu, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Shan Lu
2013 A* conf
ConAir: featherweight concurrency bug recovery via single-threaded idempotent execution.
ASPLOS
Wei Zhang, Marc de Kruijf, Ang Li, Shan Lu, Karthikeyan Sankaralingam
2013 J jnl
ConMem: Detecting Crash-Triggering Concurrency Bugs through an Effect-Oriented Approach.
ACM Trans. Softw. Eng. Methodol.
Wei Zhang, Chong Sun, Junghee Lim, Shan Lu, Thomas W. Reps
2013 A conf
Efficient concurrency-bug detection across inputs.
OOPSLA
Dongdong Deng, Wei Zhang, Shan Lu
2013 A* conf
Production-run software failure diagnosis via hardware performance counters.
ASPLOS
Joy Arulraj, Po-Chun Chang, Guoliang Jin, Shan Lu
2013 A* conf
Toddler: detecting performance problems via similar memory-access patterns.
ICSE
Adrian Nistor, Linhai Song, Darko Marinov, Shan Lu
2013 A* conf
Validating Library Usage Interactively.
CAV
William R. Harris, Guoliang Jin, Shan Lu, Somesh Jha
2012 A* conf
Applying transactional memory to concurrency bugs.
ASPLOS
Haris Volos, Andres Jaan Tack, Michael M. Swift, Shan Lu
2012 J jnl
Detecting Concurrency Bugs from the Perspectives of Synchronization Intentions.
IEEE Trans. Parallel Distributed Syst.
Shan Lu, Soyeon Park, Yuanyuan Zhou
2012 J jnl
Finding Atomicity-Violation Bugs through Unserializable Interleaving Testing.
IEEE Trans. Software Eng.
Shan Lu, Soyeon Park, Yuanyuan Zhou
2012 A* conf
Understanding and detecting real-world performance bugs.
PLDI
Guoliang Jin, Linhai Song, Xiaoming Shi, Joel Scherpelz, Shan Lu
2012 — conf
Understanding the Interleaving-Space Overlap across Inputs and Software Versions.
HotPar
Dongdong Deng, Wei Zhang, Borui Wang, Peisen Zhao, Shan Lu
2011 A* conf
Automated atomicity-violation fixing.
PLDI
Guoliang Jin, Linhai Song, Wei Zhang, Shan Lu, Ben Liblit
2011 A* conf
ConSeq: detecting concurrency bugs through sequential errors.
ASPLOS
Wei Zhang, Junghee Lim, Ramya Olichandran, Joel Scherpelz, Guoliang Jin, Shan Lu, Thomas W. Reps
2010 A* conf
ConMem: detecting severe concurrency bugs through an effect-oriented approach.
ASPLOS
Wei Zhang, Chong Sun, Shan Lu
2010 A conf
Do I use the wrong definition?: DeFuse: definition-use invariants for detecting concurrency and sequential bugs.
OOPSLA
Yao Shi, Soyeon Park, Zuoning Yin, Shan Lu, Yuanyuan Zhou, Wenguang Chen, Weimin Zheng
2010 A conf
Instrumentation and sampling strategies for cooperative concurrency bug isolation.
OOPSLA
Guoliang Jin, Aditya V. Thakur, Ben Liblit, Shan Lu
2010 A* conf
Leveraging parallelism for multi-dimensional packetclassification on software routers.
SIGMETRICS
Yadi Ma, Suman Banerjee, Shan Lu, Cristian Estan
2009 A* conf
CTrigger: exposing atomicity violation bugs from their hiding places.
ASPLOS
Soyeon Park, Shan Lu, Yuanyuan Zhou
2009 — conf
Cooperative crug isolation.
WODA
Aditya V. Thakur, Rathijit Sen, Ben Liblit, Shan Lu
2009 A* conf
PRES: probabilistic replay with execution sketching on multiprocessors.
SOSP
Soyeon Park, Yuanyuan Zhou, Weiwei Xiong, Zuoning Yin, Rini Kaushik, Kyu H. Lee, Shan Lu
2008 A* conf
Learning from mistakes: a comprehensive study on real world concurrency bug characteristics.
ASPLOS
Shan Lu, Soyeon Park, Eunsoo Seo, Yuanyuan Zhou
2007 — conf
A study of interleaving coverage criteria.
ESEC/SIGSOFT FSE
Shan Lu, Weihang Jiang, Yuanyuan Zhou
2007 J jnl
AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants.
IEEE Micro
Shan Lu, Joseph A. Tucek, Feng Qin, Yuanyuan Zhou
2007 A* conf
MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs.
SOSP
Shan Lu, Soyeon Park, Chongfeng Hu, Xiao Ma, Weihang Jiang, Zhenmin Li, Raluca A. Popa, Yuanyuan Zhou
2007 A conf
Sweeper: a lightweight end-to-end system for defending against fast worms.
EuroSys
Joseph A. Tucek, James Newsome, Shan Lu, Chengdu Huang, Spiros Xanthos, David Brumley, Yuanyuan Zhou, Dawn Xiaodong Song
2007 A* conf
Triage: diagnosing production run failures at the user's site.
SOSP
Joseph A. Tucek, Shan Lu, Chengdu Huang, Spiros Xanthos, Yuanyuan Zhou
2006 A* conf
AVIO: detecting atomicity violations via access interleaving invariants.
ASPLOS
Shan Lu, Joseph A. Tucek, Feng Qin, Yuanyuan Zhou
2006 — conf
Analyzing persistent state interactions to improve state management.
SIGMETRICS/Performance
Chad Verbowski, Emre Kiciman, Brad Daniels, Yi-Min Wang, Roussi Roussev, Shan Lu, Juhan Lee
2006 — conf
Automatic On-line Failure Diagnosis at the End-User Site.
HotDep
Joseph A. Tucek, Shan Lu, Chengdu Huang, Spiros Xanthos, Yuanyuan Zhou
2006 J jnl
CP-Miner: Finding Copy-Paste and Related Bugs in Large-Scale Software Code.
IEEE Trans. Software Eng.
Zhenmin Li, Shan Lu, Suvda Myagmar, Yuanyuan Zhou
2006 A* conf
Flight Data Recorder: Monitoring Persistent-State Interactions to Improve Systems Management.
OSDI
Chad Verbowski, Emre Kiciman, Arunvijay Kumar, Brad Daniels, Shan Lu, Juhan Lee, Yi-Min Wang, Roussi Roussev
2006 — conf
Have things changed now?: an empirical study of bug characteristics in modern open source software.
ASID
Zhenmin Li, Lin Tan, Xuanhui Wang, Shan Lu, Yuanyuan Zhou, ChengXiang Zhai
2006 A* conf
PathExpander: Architectural Support for Increasing the Path Coverage of Dynamic Bug Detection.
MICRO
Shan Lu, Pin Zhou, Wei Liu, Yuanyuan Zhou, Josep Torrellas
2005 A* conf
SafeMem: Exploiting ECC-Memory for Detecting Memory Leaks and Memory Corruption During Production Runs.
HPCA
Feng Qin, Shan Lu, Yuanyuan Zhou
2004 A* conf
AccMon: Automatically Detecting Memory-Related Bugs via Program Counter-Based Invariants.
MICRO
Pin Zhou, Wei Liu, Long Fei, Shan Lu, Feng Qin, Yuanyuan Zhou, Samuel P. Midkiff, Josep Torrellas
2004 A* conf
CP-Miner: A Tool for Finding Copy-paste and Related Bugs in Operating System Code.
OSDI
Zhenmin Li, Shan Lu, Suvda Myagmar, Yuanyuan Zhou