2019 - ACM Distinguished Member
2014 - Fellow of Alfred P. Sloan Foundation
His scientific interests lie mostly in Operating system, Software bug, Concurrency, Bebugging and Software. His Software bug research is multidisciplinary, incorporating elements of Compiler and Stack buffer overflow. His study with Concurrency involves better knowledge in Programming language.
The Programming language study combines topics in areas such as Semantics and Dependability. His Bebugging research includes elements of Code, Code refactoring and Code coverage. His study in Software is interdisciplinary in nature, drawing from both Software engineering and Component.
His scientific interests lie mostly in Concurrency, Software, Operating system, Distributed computing and Debugging. His work deals with themes such as Synchronization, Multi-core processor, Thread and Bebugging, which intersect with Concurrency. His Bebugging study deals with Code coverage intersecting with Code refactoring.
Shan Lu has researched Software in several fields, including Latency, Real-time computing, Static analysis, Embedded system and Source code. The various areas that Shan Lu examines in his Distributed computing study include Scalability, Cloud computing, Set and Reliability. His Debugging study integrates concerns from other disciplines, such as False positive paradox, User interface, Reliability engineering, Low overhead and Syntax.
Shan Lu spends much of his time researching Software, Artificial intelligence, Cloud computing, Distributed computing and Concurrency. His research in Software intersects with topics in Real-time computing, Static analysis, Oracle and System dynamics. His work carried out in the field of Static analysis brings together such families of science as Software bug, Software system, Performance tuning, Operating system and Software configuration management.
His Software bug research incorporates themes from Thread and Concurrent computing. His Cloud computing research includes themes of Linear temporal logic, Programming language, Program synthesis and Server. His research investigates the link between Concurrency and topics such as Synchronization that cross with problems in False positive paradox, Computer engineering, Correctness and Set.
Shan Lu mainly investigates Distributed computing, Cloud computing, Code, Reliability and Scalability. His Distributed computing research integrates issues from Node, Software and Taxonomy. His research integrates issues of Linear temporal logic, Programming language and Program synthesis in his study of Cloud computing.
His Code research is multidisciplinary, relying on both Web application and Web page, HTML element. Shan Lu combines subjects such as Synchronization, False positive paradox and Concurrency with his study of Reliability. His work carried out in the field of Scalability brings together such families of science as Event and State.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Learning from mistakes: a comprehensive study on real world concurrency bug characteristics
Shan Lu;Soyeon Park;Eunsoo Seo;Yuanyuan Zhou.
architectural support for programming languages and operating systems (2008)
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 (2006)
CP-Miner: a tool for finding copy-paste and related bugs in operating system code
Zhenmin Li;Shan Lu;Suvda Myagmar;Yuanyuan Zhou.
operating systems design and implementation (2004)
AVIO: detecting atomicity violations via access interleaving invariants
S. Lu;J. Tucek;F. Qin;Y. Zhou.
architectural support for programming languages and operating systems (2006)
Understanding and detecting real-world performance bugs
Guoliang Jin;Linhai Song;Xiaoming Shi;Joel Scherpelz.
programming language design and implementation (2012)
CTrigger: exposing atomicity violation bugs from their hiding places
Soyeon Park;Shan Lu;Yuanyuan Zhou.
architectural support for programming languages and operating systems (2009)
Have things changed now?: an empirical study of bug characteristics in modern open source software
Zhenmin Li;Lin Tan;Xuanhui Wang;Shan Lu.
Proceedings of the 1st workshop on Architectural and system support for improving software dependability (2006)
PRES: probabilistic replay with execution sketching on multiprocessors
Soyeon Park;Yuanyuan Zhou;Weiwei Xiong;Zuoning Yin.
symposium on operating systems principles (2009)
MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs
Shan Lu;Soyeon Park;Chongfeng Hu;Xiao Ma.
symposium on operating systems principles (2007)
Automated atomicity-violation fixing
Guoliang Jin;Linhai Song;Wei Zhang;Shan Lu.
programming language design and implementation (2011)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: