Shan Lu

According to our database, Shan Lu authored at least 117 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Automated Proof Generation for Rust Code via Self-Evolution.

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

CoRR, 2024

AutoVerus: Automated Proof Generation for Rust Code.

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

CoRR, 2024

CacheBlend: Fast Large Language Model Serving for RAG with Cached Knowledge Fusion.

Jiayi Yao, Hanchen Li, Yuhan Liu, Siddhant Ray, Yihua Cheng, Qizheng Zhang, Kuntai Du, Shan Lu, Junchen Jiang

CoRR, 2024

If At First You Don't Succeed, Try, Try, Again...? Insights and LLM-informed Tooling for Detecting Retry Bugs in Software Systems.

Bogdan Alexandru Stoica, Utsav Sethi, Yiming Su, Cyrus Zhou, Shan Lu, Jonathan Mace, Madanlal Musuvathi, Suman Nath

Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles, 2024

CacheGen: KV Cache Compression and Streaming for Fast Large Language Model Serving.

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

Proceedings of the ACM SIGCOMM 2024 Conference, 2024

ChameleonAPI: Automatic and Efficient Customization of Neural Networks for ML Applications.

Yuhan Liu, Chengcheng Wan, Kuntai Du, Henry Hoffmann, Junchen Jiang, Shan Lu, Michael Maire

Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation, 2024

A Tale of Two Paths: Toward a Hybrid Data Plane for Efficient Far-Memory Applications.

Lei Chen, Shi Liu, Chenxi Wang, Haoran Ma, Yifan Qiao, Zhe Wang, Chenggang Wu, Youyou Lu, Xiaobing Feng, Huimin Cui, Shan Lu, Harry Xu

Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation, 2024

ExChain: Exception Dependency Analysis for Root Cause Diagnosis.

Ao Li, Shan Lu, Suman Nath, Rohan Padhye, Vyas Sekar

Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, 2024

2023

Run-Time Prevention of Software Integration Failures of Machine Learning APIs.

Chengcheng Wan, Yuhan Liu, Kuntai Du, Henry Hoffmann, Junchen Jiang, Michael Maire, Shan Lu

Proc. ACM Program. Lang., October, 2023

Performance Bug Analysis and Detection for Distributed Storage and Computing Systems.

Jiaxin Li, Yiming Zhang, Shan Lu, Haryadi S. Gunawi, Xiaohui Gu, Feng Huang, Dongsheng Li

ACM Trans. Storage, August, 2023

Toward More Efficient Statistical Debugging with Abstraction Refinement.

Zhiqiang Zuo, Xintao Niu, Siyi Zhang, Lu Fang, Siau-Cheng Khoo, Shan Lu, Chengnian Sun, Guoqing Harry Xu

ACM Trans. Softw. Eng. Methodol., April, 2023

Leveraging Application Data Constraints to Optimize Database-Backed Web Applications.

Xiaoxuan Liu, Shuxian Wang, Mengzhu Sun, Sicheng Pan, Ge Li, Siddharth Jha, Cong Yan, Junwen Yang, Shan Lu, Alvin Cheung

Proc. VLDB Endow., 2023

CacheGen: Fast Context Loading for Language Model Applications.

Yuhan Liu, Hanchen Li, Kuntai Du, Jiayi Yao, Yihua Cheng, Yuyang Huang, Shan Lu, Michael Maire, Henry Hoffmann, Ari Holtzman, Ganesh Ananthanarayanan, Junchen Jiang

CoRR, 2023

Automatic and Efficient Customization of Neural Networks for ML Applications.

Yuhan Liu, Chengcheng Wan, Kuntai Du, Henry Hoffmann, Junchen Jiang, Shan Lu, Michael Maire

CoRR, 2023

Generating Test Databases for Database-Backed Applications.

Cong Yan, Suman Nath, Shan Lu

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

HotGPT: How to Make Software Documentation More Useful with a Large Language Model?

Yiming Su, Chengcheng Wan, Utsav Sethi, Shan Lu, Madan Musuvathi, Suman Nath

Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 2023

WAFFLE: Exposing Memory Ordering Bugs Efficiently with Active Delay Injection.

Bogdan Alexandru Stoica, Shan Lu, Madanlal Musuvathi, Suman Nath

Proceedings of the Eighteenth European Conference on Computer Systems, 2023

2022

Helping Users Debug Trigger-Action Programs.

Lefan Zhang, Cyrus Zhou, Michael L. Littman, Blase Ur, Shan Lu

Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2022

Leveraging Application Data Constraints to Optimize Database-Backed Web Applications.

Xiaoxuan Liu, Shuxian Wang, Mengzhu Sun, Sharon Lee, Sicheng Pan, Joshua Wu, Cong Yan, Junwen Yang, Shan Lu, Alvin Cheung

CoRR, 2022

AgileCtrl: a self-adaptive framework for configuration tuning.

Shu Wang, Henry Hoffmann, Shan Lu

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

MemLiner: Lining up Tracing and Application for a Far-Memory-Friendly Runtime.

Chenxi Wang, Haoran Ma, Shi Liu, Yifan Qiao, Jonathan Eyolfson, Christian Navasca, Shan Lu, Guoqing Harry Xu

Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022

Cancellation in Systems: An Empirical Study of Task Cancellation Patterns and Failures.

Utsav Sethi, Haochen Pan, Shan Lu, Madanlal Musuvathi, Suman Nath

Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022

GOAL: Supporting General and Dynamic Adaptation in Computing Systems.

Ahsan Pervaiz, Yao-Hsiang Yang, Adam Duracz, Ferenc A. Bartha, Ryuichi Sai, Connor Imes, Robert Cartwright, Krishna V. Palem, Shan Lu, Henry Hoffmann

Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, 2022

Automated Testing of Software that Uses Machine Learning APIs.

Chengcheng Wan, Shicheng Liu, Sophie Xie, Yifan Liu, Henry Hoffmann, Michael Maire, Shan Lu

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

Understanding and Detecting Software Upgrade Failures in Distributed Systems.

Yongle Zhang, Junwen Yang, Zhuqi Jin, Utsav Sethi, Kirk Rodrigues, Shan Lu, Ding Yuan

Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021

Automated Code Refactoring upon Database-Schema Changes in Web Applications.

Sophie Xie, Junwen Yang, Shan Lu

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

A Replication of Are Machine Learning Cloud APIs Used Correctly.

Chengcheng Wan, Shicheng Liu, Henry Hoffmann, Michael Maire, Shan Lu

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

Are Machine Learning Cloud APIs Used Correctly?

Chengcheng Wan, Shicheng Liu, Henry Hoffmann, Michael Maire, Shan Lu

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

Understanding Trigger-Action Programs Through Novel Visualizations of Program Differences.

Valerie Zhao, Lefan Zhang, Bo Wang, Michael L. Littman, Shan Lu, Blase Ur

Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021

SherLock: unsupervised synchronization-operation inference.

Guangpu Li, Dongjie Chen, Shan Lu, Madanlal Musuvathi, Suman Nath

Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021

2020

How are distributed bugs diagnosed and fixed through system logs?

Wei Yuan, Shan Lu, Hailong Sun, Xudong Liu

Inf. Softw. Technol., 2020

Trace2TAP: Synthesizing Trigger-Action Programs from Traces of Behavior.

Lefan Zhang, Weijia He, Olivia Morkved, Valerie Zhao, Michael L. Littman, Shan Lu, Blase Ur

Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2020

ALERT: Accurate Learning for Energy and Timeliness.

Chengcheng Wan, Muhammad Husni Santriaji, Eri Rogers, Henry Hoffmann, Michael Maire, Shan Lu

Proceedings of the 2020 USENIX Annual Technical Conference, 2020

Understanding and automatically detecting conflicting interactions between smart home IoT applications.

Rahmadi Trimananda, Seyed Amir Hossein Aqajari, Jason Chuang, Brian Demsky, Guoqing Harry Xu, Shan Lu

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Managing data constraints in database-backed web applications.

Junwen Yang, Utsav Sethi, Cong Yan, Alvin Cheung, Shan Lu

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Orthogonalized SGD and Nested Architectures for Anytime Neural Networks.

Chengcheng Wan, Henry Hoffmann, Shan Lu, Michael Maire

Proceedings of the 37th International Conference on Machine Learning, 2020

Statically inferring performance properties of software configurations.

Chi Li, Shu Wang, Henry Hoffmann, Shan Lu

Proceedings of the EuroSys '20: Fifteenth EuroSys Conference 2020, 2020

View-Driven Optimization of Database-Backed Web Applications.

Cong Yan, Alvin Cheung, Junwen Yang, Shan Lu

Proceedings of the 10th Conference on Innovative Data Systems Research, 2020

Visualizing Differences to Improve End-User Understanding of Trigger-Action Programs.

Valerie Zhao, Lefan Zhang, Bo Wang, Shan Lu, Blase Ur

Proceedings of the Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems, 2020

2019

Hytrace: A Hybrid Approach to Performance Bug Diagnosis in Production Cloud Infrastructures.

Ting Dai, Daniel Joseph Dean, Peipei Wang, Xiaohui Gu, Shan Lu

IEEE Trans. Parallel Distributed Syst., 2019

Applying Transactional Memory for Concurrency-Bug Failure Recovery in Production Runs.

Yuxi Chen, Shu Wang, Shan Lu, Karthikeyan Sankaralingam

IEEE Trans. Parallel Distributed Syst., 2019

ALERT: Accurate Anytime Learning for Energy and Timeliness.

Chengcheng Wan, Muhammad Husni Santriaji, Eri Rogers, Henry Hoffmann, Michael Maire, Shan Lu

CoRR, 2019

Gerenuk: thin computation over big native data using speculative program transformation.

Christian Navasca, Cheng Cai, Khanh Nguyen, Brian Demsky, Shan Lu, Miryung Kim, Guoqing Harry Xu

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

Efficient scalable thread-safety-violation detection: finding thousands of concurrency bugs during testing.

Guangpu Li, Shan Lu, Madanlal Musuvathi, Suman Nath, Rohan Padhye

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

DFix: automatically fixing timing bugs in distributed systems.

Guangpu Li, Haopeng Liu, Xianglan Chen, Haryadi S. Gunawi, Shan Lu

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

AutoTap: synthesizing and repairing trigger-action programs using LTL properties.

Lefan Zhang, Weijia He, Jesse J. Martinez, Noah Brackenbury, Shan Lu, Blase Ur

Proceedings of the 41st International Conference on Software Engineering, 2019

View-centric performance optimization for database-backed web applications.

Junwen Yang, Cong Yan, Chengcheng Wan, Shan Lu, Alvin Cheung

Proceedings of the 41st International Conference on Software Engineering, 2019

What bugs cause production cloud incidents?

Haopeng Liu, Shan Lu, Madan Musuvathi, Suman Nath

Proceedings of the Workshop on Hot Topics in Operating Systems, 2019

ScaleCheck: A Single-Machine Approach for Discovering Scalability Bugs in Large Distributed Systems.

Cesar A. Stuardo, Tanakorn Leesatapornwongsa, Riza O. Suminto, Huan Ke, Jeffrey F. Lukman, Wei-Chiu Chuang, Shan Lu, Haryadi S. Gunawi

Proceedings of the 17th USENIX Conference on File and Storage Technologies, 2019

FlyMC: Highly Scalable Testing of Complex Interleavings in Distributed Systems.

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

Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019

2018

Applying Hardware Transactional Memory for Concurrency-Bug Failure Recovery in Production Runs.

Yuxi Chen, Shu Wang, Shan Lu, Karthikeyan Sankaralingam

Proceedings of the 2018 USENIX Annual Technical Conference, 2018

PowerStation: automatically detecting and fixing inefficiencies of database-backed web applications in IDE.

Junwen Yang, Cong Yan, Pranav Subramaniam, Shan Lu, Alvin Cheung

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

How <i>not</i> to structure your database-backed web applications: a study of performance bugs in the wild.

Junwen Yang, Pranav Subramaniam, Shan Lu, Cong Yan, Alvin Cheung

Proceedings of the 40th International Conference on Software Engineering, 2018

Understanding Real-World Timeout Problems in Cloud Server Systems.

Ting Dai, Jingzhu He, Xiaohui Gu, Shan Lu

Proceedings of the 2018 IEEE International Conference on Cloud Engineering, 2018

Pcatch: automatically detecting performance cascading bugs in cloud systems.

Jiaxin Li, Yuxi Chen, Haopeng Liu, Shan Lu, Yiming Zhang, Haryadi S. Gunawi, Xiaohui Gu, Xicheng Lu, Dongsheng Li

Proceedings of the Thirteenth EuroSys Conference, 2018

DScope: Detecting Real-World Data Corruption Hang Bugs in Cloud Server Systems.

Ting Dai, Jingzhu He, Xiaohui Gu, Shan Lu, Peipei Wang

Proceedings of the ACM Symposium on Cloud Computing, 2018

Understanding and Auto-Adjusting Performance-Sensitive Configurations.

Shu Wang, Chi Li, Henry Hoffmann, Shan Lu, William Sentosa, Achmad Imam Kistijantoro

Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, 2018

Skyway: Connecting Managed Heaps in Distributed Big Data Systems.

Khanh Nguyen, Lu Fang, Christian Navasca, Guoqing Xu, Brian Demsky, Shan Lu

Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, 2018

FCatch: Automatically Detecting Time-of-fault Bugs in Cloud Systems.

Haopeng Liu, Xu Wang, Guangpu Li, Shan Lu, Feng Ye, Chen Tian

Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, 2018

2017

Understanding and Auto-Adjusting Performance-Related Configurations.

Shu Wang, Chi Li, William Sentosa, Henry Hoffmann, Shan Lu

CoRR, 2017

Performance diagnosis for inefficient loops.

Linhai Song, Shan Lu

Proceedings of the 39th International Conference on Software Engineering, 2017

Efficient detection of thread safety violations via coverage-guided generation of concurrent tests.

Ankit Choudhary, Shan Lu, Michael Pradel

Proceedings of the 39th International Conference on Software Engineering, 2017

Hytrace: a hybrid approach to performance bug diagnosis in production cloud infrastructures.

Ting Dai, Daniel Dean, Peipei Wang, Xiaohui Gu, Shan Lu

Proceedings of the 2017 Symposium on Cloud Computing, SoCC 2017, Santa Clara, CA, USA, 2017

Understanding Database Performance Inefficiencies in Real-world Web Applications.

Cong Yan, Alvin Cheung, Junwen Yang, Shan Lu

Proceedings of the 2017 ACM on Conference on Information and Knowledge Management, 2017

DCatch: Automatically Detecting Distributed Concurrency Bugs in Cloud Systems.

Haopeng Liu, Guangpu Li, Jeffrey F. Lukman, Jiaxin Li, Shan Lu, Haryadi S. Gunawi, Chen Tian

Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, 2017

2016

A Lightweight System for Detecting and Tolerating Concurrency Bugs.

Mingxing Zhang, Yongwei Wu, Shan Lu, Shanxiang Qi, Jinglei Ren, Weimin Zheng

IEEE Trans. Software Eng., 2016

Roundtable: Research Opportunities and Challenges for Large-Scale Software Systems.

Xusheng Xiao, Jian-Guang Lou, Shan Lu, David C. Shepherd, Xin Peng, Qianxiang Wang

J. Comput. Sci. Technol., 2016

Database-Backed Applications in the Wild: How Well Do They Work?

Cong Yan, Zewei Chu, Alvin Cheung, Shan Lu

CoRR, 2016

RDE: Replay DEbugging for Diagnosing Production Site Failures.

Peipei Wang, Hiep Nguyen, Xiaohui Gu, Shan Lu

Proceedings of the 35th IEEE Symposium on Reliable Distributed Systems, 2016

Understanding and generating high quality patches for concurrency bugs.

Haopeng Liu, Yuxi Chen, Shan Lu

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Early Detection of Configuration Errors to Reduce Failure Damage.

Tianyin Xu, Xinxin Jin, Peng Huang, Yuanyuan Zhou, Shan Lu, Long Jin, Shankar Pasupathy

Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

Yak: A High-Performance Big-Data-Friendly Garbage Collector.

Khanh Nguyen, Lu Fang, Guoqing Xu, Brian Demsky, Shan Lu, Sanazsadat Alamian, Onur Mutlu

Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

Low-overhead and fully automated statistical debugging with abstraction refinement.

Zhiqiang Zuo, Lu Fang, Siau-Cheng Khoo, Guoqing Xu, Shan Lu

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

TaxDC: A Taxonomy of Non-Deterministic Concurrency Bugs in Datacenter Distributed Systems.

Tanakorn Leesatapornwongsa, Jeffrey F. Lukman, Shan Lu, Haryadi S. Gunawi

Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016

2015

Fixing, preventing, and recovering from concurrency bugs.

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

Sci. China Inf. Sci., 2015

Interruptible tasks: treating memory pressure as interrupts for highly scalable data-parallel programs.

Lu Fang, Khanh Nguyen, Guoqing Xu, Brian Demsky, Shan Lu

Proceedings of the 25th Symposium on Operating Systems Principles, 2015

What change history tells us about thread synchronization.

Rui Gu, Guoliang Jin, Linhai Song, Linjie Zhu, Shan Lu

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

CARAMEL: Detecting and Fixing Performance Problems That Have Non-Intrusive Fixes.

Adrian Nistor, Po-Chun Chang, Cosmin Radoi, Shan Lu

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

A Study of Linux File System Evolution.

Lanyue Lu, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Shan Lu

ACM Trans. Storage, 2014

AI: a lightweight system for tolerating concurrency bugs.

Mingxing Zhang, Yongwei Wu, Shan Lu, Shanxiang Qi, Jinglei Ren, Weimin Zheng

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Statistical debugging for real-world performance problems.

Linhai Song, Shan Lu

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Leveraging the short-term memory of hardware to diagnose production-run software failures.

Joy Arulraj, Guoliang Jin, Shan Lu

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2014

2013

ConMem: Detecting Crash-Triggering Concurrency Bugs through an Effect-Oriented Approach.

Wei Zhang, Chong Sun, Junghee Lim, Shan Lu, Thomas W. Reps

ACM Trans. Softw. Eng. Methodol., 2013

Efficient concurrency-bug detection across inputs.

Dongdong Deng, Wei Zhang, Shan Lu

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Toddler: detecting performance problems via similar memory-access patterns.

Adrian Nistor, Linhai Song, Darko Marinov, Shan Lu

Proceedings of the 35th International Conference on Software Engineering, 2013

Validating Library Usage Interactively.

William R. Harris, Guoliang Jin, Shan Lu, Somesh Jha

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

ConAir: featherweight concurrency bug recovery via single-threaded idempotent execution.

Wei Zhang, Marc de Kruijf, Ang Li, Shan Lu, Karthikeyan Sankaralingam

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013

Production-run software failure diagnosis via hardware performance counters.

Joy Arulraj, Po-Chun Chang, Guoliang Jin, Shan Lu

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013

2012

Finding Atomicity-Violation Bugs through Unserializable Interleaving Testing.

Shan Lu, Soyeon Park, Yuanyuan Zhou

IEEE Trans. Software Eng., 2012

Detecting Concurrency Bugs from the Perspectives of Synchronization Intentions.

Shan Lu, Soyeon Park, Yuanyuan Zhou

IEEE Trans. Parallel Distributed Syst., 2012

Understanding and detecting real-world performance bugs.

Guoliang Jin, Linhai Song, Xiaoming Shi, Joel Scherpelz, Shan Lu

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Understanding the Interleaving-Space Overlap across Inputs and Software Versions.

Dongdong Deng, Wei Zhang, Borui Wang, Peisen Zhao, Shan Lu

Proceedings of the 4th USENIX Workshop on Hot Topics in Parallelism, 2012

Applying transactional memory to concurrency bugs.

Haris Volos, Andres Jaan Tack, Michael M. Swift, Shan Lu

Proceedings of the 17th International Conference on Architectural Support for Programming Languages and Operating Systems, 2012

2011

Automated atomicity-violation fixing.

Guoliang Jin, Linhai Song, Wei Zhang, Shan Lu, Ben Liblit

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

ConSeq: detecting concurrency bugs through sequential errors.

Wei Zhang, Junghee Lim, Ramya Olichandran, Joel Scherpelz, Guoliang Jin, Shan Lu, Thomas W. Reps

Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

2010

Leveraging parallelism for multi-dimensional packetclassification on software routers.

Yadi Ma, Suman Banerjee, Shan Lu, Cristian Estan

Proceedings of the SIGMETRICS 2010, 2010

Do I use the wrong definition?: DeFuse: definition-use invariants for detecting concurrency and sequential bugs.

Yao Shi, Soyeon Park, Zuoning Yin, Shan Lu, Yuanyuan Zhou, Wenguang Chen, Weimin Zheng

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Instrumentation and sampling strategies for cooperative concurrency bug isolation.

Guoliang Jin, Aditya V. Thakur, Ben Liblit, Shan Lu

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

ConMem: detecting severe concurrency bugs through an effect-oriented approach.

Wei Zhang, Chong Sun, Shan Lu

Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, 2010

2009

PRES: probabilistic replay with execution sketching on multiprocessors.

Soyeon Park, Yuanyuan Zhou, Weiwei Xiong, Zuoning Yin, Rini Kaushik, Kyu H. Lee, Shan Lu

Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

Cooperative crug isolation.

Aditya V. Thakur, Rathijit Sen, Ben Liblit, Shan Lu

Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2009), 2009

CTrigger: exposing atomicity violation bugs from their hiding places.

Soyeon Park, Shan Lu, Yuanyuan Zhou

Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, 2009

2008

Learning from mistakes: a comprehensive study on real world concurrency bug characteristics.

Shan Lu, Soyeon Park, Eunsoo Seo, Yuanyuan Zhou

Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, 2008

2007

AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants.

Shan Lu, Joseph A. Tucek, Feng Qin, Yuanyuan Zhou

IEEE Micro, 2007

Triage: diagnosing production run failures at the user's site.

Joseph A. Tucek, Shan Lu, Chengdu Huang, Spiros Xanthos, Yuanyuan Zhou

Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, 2007

MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs.

Shan Lu, Soyeon Park, Chongfeng Hu, Xiao Ma, Weihang Jiang, Zhenmin Li, Raluca A. Popa, Yuanyuan Zhou

Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, 2007

A study of interleaving coverage criteria.

Shan Lu, Weihang Jiang, Yuanyuan Zhou

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Sweeper: a lightweight end-to-end system for defending against fast worms.

Joseph A. Tucek, James Newsome, Shan Lu, Chengdu Huang, Spiros Xanthos, David Brumley, Yuanyuan Zhou, Dawn Xiaodong Song

Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, 2007

2006

CP-Miner: Finding Copy-Paste and Related Bugs in Large-Scale Software Code.

Zhenmin Li, Shan Lu, Suvda Myagmar, Yuanyuan Zhou

IEEE Trans. Software Eng., 2006

Analyzing persistent state interactions to improve state management.

Chad Verbowski, Emre Kiciman, Brad Daniels, Yi-Min Wang, Roussi Roussev, Shan Lu, Juhan Lee

Proceedings of the Joint International Conference on Measurement and Modeling of Computer Systems, 2006

Flight Data Recorder: Monitoring Persistent-State Interactions to Improve Systems Management.

Chad Verbowski, Emre Kiciman, Arunvijay Kumar, Brad Daniels, Shan Lu, Juhan Lee, Yi-Min Wang, Roussi Roussev

Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06), 2006

PathExpander: Architectural Support for Increasing the Path Coverage of Dynamic Bug Detection.

Shan Lu, Pin Zhou, Wei Liu, Yuanyuan Zhou, Josep Torrellas

Proceedings of the 39th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-39 2006), 2006

Automatic On-line Failure Diagnosis at the End-User Site.

Joseph A. Tucek, Shan Lu, Chengdu Huang, Spiros Xanthos, Yuanyuan Zhou

Proceedings of the Second Workshop on Hot Topics in System Dependability, 2006

Have things changed now?: an empirical study of bug characteristics in modern open source software.

Zhenmin Li, Lin Tan, Xuanhui Wang, Shan Lu, Yuanyuan Zhou, Chengxiang Zhai

Proceedings of the 1st Workshop on Architectural and System Support for Improving Software Dependability, 2006

2005

SafeMem: Exploiting ECC-Memory for Detecting Memory Leaks and Memory Corruption During Production Runs.

Feng Qin, Shan Lu, Yuanyuan Zhou

Proceedings of the 11th International Conference on High-Performance Computer Architecture (HPCA-11 2005), 2005

2004

CP-Miner: A Tool for Finding Copy-paste and Related Bugs in Operating System Code.

Zhenmin Li, Shan Lu, Suvda Myagmar, Yuanyuan Zhou

Proceedings of the 6th Symposium on Operating System Design and Implementation (OSDI 2004), 2004

AccMon: Automatically Detecting Memory-Related Bugs via Program Counter-Based Invariants.

Pin Zhou, Wei Liu, Long Fei, Shan Lu, Feng Qin, Yuanyuan Zhou, Samuel P. Midkiff, Josep Torrellas

Proceedings of the 37th Annual International Symposium on Microarchitecture (MICRO-37 2004), 2004