Travelled to:1 × Croatia
1 × Germany
1 × Russia
1 × Spain
1 × Sweden
1 × United Kingdom
19 × USA
2 × China
2 × Italy
Collaborated with:Y.Zhou G.Jin L.Song W.Zhang S.Park H.Liu S.Igi H.S.Gunawi J.Arulraj F.Qin L.Fang G.(.Xu Guangpu Li A.Nistor P.Chang K.Imagawa W.Jiang B.Liblit J.Tucek J.F.Lukman Z.Li K.Nguyen B.Demsky J.Scherpelz D.Deng C.Sun Y.Chen W.Zheng C.T.0002 Z.Yin C.Radoi W.R.Harris S.Jha D.Marinov H.Volos A.J.Tack M.M.Swift A.V.Thakur E.Seo S.Myagmar H.Sakato T.Uezono T.Leesatapornwongsa H.Su C.Johnsson H.Shao L.Xie R.Gu L.Zhu M.d.Kruijf A.Li K.Sankaralingam X.Shi C.Huang S.Xanthos J.Yang C.Yan P.Subramaniam A.Cheung Z.Z.0002 S.Khoo Xianglan Chen M.Zhang Y.Wu S.Qi J.Ren H.Matsuo R.Taniguchi D.Arita X.Wang Feng Ye Christian Navasca S.Wang C.Li H.Hoffmann William Sentosa Achmad Imam Kistijantoro J.Lim R.Olichandran T.W.Reps Y.Shi W.Chen W.Xiong R.Kaushik K.H.Lee J.Li C.Hu X.Ma R.A.Popa C.Verbowski E.Kiciman A.Kumar B.Daniels J.Lee Y.Wang R.Roussev
Talks about:bug (18) concurr (13) detect (13) system (10) memori (7) product (6) perform (6) fix (6) automat (5) distribut (4)
Person: Shan Lu
DBLP: Lu:Shan
Contributed to:
2015
2015
2015
2015
2014
2014
20142013
2013201320132012
20122011201120102010200920092008200720072006
2006
20052004
2000
199919972016201820162019201620172018Wrote 41 papers:
- CASE-2015-LuSJSX #approach #multi #nondeterminism #programming
- A chance constrained programming approach for multi-product multi-stage integrated production planning under internal and external uncertainties (SL, HS, CJ, HS, LX), pp. 880–885.
- ESEC-FSE-2015-GuJSZL #concurrent #thread #what
- What change history tells us about thread synchronization (RG, GJ, LS, LZ, SL), pp. 426–438.
- ICSE-v1-2015-NistorCRL #detection #named #performance #problem
- CARAMEL: Detecting and Fixing Performance Problems That Have Non-Intrusive Fixes (AN, PCC, CR, SL), pp. 902–912.
- SOSP-2015-FangNXDL #memory management #scalability #source code
- Interruptible tasks: treating memory pressure as interrupts for highly scalable data-parallel programs (LF, KN, G(X, BD, SL), pp. 394–409.
- ASPLOS-2014-ArulrajJL #hardware #memory management
- Leveraging the short-term memory of hardware to diagnose production-run software failures (JA, GJ, SL), pp. 207–222.
- FSE-2014-ZhangWLQRZ #concurrent #debugging #lightweight #named
- AI: a lightweight system for tolerating concurrency bugs (MZ, YW, SL, SQ, JR, WZ), pp. 330–340.
- OOPSLA-2014-SongL #debugging #performance #problem #statistics
- Statistical debugging for real-world performance problems (LS, SL), pp. 561–578.
- ASPLOS-2013-ArulrajCJL #hardware #performance
- Production-run software failure diagnosis via hardware performance counters (JA, PCC, GJ, SL), pp. 101–112.
- ASPLOS-2013-ZhangKLLS #concurrent #debugging #execution #named #thread
- ConAir: featherweight concurrency bug recovery via single-threaded idempotent execution (WZ, MdK, AL, SL, KS), pp. 113–126.
- CAV-2013-HarrisJLJ #library #validation
- Validating Library Usage Interactively (WRH, GJ, SL, SJ), pp. 796–812.
- ICSE-2013-NistorSML #data access #detection #named #performance #problem
- Toddler: detecting performance problems via similar memory-access patterns (AN, LS, DM, SL), pp. 562–571.
- OOPSLA-2013-Deng0L #detection #performance
- Efficient concurrency-bug detection across inputs (DD, WZ, SL), pp. 785–802.
- ASPLOS-2012-VolosTSL #concurrent #debugging #memory management #transaction
- Applying transactional memory to concurrency bugs (HV, AJT, MMS, SL), pp. 211–222.
- PLDI-2012-JinSSSL #comprehension #debugging #detection #performance
- Understanding and detecting real-world performance bugs (GJ, LS, XS, JS, SL), pp. 77–88.
- ASPLOS-2011-ZhangLOSJLR #concurrent #debugging #detection #fault #named
- ConSeq: detecting concurrency bugs through sequential errors (WZ, JL, RO, JS, GJ, SL, TWR), pp. 251–264.
- PLDI-2011-JinSZLL #automation
- Automated atomicity-violation fixing (GJ, LS, WZ, SL, BL), pp. 389–400.
- ASPLOS-2010-ZhangSL #approach #concurrent #debugging #detection #named
- ConMem: detecting severe concurrency bugs through an effect-oriented approach (WZ, CS, SL), pp. 179–192.
- OOPSLA-2010-JinTLL #concurrent #debugging
- Instrumentation and sampling strategies for cooperative concurrency bug isolation (GJ, AVT, BL, SL), pp. 241–255.
- OOPSLA-2010-ShiPYLZCZ #concurrent #debugging #detection #invariant
- Do I use the wrong definition?: DeFuse: definition-use invariants for detecting concurrency and sequential bugs (YS, SP, ZY, SL, YZ, WC, WZ), pp. 160–174.
- ASPLOS-2009-ParkLZ #debugging #named
- CTrigger: exposing atomicity violation bugs from their hiding places (SP, SL, YZ), pp. 25–36.
- SOSP-2009-ParkZXYKLL #execution #multi #named #probability #sketching
- PRES: probabilistic replay with execution sketching on multiprocessors (SP, YZ, WX, ZY, RK, KHL, SL), pp. 177–192.
- ASPLOS-2008-LuPSZ #concurrent #debugging #learning
- Learning from mistakes: a comprehensive study on real world concurrency bug characteristics (SL, SP, ES, YZ), pp. 329–339.
- ESEC-FSE-2007-LuJZ #case study #test coverage
- A study of interleaving coverage criteria (SL, WJ, YZ), pp. 533–536.
- SOSP-2007-LuPHMJLPZ #automation #concurrent #correlation #debugging #detection #multi #named #semantics
- MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs (SL, SP, CH, XM, WJ, ZL, RAP, YZ), pp. 103–116.
- SOSP-2007-TucekLHXZ #named
- Triage: diagnosing production run failures at the user’s site (JT, SL, CH, SX, YZ), pp. 131–144.
- ASPLOS-2006-LuTQZ #detection #invariant #named
- AVIO: detecting atomicity violations via access interleaving invariants (SL, JT, FQ, YZ), pp. 37–48.
- OSDI-2006-VerbowskiKKDLLWR #interactive #monitoring
- Flight Data Recorder: Monitoring Persistent-State Interactions to Improve Systems Management (CV, EK, AK, BD, SL, JL, YMW, RR), pp. 117–130.
- HPCA-2005-QinLZ #detection #memory management #named
- SafeMem: Exploiting ECC-Memory for Detecting Memory Leaks and Memory Corruption During Production Runs (FQ, SL, YZ), pp. 291–302.
- OSDI-2004-LiLMZ #debugging #named #operating system
- CP-Miner: A Tool for Finding Copy-paste and Related Bugs in Operating System Code (ZL, SL, SM, YZ), pp. 289–302.
- ICPR-v4-2000-ImagawaMTALI #recognition
- Recognition of Local Features for Camera-Based Sign Language Recognition System (KI, HM, RiT, DA, SL, SI), pp. 4849–4853.
- HCI-EI-1999-LuSUI
- A New Method to Synthesize Japanese Sign Language Based on Intuitive Motion Primitives (SL, HS, TU, SI), pp. 441–445.
- HCI-SEC-1997-LuII
- An Active Gazing-Line System for Improving Sign-Language Conversation (SL, KI, SI), pp. 283–286.
- FSE-2016-LiuCL #comprehension #concurrent #debugging #generative #quality
- Understanding and generating high quality patches for concurrency bugs (HL, YC, SL), pp. 715–726.
- ESEC-FSE-2018-YangYSLC #automation #detection #ide #named #web
- PowerStation: automatically detecting and fixing inefficiencies of database-backed web applications in IDE (JY, CY, PS, SL, AC), pp. 884–887.
- OOPSLA-2016-ZuoFKXL #abstraction #automation #debugging #refinement #statistics
- Low-overhead and fully automated statistical debugging with abstraction refinement (ZZ0, LF, SCK, G(X, SL), pp. 881–896.
- PLDI-2019-LiLCGL #automation #debugging #distributed #named
- DFix: automatically fixing timing bugs in distributed systems (GL, HL, XC, HSG, SL), pp. 994–1009.
- ASPLOS-2016-Leesatapornwongsa #concurrent #debugging #distributed #named #nondeterminism #taxonomy
- TaxDC: A Taxonomy of Non-Deterministic Concurrency Bugs in Datacenter Distributed Systems (TL, JFL, SL, HSG), pp. 517–530.
- ASPLOS-2017-LiuLLLLGT #automation #concurrent #debugging #detection #distributed #named
- DCatch: Automatically Detecting Distributed Concurrency Bugs in Cloud Systems (HL, GL, JFL, JL, SL, HSG, CT0), pp. 677–691.
- ASPLOS-2018-LiuWLLYT #automation #debugging #detection #named
- FCatch: Automatically Detecting Time-of-fault Bugs in Cloud Systems (HL, XW, GL, SL, FY, CT0), pp. 419–431.
- ASPLOS-2018-NguyenFNXDL #big data #distributed #named
- Skyway: Connecting Managed Heaps in Distributed Big Data Systems (KN, LF, CN, G(X, BD, SL), pp. 56–69.
- ASPLOS-2018-WangLHLSK #comprehension
- Understanding and Auto-Adjusting Performance-Sensitive Configurations (SW, CL, HH, SL, WS, AIK), pp. 154–168.