default search action
Shan Lu 0001
Person information
- affiliation: Microsoft Research, Redmond, WA, USA
- affiliation: University of Chicago, IL, USA
- affiliation (former): University of Wisconsin, Madison, WI, USA
- affiliation (PhD 2008): University of Illinois, Urbana-Champaign, IL, USA
Other persons with the same name
- Shan Lu — disambiguation page
- Shan Lu 0002 — University of Machusetts, Amherst, MA, USA
- Shan Lu 0003 — Gifu University, Japan
- Shan Lu 0004 — Communications Research Laboratory, Tokyo, Japan
- Shan Lu 0005 — Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China
- Shan Lu 0006 — Purdue University, West Lafayette, IN, USA
- Shan Lu 0007 — Northeast Normal University, School of Geographical Science, Changchun, China (and 1 more)
- Shan Lu 0008 — Central University of Finance and Economics, School of Statistics and Mathematics, Beijing, China (and 1 more)
- Shan Lu 0009 — Shenzhen Polytechnic, Institute of Intelligence Science and Engineering, China (and 1 more)
- Shan Lu 0010 — Topcon Medical Systems, Inc., Paramus, NJ, USA (and 1 more)
- Shan Lu 0011 — Beijing University of Posts and Telecommunications, Beijing, China
- Shan Lu 0012 — Northeastern University, Boston, MA, USA
- Shan Lu 0013 — Capital University of Economics and Business, Beijing, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c93]Ao Li, Shan Lu, Suman Nath, Rohan Padhye, Vyas Sekar:
ExChain: Exception Dependency Analysis for Root Cause Diagnosis. NSDI 2024 - [c92]Lei Chen, Shi Liu, Chenxi Wang, Haoran Ma, Yifan Qiao, Zhe Wang, Chenggang Wu, Youyou Lu, Xiaobing Feng, Huimin Cui, Shan Lu, Harry Xu:
A Tale of Two Paths: Toward a Hybrid Data Plane for Efficient Far-Memory Applications. OSDI 2024: 77-95 - [c91]Yuhan Liu, Chengcheng Wan, Kuntai Du, Henry Hoffmann, Junchen Jiang, Shan Lu, Michael Maire:
ChameleonAPI: Automatic and Efficient Customization of Neural Networks for ML Applications. OSDI 2024: 365-386 - [c90]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:
CacheGen: KV Cache Compression and Streaming for Fast Large Language Model Serving. SIGCOMM 2024: 38-56 - [i9]Jiayi Yao, Hanchen Li, Yuhan Liu, Siddhant Ray, Yihua Cheng, Qizheng Zhang, Kuntai Du, Shan Lu, Junchen Jiang:
CacheBlend: Fast Large Language Model Serving for RAG with Cached Knowledge Fusion. CoRR abs/2405.16444 (2024) - [i8]Lei Chen, Shi Liu, Chenxi Wang, Haoran Ma, Yifan Qiao, Zhe Wang, Chenggang Wu, Youyou Lu, Xiaobing Feng, Huimin Cui, Shan Lu, Harry Xu:
A Tale of Two Paths: Toward a Hybrid Data Plane for Efficient Far-Memory Applications. CoRR abs/2406.16005 (2024) - 2023
- [j19]Chengcheng Wan, Yuhan Liu, Kuntai Du, Henry Hoffmann, Junchen Jiang, Michael Maire, Shan Lu:
Run-Time Prevention of Software Integration Failures of Machine Learning APIs. Proc. ACM Program. Lang. 7(OOPSLA2): 264-291 (2023) - [j18]Xiaoxuan Liu, Shuxian Wang, Mengzhu Sun, Sicheng Pan, Ge Li, Siddharth Jha, Cong Yan, Junwen Yang, Shan Lu, Alvin Cheung:
Leveraging Application Data Constraints to Optimize Database-Backed Web Applications. Proc. VLDB Endow. 16(6): 1208-1221 (2023) - [j17]Jiaxin Li, Yiming Zhang, Shan Lu, Haryadi S. Gunawi, Xiaohui Gu, Feng Huang, Dongsheng Li:
Performance Bug Analysis and Detection for Distributed Storage and Computing Systems. ACM Trans. Storage 19(3): 23:1-23:33 (2023) - [j16]Zhiqiang Zuo, Xintao Niu, Siyi Zhang, Lu Fang, Siau-Cheng Khoo, Shan Lu, Chengnian Sun, Guoqing Harry Xu:
Toward More Efficient Statistical Debugging with Abstraction Refinement. ACM Trans. Softw. Eng. Methodol. 32(2): 36:1-36:38 (2023) - [c89]Bogdan Alexandru Stoica, Shan Lu, Madanlal Musuvathi, Suman Nath:
WAFFLE: Exposing Memory Ordering Bugs Efficiently with Active Delay Injection. EuroSys 2023: 111-126 - [c88]Yiming Su, Chengcheng Wan, Utsav Sethi, Shan Lu, Madan Musuvathi, Suman Nath:
HotGPT: How to Make Software Documentation More Useful with a Large Language Model? HotOS 2023: 87-93 - [c87]Cong Yan, Suman Nath, Shan Lu:
Generating Test Databases for Database-Backed Applications. ICSE 2023: 2048-2059 - [i7]Yuhan Liu, Chengcheng Wan, Kuntai Du, Henry Hoffmann, Junchen Jiang, Shan Lu, Michael Maire:
Automatic and Efficient Customization of Neural Networks for ML Applications. CoRR abs/2310.04685 (2023) - [i6]Yuhan Liu, Hanchen Li, Kuntai Du, Jiayi Yao, Yihua Cheng, Yuyang Huang, Shan Lu, Michael Maire, Henry Hoffmann, Ari Holtzman, Ganesh Ananthanarayanan, Junchen Jiang:
CacheGen: Fast Context Loading for Language Model Applications. CoRR abs/2310.07240 (2023) - 2022
- [j15]Lefan Zhang, Cyrus Zhou, Michael L. Littman, Blase Ur, Shan Lu:
Helping Users Debug Trigger-Action Programs. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. 6(4): 196:1-196:32 (2022) - [c86]Chengcheng Wan, Shicheng Liu, Sophie Xie, Yifan Liu, Henry Hoffmann, Michael Maire, Shan Lu:
Automated Testing of Software that Uses Machine Learning APIs. ICSE 2022: 212-224 - [c85]Ahsan Pervaiz, Yao-Hsiang Yang, Adam Duracz, Ferenc A. Bartha, Ryuichi Sai, Connor Imes, Robert Cartwright, Krishna V. Palem, Shan Lu, Henry Hoffmann:
GOAL: Supporting General and Dynamic Adaptation in Computing Systems. Onward! 2022: 16-32 - [c84]Chenxi Wang, Haoran Ma, Shi Liu, Yifan Qiao, Jonathan Eyolfson, Christian Navasca, Shan Lu, Guoqing Harry Xu:
MemLiner: Lining up Tracing and Application for a Far-Memory-Friendly Runtime. OSDI 2022: 35-53 - [c83]Utsav Sethi, Haochen Pan, Shan Lu, Madanlal Musuvathi, Suman Nath:
Cancellation in Systems: An Empirical Study of Task Cancellation Patterns and Failures. OSDI 2022: 127-141 - [c82]Shu Wang, Henry Hoffmann, Shan Lu:
AgileCtrl: a self-adaptive framework for configuration tuning. ESEC/SIGSOFT FSE 2022: 459-471 - [e4]Babak Falsafi, Michael Ferdman, Shan Lu, Thomas F. Wenisch:
ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022 - 4 March 2022. ACM 2022, ISBN 978-1-4503-9205-1 [contents] - [i5]Xiaoxuan Liu, Shuxian Wang, Mengzhu Sun, Sharon Lee, Sicheng Pan, Joshua Wu, Cong Yan, Junwen Yang, Shan Lu, Alvin Cheung:
Leveraging Application Data Constraints to Optimize Database-Backed Web Applications. CoRR abs/2205.02954 (2022) - 2021
- [c81]Guangpu Li, Dongjie Chen, Shan Lu, Madanlal Musuvathi, Suman Nath:
SherLock: unsupervised synchronization-operation inference. ASPLOS 2021: 314-328 - [c80]Valerie Zhao, Lefan Zhang, Bo Wang, Michael L. Littman, Shan Lu, Blase Ur:
Understanding Trigger-Action Programs Through Novel Visualizations of Program Differences. CHI 2021: 312:1-312:17 - [c79]Chengcheng Wan, Shicheng Liu, Henry Hoffmann, Michael Maire, Shan Lu:
Are Machine Learning Cloud APIs Used Correctly? ICSE 2021: 125-137 - [c78]Chengcheng Wan, Shicheng Liu, Henry Hoffmann, Michael Maire, Shan Lu:
A Replication of Are Machine Learning Cloud APIs Used Correctly. ICSE (Companion Volume) 2021: 158-159 - [c77]Sophie Xie, Junwen Yang, Shan Lu:
Automated Code Refactoring upon Database-Schema Changes in Web Applications. ASE 2021: 1262-1265 - [c76]Yongle Zhang, Junwen Yang, Zhuqi Jin, Utsav Sethi, Kirk Rodrigues, Shan Lu, Ding Yuan:
Understanding and Detecting Software Upgrade Failures in Distributed Systems. SOSP 2021: 116-131 - 2020
- [j14]Lefan Zhang, Weijia He, Olivia Morkved, Valerie Zhao, Michael L. Littman, Shan Lu, Blase Ur:
Trace2TAP: Synthesizing Trigger-Action Programs from Traces of Behavior. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. 4(3): 104:1-104:26 (2020) - [j13]Wei Yuan, Shan Lu, Hailong Sun, Xudong Liu:
How are distributed bugs diagnosed and fixed through system logs? Inf. Softw. Technol. 119 (2020) - [c75]Valerie Zhao, Lefan Zhang, Bo Wang, Shan Lu, Blase Ur:
Visualizing Differences to Improve End-User Understanding of Trigger-Action Programs. CHI Extended Abstracts 2020: 1-10 - [c74]Cong Yan, Alvin Cheung, Junwen Yang, Shan Lu:
View-Driven Optimization of Database-Backed Web Applications. CIDR 2020 - [c73]Chi Li, Shu Wang, Henry Hoffmann, Shan Lu:
Statically inferring performance properties of software configurations. EuroSys 2020: 10:1-10:16 - [c72]Chengcheng Wan, Henry Hoffmann, Shan Lu, Michael Maire:
Orthogonalized SGD and Nested Architectures for Anytime Neural Networks. ICML 2020: 9807-9817 - [c71]Junwen Yang, Utsav Sethi, Cong Yan, Alvin Cheung, Shan Lu:
Managing data constraints in database-backed web applications. ICSE (Companion Volume) 2020: 302-303 - [c70]Junwen Yang, Utsav Sethi, Cong Yan, Alvin Cheung, Shan Lu:
Managing data constraints in database-backed web applications. ICSE 2020: 1098-1109 - [c69]Rahmadi Trimananda, Seyed Amir Hossein Aqajari, Jason Chuang, Brian Demsky, Guoqing Harry Xu, Shan Lu:
Understanding and automatically detecting conflicting interactions between smart home IoT applications. ESEC/SIGSOFT FSE 2020: 1215-1227 - [c68]Chengcheng Wan, Muhammad Husni Santriaji, Eri Rogers, Henry Hoffmann, Michael Maire, Shan Lu:
ALERT: Accurate Learning for Energy and Timeliness. USENIX ATC 2020: 353-369 - [i4]Chengcheng Wan, Henry Hoffmann, Shan Lu, Michael Maire:
Orthogonalized SGD and Nested Architectures for Anytime Neural Networks. CoRR abs/2008.06635 (2020)
2010 – 2019
- 2019
- [j12]Ting Dai, Daniel Joseph Dean, Peipei Wang, Xiaohui Gu, Shan Lu:
Hytrace: A Hybrid Approach to Performance Bug Diagnosis in Production Cloud Infrastructures. IEEE Trans. Parallel Distributed Syst. 30(1): 107-118 (2019) - [j11]Yuxi Chen, Shu Wang, Shan Lu, Karthikeyan Sankaralingam:
Applying Transactional Memory for Concurrency-Bug Failure Recovery in Production Runs. IEEE Trans. Parallel Distributed Syst. 30(5): 990-1006 (2019) - [c67]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:
FlyMC: Highly Scalable Testing of Complex Interleavings in Distributed Systems. EuroSys 2019: 20:1-20:16 - [c66]Cesar A. Stuardo, Tanakorn Leesatapornwongsa, Riza O. Suminto, Huan Ke, Jeffrey F. Lukman, Wei-Chiu Chuang, Shan Lu, Haryadi S. Gunawi:
ScaleCheck: A Single-Machine Approach for Discovering Scalability Bugs in Large Distributed Systems. FAST 2019: 359-373 - [c65]Haopeng Liu, Shan Lu, Madan Musuvathi, Suman Nath:
What bugs cause production cloud incidents? HotOS 2019: 155-162 - [c64]Lefan Zhang, Weijia He, Jesse J. Martinez, Noah Brackenbury, Shan Lu, Blase Ur:
AutoTap: synthesizing and repairing trigger-action programs using LTL properties. ICSE 2019: 281-291 - [c63]Junwen Yang, Cong Yan, Chengcheng Wan, Shan Lu, Alvin Cheung:
View-centric performance optimization for database-backed web applications. ICSE 2019: 994-1004 - [c62]Guangpu Li, Haopeng Liu, Xianglan Chen, Haryadi S. Gunawi, Shan Lu:
DFix: automatically fixing timing bugs in distributed systems. PLDI 2019: 994-1009 - [c61]Guangpu Li, Shan Lu, Madanlal Musuvathi, Suman Nath, Rohan Padhye:
Efficient scalable thread-safety-violation detection: finding thousands of concurrency bugs during testing. SOSP 2019: 162-180 - [c60]Christian Navasca, Cheng Cai, Khanh Nguyen, Brian Demsky, Shan Lu, Miryung Kim, Guoqing Harry Xu:
Gerenuk: thin computation over big native data using speculative program transformation. SOSP 2019: 538-553 - [i3]Chengcheng Wan, Muhammad Husni Santriaji, Eri Rogers, Henry Hoffmann, Michael Maire, Shan Lu:
ALERT: Accurate Anytime Learning for Energy and Timeliness. CoRR abs/1911.00119 (2019) - 2018
- [c59]Khanh Nguyen, Lu Fang, Christian Navasca, Guoqing Xu, Brian Demsky, Shan Lu:
Skyway: Connecting Managed Heaps in Distributed Big Data Systems. ASPLOS 2018: 56-69 - [c58]Shu Wang, Chi Li, Henry Hoffmann, Shan Lu, William Sentosa, Achmad Imam Kistijantoro:
Understanding and Auto-Adjusting Performance-Sensitive Configurations. ASPLOS 2018: 154-168 - [c57]Haopeng Liu, Xu Wang, Guangpu Li, Shan Lu, Feng Ye, Chen Tian:
FCatch: Automatically Detecting Time-of-fault Bugs in Cloud Systems. ASPLOS 2018: 419-431 - [c56]Ting Dai, Jingzhu He, Xiaohui Gu, Shan Lu, Peipei Wang:
DScope: Detecting Real-World Data Corruption Hang Bugs in Cloud Server Systems. SoCC 2018: 313-325 - [c55]Jiaxin Li, Yuxi Chen, Haopeng Liu, Shan Lu, Yiming Zhang, Haryadi S. Gunawi, Xiaohui Gu, Xicheng Lu, Dongsheng Li:
Pcatch: automatically detecting performance cascading bugs in cloud systems. EuroSys 2018: 7:1-7:14 - [c54]Ting Dai, Jingzhu He, Xiaohui Gu, Shan Lu:
Understanding Real-World Timeout Problems in Cloud Server Systems. IC2E 2018: 1-11 - [c53]Junwen Yang, Pranav Subramaniam, Shan Lu, Cong Yan, Alvin Cheung:
How not to structure your database-backed web applications: a study of performance bugs in the wild. ICSE 2018: 800-810 - [c52]Junwen Yang, Cong Yan, Pranav Subramaniam, Shan Lu, Alvin Cheung:
PowerStation: automatically detecting and fixing inefficiencies of database-backed web applications in IDE. ESEC/SIGSOFT FSE 2018: 884-887 - [c51]Yuxi Chen, Shu Wang, Shan Lu, Karthikeyan Sankaralingam:
Applying Hardware Transactional Memory for Concurrency-Bug Failure Recovery in Production Runs. USENIX ATC 2018: 837-850 - 2017
- [c50]Haopeng Liu, Guangpu Li, Jeffrey F. Lukman, Jiaxin Li, Shan Lu, Haryadi S. Gunawi, Chen Tian:
DCatch: Automatically Detecting Distributed Concurrency Bugs in Cloud Systems. ASPLOS 2017: 677-691 - [c49]Cong Yan, Alvin Cheung, Junwen Yang, Shan Lu:
Understanding Database Performance Inefficiencies in Real-world Web Applications. CIKM 2017: 1299-1308 - [c48]Ting Dai, Daniel Dean, Peipei Wang, Xiaohui Gu, Shan Lu:
Hytrace: a hybrid approach to performance bug diagnosis in production cloud infrastructures. SoCC 2017: 641 - [c47]Ankit Choudhary, Shan Lu, Michael Pradel:
Efficient detection of thread safety violations via coverage-guided generation of concurrent tests. ICSE 2017: 266-277 - [c46]Linhai Song, Shan Lu:
Performance diagnosis for inefficient loops. ICSE 2017: 370-380 - [c45]Tianyin Xu, Xinxin Jin, Peng Huang, Yuanyuan Zhou, Shan Lu, Long Jin, Shankar Pasupathy:
Early Detection of Configuration Errors to Reduce Failure Damage. USENIX ATC 2017 - [i2]Shu Wang, Chi Li, William Sentosa, Henry Hoffmann, Shan Lu:
Understanding and Auto-Adjusting Performance-Related Configurations. CoRR abs/1710.07628 (2017) - 2016
- [j10]Xusheng Xiao, Jian-Guang Lou, Shan Lu, David C. Shepherd, Xin Peng, Qianxiang Wang:
Roundtable: Research Opportunities and Challenges for Large-Scale Software Systems. J. Comput. Sci. Technol. 31(5): 851-860 (2016) - [j9]Mingxing Zhang, Yongwei Wu, Shan Lu, Shanxiang Qi, Jinglei Ren, Weimin Zheng:
A Lightweight System for Detecting and Tolerating Concurrency Bugs. IEEE Trans. Software Eng. 42(10): 899-917 (2016) - [c44]Tanakorn Leesatapornwongsa, Jeffrey F. Lukman, Shan Lu, Haryadi S. Gunawi:
TaxDC: A Taxonomy of Non-Deterministic Concurrency Bugs in Datacenter Distributed Systems. ASPLOS 2016: 517-530 - [c43]Zhiqiang Zuo, Lu Fang, Siau-Cheng Khoo, Guoqing Xu, Shan Lu:
Low-overhead and fully automated statistical debugging with abstraction refinement. OOPSLA 2016: 881-896 - [c42]Khanh Nguyen, Lu Fang, Guoqing Xu, Brian Demsky, Shan Lu, Sanazsadat Alamian, Onur Mutlu:
Yak: A High-Performance Big-Data-Friendly Garbage Collector. OSDI 2016: 349-365 - [c41]Tianyin Xu, Xinxin Jin, Peng Huang, Yuanyuan Zhou, Shan Lu, Long Jin, Shankar Pasupathy:
Early Detection of Configuration Errors to Reduce Failure Damage. OSDI 2016: 619-634 - [c40]Haopeng Liu, Yuxi Chen, Shan Lu:
Understanding and generating high quality patches for concurrency bugs. SIGSOFT FSE 2016: 715-726 - [c39]Peipei Wang, Hiep Nguyen, Xiaohui Gu, Shan Lu:
RDE: Replay DEbugging for Diagnosing Production Site Failures. SRDS 2016: 327-336 - [i1]Cong Yan, Zewei Chu, Alvin Cheung, Shan Lu:
Database-Backed Applications in the Wild: How Well Do They Work? CoRR abs/1607.02561 (2016) - 2015
- [j8]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:
Fixing, preventing, and recovering from concurrency bugs. Sci. China Inf. Sci. 58(5): 1-18 (2015) - [c38]Adrian Nistor, Po-Chun Chang, Cosmin Radoi, Shan Lu:
CARAMEL: Detecting and Fixing Performance Problems That Have Non-Intrusive Fixes. ICSE (1) 2015: 902-912 - [c37]Rui Gu, Guoliang Jin, Linhai Song, Linjie Zhu, Shan Lu:
What change history tells us about thread synchronization. ESEC/SIGSOFT FSE 2015: 426-438 - [c36]Lu Fang, Khanh Nguyen, Guoqing Xu, Brian Demsky, Shan Lu:
Interruptible tasks: treating memory pressure as interrupts for highly scalable data-parallel programs. SOSP 2015: 394-409 - [e3]Shan Lu:
Proceedings of the 8th Workshop on Programming Languages and Operating Systems, PLOS 2015, Monterey, California, USA, October 4, 2015. ACM 2015, ISBN 978-1-4503-3942-1 [contents] - [e2]Shan Lu, Erik Riedel:
Proceedings of the 2015 USENIX Annual Technical Conference, USENIX ATC 2015, July 8-10, Santa Clara, CA, USA. USENIX Association 2015, ISBN 978-1-931971-225 [contents] - 2014
- [j7]Lanyue Lu, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Shan Lu:
A Study of Linux File System Evolution. ACM Trans. Storage 10(1): 3:1-3:32 (2014) - [c35]Joy Arulraj, Guoliang Jin, Shan Lu:
Leveraging the short-term memory of hardware to diagnose production-run software failures. ASPLOS 2014: 207-222 - [c34]Linhai Song, Shan Lu:
Statistical debugging for real-world performance problems. OOPSLA 2014: 561-578 - [c33]Mingxing Zhang, Yongwei Wu, Shan Lu, Shanxiang Qi, Jinglei Ren, Weimin Zheng:
AI: a lightweight system for tolerating concurrency bugs. SIGSOFT FSE 2014: 330-340 - [e1]Harry Xu, Tao Xie, Shan Lu, Dongmei Zhang, Santosh Nagarakatte, Christoph Csallner:
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. ACM 2014, ISBN 978-1-4503-2934-7 [contents] - 2013
- [j6]Wei Zhang, Chong Sun, Junghee Lim, Shan Lu, Thomas W. Reps:
ConMem: Detecting Crash-Triggering Concurrency Bugs through an Effect-Oriented Approach. ACM Trans. Softw. Eng. Methodol. 22(2): 10:1-10:33 (2013) - [j5]Lanyue Lu, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Shan Lu:
A Study of Linux File System Evolution. login Usenix Mag. 38(3) (2013) - [c32]Joy Arulraj, Po-Chun Chang, Guoliang Jin, Shan Lu:
Production-run software failure diagnosis via hardware performance counters. ASPLOS 2013: 101-112 - [c31]Wei Zhang, Marc de Kruijf, Ang Li, Shan Lu, Karthikeyan Sankaralingam:
ConAir: featherweight concurrency bug recovery via single-threaded idempotent execution. ASPLOS 2013: 113-126 - [c30]William R. Harris, Guoliang Jin, Shan Lu, Somesh Jha:
Validating Library Usage Interactively. CAV 2013: 796-812 - [c29]Lanyue Lu, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Shan Lu:
A study of Linux file system evolution. FAST 2013: 31-44 - [c28]Adrian Nistor, Linhai Song, Darko Marinov, Shan Lu:
Toddler: detecting performance problems via similar memory-access patterns. ICSE 2013: 562-571 - [c27]Dongdong Deng, Wei Zhang, Shan Lu:
Efficient concurrency-bug detection across inputs. OOPSLA 2013: 785-802 - 2012
- [j4]Shan Lu, Soyeon Park, Yuanyuan Zhou:
Detecting Concurrency Bugs from the Perspectives of Synchronization Intentions. IEEE Trans. Parallel Distributed Syst. 23(6): 1060-1072 (2012) - [j3]Shan Lu, Soyeon Park, Yuanyuan Zhou:
Finding Atomicity-Violation Bugs through Unserializable Interleaving Testing. IEEE Trans. Software Eng. 38(4): 844-860 (2012) - [c26]Haris Volos, Andres Jaan Tack, Michael M. Swift, Shan Lu:
Applying transactional memory to concurrency bugs. ASPLOS 2012: 211-222 - [c25]Dongdong Deng, Wei Zhang, Borui Wang, Peisen Zhao, Shan Lu:
Understanding the Interleaving-Space Overlap across Inputs and Software Versions. HotPar 2012 - [c24]Guoliang Jin, Linhai Song, Xiaoming Shi, Joel Scherpelz, Shan Lu:
Understanding and detecting real-world performance bugs. PLDI 2012: 77-88 - 2011
- [c23]Wei Zhang, Junghee Lim, Ramya Olichandran, Joel Scherpelz, Guoliang Jin, Shan Lu, Thomas W. Reps:
ConSeq: detecting concurrency bugs through sequential errors. ASPLOS 2011: 251-264 - [c22]Guoliang Jin, Linhai Song, Wei Zhang, Shan Lu, Ben Liblit:
Automated atomicity-violation fixing. PLDI 2011: 389-400 - 2010
- [c21]Wei Zhang, Chong Sun, Shan Lu:
ConMem: detecting severe concurrency bugs through an effect-oriented approach. ASPLOS 2010: 179-192 - [c20]Yao Shi, Soyeon Park, Zuoning Yin, Shan Lu, Yuanyuan Zhou, Wenguang Chen, Weimin Zheng:
Do I use the wrong definition?: DeFuse: definition-use invariants for detecting concurrency and sequential bugs. OOPSLA 2010: 160-174 - [c19]Guoliang Jin, Aditya V. Thakur, Ben Liblit, Shan Lu:
Instrumentation and sampling strategies for cooperative concurrency bug isolation. OOPSLA 2010: 241-255 - [c18]Yadi Ma, Suman Banerjee, Shan Lu, Cristian Estan:
Leveraging parallelism for multi-dimensional packetclassification on software routers. SIGMETRICS 2010: 227-238
2000 – 2009
- 2009
- [c17]Soyeon Park, Shan Lu, Yuanyuan Zhou:
CTrigger: exposing atomicity violation bugs from their hiding places. ASPLOS 2009: 25-36 - [c16]Aditya V. Thakur, Rathijit Sen, Ben Liblit, Shan Lu:
Cooperative crug isolation. WODA 2009: 35-41 - [c15]Soyeon Park, Yuanyuan Zhou, Weiwei Xiong, Zuoning Yin, Rini Kaushik, Kyu H. Lee, Shan Lu:
PRES: probabilistic replay with execution sketching on multiprocessors. SOSP 2009: 177-192 - 2008
- [c14]Shan Lu, Soyeon Park, Eunsoo Seo, Yuanyuan Zhou:
Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. ASPLOS 2008: 329-339 - 2007
- [j2]Shan Lu, Joseph A. Tucek, Feng Qin, Yuanyuan Zhou:
AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants. IEEE Micro 27(1): 26-35 (2007) - [c13]Joseph A. Tucek, James Newsome, Shan Lu, Chengdu Huang, Spiros Xanthos, David Brumley, Yuanyuan Zhou, Dawn Xiaodong Song:
Sweeper: a lightweight end-to-end system for defending against fast worms. EuroSys 2007: 115-128 - [c12]Shan Lu, Weihang Jiang, Yuanyuan Zhou:
A study of interleaving coverage criteria. ESEC/SIGSOFT FSE 2007: 533-536 - [c11]Shan Lu, Soyeon Park, Chongfeng Hu, Xiao Ma, Weihang Jiang, Zhenmin Li, Raluca A. Popa, Yuanyuan Zhou:
MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs. SOSP 2007: 103-116 - [c10]Joseph A. Tucek, Shan Lu, Chengdu Huang, Spiros Xanthos, Yuanyuan Zhou:
Triage: diagnosing production run failures at the user's site. SOSP 2007: 131-144 - 2006
- [j1]Zhenmin Li, Shan Lu, Suvda Myagmar, Yuanyuan Zhou:
CP-Miner: Finding Copy-Paste and Related Bugs in Large-Scale Software Code. IEEE Trans. Software Eng. 32(3): 176-192 (2006) - [c9]Zhenmin Li, Lin Tan, Xuanhui Wang, Shan Lu, Yuanyuan Zhou, Chengxiang Zhai:
Have things changed now?: an empirical study of bug characteristics in modern open source software. ASID 2006: 25-33 - [c8]Shan Lu, Joseph A. Tucek, Feng Qin, Yuanyuan Zhou:
AVIO: detecting atomicity violations via access interleaving invariants. ASPLOS 2006: 37-48 - [c7]Joseph A. Tucek, Shan Lu, Chengdu Huang, Spiros Xanthos, Yuanyuan Zhou:
Automatic On-line Failure Diagnosis at the End-User Site. HotDep 2006 - [c6]Shan Lu, Pin Zhou, Wei Liu, Yuanyuan Zhou, Josep Torrellas:
PathExpander: Architectural Support for Increasing the Path Coverage of Dynamic Bug Detection. MICRO 2006: 38-52 - [c5]Chad Verbowski, Emre Kiciman, Arunvijay Kumar, Brad Daniels, Shan Lu, Juhan Lee, Yi-Min Wang, Roussi Roussev:
Flight Data Recorder: Monitoring Persistent-State Interactions to Improve Systems Management. OSDI 2006: 117-130 - [c4]Chad Verbowski, Emre Kiciman, Brad Daniels, Yi-Min Wang, Roussi Roussev, Shan Lu, Juhan Lee:
Analyzing persistent state interactions to improve state management. SIGMETRICS/Performance 2006: 363-364 - 2005
- [c3]Feng Qin, Shan Lu, Yuanyuan Zhou:
SafeMem: Exploiting ECC-Memory for Detecting Memory Leaks and Memory Corruption During Production Runs. HPCA 2005: 291-302 - 2004
- [c2]Pin Zhou, Wei Liu, Long Fei, Shan Lu, Feng Qin, Yuanyuan Zhou, Samuel P. Midkiff, Josep Torrellas:
AccMon: Automatically Detecting Memory-Related Bugs via Program Counter-Based Invariants. MICRO 2004: 269-280 - [c1]Zhenmin Li, Shan Lu, Suvda Myagmar, Yuanyuan Zhou:
CP-Miner: A Tool for Finding Copy-paste and Related Bugs in Operating System Code. OSDI 2004: 289-302
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-30 20:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint