Shan Lu
Shan Lu
Professor of Computer Science, University of Chicago
Email verificata su uchicago.edu - Home page
Titolo
Citata da
Citata da
Anno
Learning from mistakes: a comprehensive study on real world concurrency bug characteristics
S Lu, S Park, E Seo, Y Zhou
ACM SIGARCH Computer Architecture News 36 (1), 329-339, 2008
9412008
CP-Miner: Finding copy-paste and related bugs in large-scale software code
Z Li, S Lu, S Myagmar, Y Zhou
IEEE Transactions on software Engineering 32 (3), 176-192, 2006
6552006
AVIO: detecting atomicity violations via access interleaving invariants
S Lu, J Tucek, F Qin, Y Zhou
ACM SIGARCH Computer Architecture News 34 (5), 37-48, 2006
4612006
CP-Miner: A Tool for Finding Copy-paste and Related Bugs in Operating System Code.
Z Li, S Lu, S Myagmar, Y Zhou
OSDI 4 (19), 289-302, 2004
4262004
CTrigger: exposing atomicity violation bugs from their hiding places
S Park, S Lu, Y Zhou
ACM Sigplan Notices 44 (3), 25-36, 2009
3262009
Understanding and detecting real-world performance bugs
G Jin, L Song, X Shi, J Scherpelz, S Lu
ACM SIGPLAN Notices 47 (6), 77-88, 2012
2902012
Have things changed now?
Z Li, L Tan, X Wang, S Lu, Y Zhou, C Zhai
An empirical study of bug characteristics in modern open source software. In …, 2006
288*2006
Have things changed now?: an empirical study of bug characteristics in modern open source software
Z Li, L Tan, X Wang, S Lu, Y Zhou, C Zhai
Proceedings of the 1st workshop on Architectural and system support for …, 2006
2852006
PRES: probabilistic replay with execution sketching on multiprocessors
S Park, Y Zhou, W Xiong, Z Yin, R Kaushik, KH Lee, S Lu
Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles …, 2009
2692009
Bugbench: Benchmarks for evaluating bug detection tools
S Lu, Z Li, F Qin, L Tan, P Zhou, Y Zhou
Workshop on the Evaluation of Software Defect Detection Tools, 1-5, 2005
2402005
MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs
S Lu, S Park, C Hu, X Ma, W Jiang, Z Li, RA Popa, Y Zhou
ACM SIGOPS Operating Systems Review 41 (6), 103-116, 2007
2302007
MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs
S Lu, S Park, C Hu, X Ma, W Jiang, Z Li, RA Popa, Y Zhou
ACM SIGOPS Operating Systems Review 41 (6), 103-116, 2007
2302007
Automated atomicity-violation fixing
G Jin, L Song, W Zhang, S Lu, B Liblit
ACM SIGPLAN Notices 46 (6), 389-400, 2011
2122011
SafeMem: Exploiting ECC-memory for detecting memory leaks and memory corruption during production runs
F Qin, S Lu, Y Zhou
11th International Symposium on High-Performance Computer Architecture, 291-302, 2005
2122005
Triage: diagnosing production run failures at the user's site
J Tucek, S Lu, C Huang, S Xanthos, Y Zhou
ACM SIGOPS Operating Systems Review 41 (6), 131-144, 2007
1712007
Accmon: Automatically detecting memory-related bugs via program counter-based invariants
P Zhou, W Liu, L Fei, S Lu, F Qin, Y Zhou, S Midkiff, J Torrellas
Proceedings of the 37th annual IEEE/ACM International Symposium on …, 2004
1622004
Automated concurrency-bug fixing
G Jin, W Zhang, D Deng
Presented as part of the 10th {USENIX} Symposium on Operating Systems Design …, 2012
1552012
Toddler: detecting performance problems via similar memory-access patterns
A Nistor, L Song, D Marinov, S Lu
Proceedings of the 2013 International Conference on Software Engineering …, 2013
1442013
A Study of Linux File System Evolution
L Lu, AC Arpaci-Dusseau, RH Arpaci-Dusseau, S Lu
Proceedings of the 11th USENIX Symposium on File and Storage Technologies …, 2013
1402013
ConMem: detecting severe concurrency bugs through an effect-oriented approach
W Zhang, C Sun, S Lu
ACM SIGARCH Computer Architecture News 38 (1), 179-192, 2010
1262010
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20