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 Lahiri, Tao Xie, Lidong Zhou
October 2024
Lidong Zhou
Corporate Vice President, Chief Scientist of Microsoft Asia Pacific R&D Group, Managing Director of Microsoft Research Asia
Publications
Publications by Year
-
nnScaler: Constraint-Guided Parallelization Plan Generation for Deep Learning Training
Zhiqi Lin, Youshan Miao, Quanlu Zhang, Fan Yang, Yi Zhu, Cheng Li, Saeed Maleki, Xu Cao, Ning Shang, Yilei Yang, Weijiang Xu, Mao Yang, Lintao Zhang, Lidong Zhou
OSDI | July 2024
SuperBench: Improving Cloud AI Infrastructure Reliability with Proactive Validation
Yifan Xiong, Yuting Jiang, Ziyue Yang, Lei Qu, Guoshuai Zhao, Shuguang Liu, Dong Zhong, Boris Pinzur, Jie Zhang, Yang Wang, Jithin Jose, Hossein Pourreza, Jeff Baxter, Kushal Datta, Prabhat Ram, Luke Melton, Joe Chau, Peng Cheng, Yongqiang Xiong, Lidong Zhou
USENIX ATC | July 2024
Best Paper Award
Amanda: Unified Instrumentation Framework for Deep Neural Networks
Yue Guan, Yuxian Qiu, Jingwen Leng, Fan Yang, Shuo Yu, Yunxin Liu, Yu Feng, Yuhao Zhu, Lidong Zhou, Yun Liang, Chen Zhang, Chao Li, Minyi Guo
ASPLOS | April 2024
-
PIT: Optimization of Dynamic Sparse Deep Learning Models via Permutation Invariant Transformation
Ningxin Zheng, Huiqiang Jiang, Quanlu Zhang, Zhenhua Han, Lingxiao Ma, Yuqing Yang, Fan Yang, Chengruidong Zhang, Lili Qiu, Mao Yang, Lidong Zhou
The 29th ACM Symposium on Operating Systems Principles | October 2023
Optimizing Dynamic Neural Networks with Brainstorm
Weihao Cui, Zhenhua Han, Lingji Ouyang, Yichuan Wang, Ningxin Zheng, Lingxiao Ma, Yuqing Yang, Fan Yang, Jilong Xue, Lili Qiu, Lidong Zhou, Quan Chen, Haisheng Tan, Minyi Guo
OSDI'23 | July 2023
VBASE: Unifying Online Vector Similarity Search and Relational Queries via Relaxed Monotonicity
Qianxi Zhang, Shuotao Xu, Qi Chen, Guoxin Sui, Jiadong Xie, Zhizhen Cai, Yaoqi Chen, Yinxuan He, Yuqing Yang, Fan Yang, Mao Yang, Lidong Zhou
OSDI'23 | July 2023
Welder: Scheduling Deep Learning Memory Access via Tile-graph
Yining Shi, Zhi Yang, Jilong Xue, Lingxiao Ma, Yuqing Xia, Ziming Miao, Yuxiao Guo, Fan Yang, Lidong Zhou
17th USENIX Symposium on Operating Systems Design and Implementation (OSDI'23) | July 2023
SiloD: A Co-design of Caching and Scheduling for Deep Learning Clusters
Hanyu Zhao, Zhenhua Han, Zhi Yang, Quanlu Zhang, Mingxia Li, Fan Yang, Qianxi Zhang, Binyang Li, Yuqing Yang, Lili Qiu, Lintao Zhang, Lidong Zhou
EuroSys 2023 | May 2023
On Modular Learning of Distributed Systems for Predicting End-to-End Latency
Chieh-Jan Mike Liang, Zilin Fang, Yuqing Xie, Fan Yang, Zhao Lucis Li, Li Lyna Zhang, Mao Yang, Lidong Zhou
NSDI (USENIX Symposium on Networked Systems Design and Implementation) | April 2023
-
Roller: Fast and Efficient Tensor Compilation for Deep Learning
Hongyu Zhu , Ruofan Wu , Yijia Diao , Shanbin Ke , Haoyu Li , Chen Zhang , Jilong Xue, Lingxiao Ma, Yuqing Xia, Wei Cui, Fan Yang, Mao Yang, Lidong Zhou, Asaf Cidon , Gennady Pekhimenko
The 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI'22) | July 2022
SparTA: Deep-Learning Model Sparsity via Tensor-with-Sparsity-Attribute
Ningxin Zheng, Bin Lin, Quanlu Zhang, Lingxiao Ma, Yuqing Yang, Fan Yang, Yang Wang, Mao Yang, Lidong Zhou
OSDI 2022 | July 2022
-
Geometric Partitioning: Explore the Boundary of Optimal Erasure Code Repair
Yingdi Shan, Kang Chen, Tuoyu Gong, Lidong Zhou, Tai Zhou, Yongwei Wu
2021 Symposium on Operating Systems Principles | October 2021
Forerunner: Constraint-based Speculative Transaction Execution for Ethereum
Yang Chen, Zhongxin Guo, Runhuai Li, Shuo Chen, Lidong Zhou, Yajin Zhou, Xian Zhang
SOSP 2021 | October 2021
-
HiveD: Sharing a GPU Cluster for Deep Learning with Guarantees
Hanyu Zhao, Zhenhua Han, Zhi Yang, Quanlu Zhang, Fan Yang, Lidong Zhou, Mao Yang, Yuqi Wang, Yifan Xiong, Bin Wang
2020 Operating Systems Design and Implementation | November 2020
Rammer: Enabling Holistic Deep Learning Compiler Optimizations with rTasks
Lingxiao Ma, Zhiqiang Xie, Zhi Yang, Jilong Xue, Youshan Miao, Wei Cui, Wenxiang Hu, Fan Yang, Lintao Zhang, Lidong Zhou
14th USENIX Symposium on Operating Systems Design and Implementation (OSDI'20) | November 2020
Retiarii: A Deep Learning Exploratory-Training Framework
Quanlu Zhang, Zhenhua Han, Fan Yang, Yuge Zhang, Zhe Liu, Mao Yang, Lidong Zhou
2020 Operating Systems Design and Implementation | November 2020
Byzantine Ordered Consensus without Byzantine Oligarchy
Yunhao Zhang, Srinath Setty, Qi Chen, Lidong Zhou, Lorenzo Alvisi
Operating Systems Design and Implementation (OSDI) | October 2020
Jay Lepreau Best Paper Award
AutoSys: The Design and Operation of Learning-Augmented Systems
Chieh-Jan Mike Liang, Hui Xue, Mao Yang, Lidong Zhou, Lifei Zhu, Zhao Lucis Li, Zibo Wang, Qi Chen, Quanlu Zhang, Chuanjie Liu, Wenjun Dai
ATC (USENIX Annual Technical Conference) | July 2020
Distributed Graph Computation Meets Machine Learning
Wencong Xiao, Jilong Xue, Youshan Miao, Zhen Li, Cheng Chen, Ming Wu, Wei Li, Lidong Zhou
IEEE Transactions on Parallel and Distributed Systems | January 2020, Vol 31(7): pp. 1588-1604
-
NeuGraph: Parallel Deep Neural Network Computation on Large Graphs
Lingxiao Ma, Zhi Yang, Youshan Miao, Jilong Xue, Ming Wu, Lidong Zhou, Yafei Dai
2019 USENIX Annual Technical Conference | July 2019
The Case for Learning-and-System Co-design
Chieh-Jan Mike Liang, Hui Xue, Mao Yang, Lidong Zhou
ACM SIGOPS Operating Systems Review | July 2019, Vol 53(1): pp. 68-74
Astra: Exploiting Predictability to Optimize Deep Learning
Muthian Sivathanu, Tapan Chugh, Sanjay S. Singapuram, Lidong Zhou
ACM Symposium on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2019) | April 2019
Fast Distributed Deep Learning over RDMA
Jilong Xue, Youshan Miao, Cheng Chen, Ming Wu, Lintao Zhang, Lidong Zhou
EuroSys | March 2019
-
Capturing and Enhancing In Situ System Observability for Failure Detection
Peng Huang (pehuan), Chuanxiong Guo, Jacob R. Lorch (lorch), Lidong Zhou, Yingnong Dang
Operating Systems Design and Implementation (OSDI) | October 2018
Gandiva: Introspective Cluster Scheduling for Deep Learning
Wencong Xiao, Romil Bhardwaj, Ramachandran Ramjee, Muthian Sivathanu, Nipun Kwatra, Zhenhua Han, Pratyush Patel, Xuan Peng, Hanyu Zhao, Quanlu Zhang, Fan Yang, Lidong Zhou
13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2018) | October 2018
-
Gray Failure: The Achilles’ Heel of Cloud-Scale Systems
Ryan Huang, Chuanxiong Guo, Lidong Zhou, Jay Lorch, Yingnong Dang, Murali Chintalapati, Randolph Yao
Proceedings of the ACM Workshop on Hot Topics in Operating Systems (HotOS) | May 2017
TuX2: Distributed Graph Computation for Machine Learning
Jilong Xue, Youshan Miao, Cheng Chen, Ming Wu, Lidong Zhou
14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17) | March 2017
ISBN: 978-1-931971-37-9
-
Realizing the fault-tolerance promise of cloud storage using locks with intent
Srinath Setty, Chunzhi Su, Jay Lorch, Lidong Zhou, Hao Chen, Parveen Patel, Jinglei Ren
Operating Systems Design and Implementation (OSDI) | November 2016
STREAMSCOPE: continuous reliable distributed processing of big data streams
Wei Lin, Haochuan Fan, Zhengping Qian, Jun Xu, Sen Yang, Jingren Zhou, Lidong Zhou
2016 Networked Systems Design and Implementation | March 2016
-
GraM: Scaling Graph Computation to the Trillions
Ming Wu, Fan Yang, Jilong Xue, Wencong Xiao, Youshan Miao, Lan Wei, Haoxiang Lin, Yafei Dai, Lidong Zhou
SoCC 2015 | August 2015
The 6th ACM Symposium on Cloud Computing
ImmortalGraph: A System for Storage and Analysis of Temporal Graphs
Youshan Miao, Wentao Han, Kaiwei Li, Ming Wu, Vijayan Prabhakaran, Enhong Chen, Wenguang Chen, Fan Yang, Lidong Zhou
ACM Transactions on Storage (TOS) | July 2015
-
Apollo: Scalable and Coordinated Scheduling for Cloud-Scale Computing
Eric Boutin, Jaliya Ekanayake, Wei Lin, Bing Shi, Jingren Zhou, Zhengping Qian, Ming Wu, Lidong Zhou
OSDI '14 | October 2014
The 11th USENIX Symposium on Operating Systems Design and Implementation
Cybertron: Pushing the Limit on I/O Reduction in Data-Parallel Programs
Tian Xiao, Zhenyu Guo, Hucheng Zhou, Jiaxing Zhang, Xu Zhao, Chencheng Ye, Xi Wang, Wei Lin, Wenguang Chen, Lidong Zhou
OOPSLA | June 2014
Nondeterminism in MapReduce Considered Harmful? An Empirical Study on Non-commutative Aggregators in MapReduce Programs
Tian Xiao, Jiaxing Zhang, Hucheng Zhou, Zhenyu Guo, Sean McDirmid, Wei Lin, Wenguang Chen, Lidong Zhou
April 2014
Chronos: A Graph Engine for Temporal Graph Analysis
Wentao Han, Youshan Miao, Kaiwei Li, Ming Wu, Vijayan Prabhakaran, Wenguang Chen, Enhong Chen, Fan Yang, Lidong Zhou
EuroSys | April 2014
Rex: Replication at the Speed of Multi-core
Zhenyu Guo, Chuntao Hong, Mao Yang, Dong Zhou, Lidong Zhou, Li Zhuang
EuroSys '14: Proceedings of the Ninth European Conference on Computer Systems | January 2014
-
Failure Recovery: When the Cure Is Worse Than the Disease
Zhenyu Guo, Sean McDirmid, Mao Yang, Li Zhuang, Pu Zhang, Yingwei Luo, Tom Bergan, Peter Bodík, Madan Musuvathi, Zheng Zhang, Lidong Zhou
HotOS | May 2013
HotOS
TimeStream: Reliable Stream Computation in the Cloud
Lidong Zhou, Yuan Yu, Zheng Zhang, Zhengping Qian
EuroSys 2013 | April 2013
Updated version
-
Spotting Code Optimizations in Data-Parallel Pipelines through PeriSCOPE
Zhenyu Guo, Xuepeng Fan, Rishan Chen, Jiaxing Zhang, Sean McDirmid, Chang Liu, Wei Lin, Hucheng Zhou, Jingren Zhou, Lidong Zhou
IEEE Transactions on Parallel & Distributed Systems | October 2012, Vol 26(6)
Managing Large Graphs on Multi-Cores with Graph Awareness
Vijayan Prabhakaran, Ming Wu, Xuetian Weng, Frank McSherry, Lidong Zhou, Maya Haridasan
USENIX Annual Technical Conference (USENIX ATC'12) | June 2012
Optimizing Data Shuffling in Data-Parallel Computation by Understanding User-Defined Functions
Jiaxing Zhang, Hucheng Zhou, Rishan Chen, Xuepeng Fan, Zhenyu Guo, Haoxiang Lin, Jack Y.Li, Wei Lin, Jingren Zhou, Lidong Zhou
NSDI 2012 | April 2012
The 9th USENIX Symposium on Networked Systems Design and Implementation
Kineograph: taking the pulse of a fast-changing and connected world
Raymond Cheng, Ji Hong, Aapo Kyrola, Youshan Miao, Xuetian Weng, Ming Wu, Fan Yang, Lidong Zhou, Feng Zhao, Enhong Chen
ACM Eurosys | April 2012
Optimizing Data Shuffling in Data-Parallel Computation by Understanding User-Defined Functions
Jiaxing Zhang, Hucheng Zhou, Rishan Chen, Xuepeng Fan, Zhenyu Guo, Haoxiang Lin, Jack Y. Li, Wei Lin, Jingren Zhou, Lidong Zhou
MSR-TR-2012-28 | April 2012
Published by Microsoft
-
Practical software model checking via dynamic interface reduction
Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Junfeng Yang, Lintao Zhang
October 2011
G2: A Graph Processing System for Diagnosing Distributed Systems
Zhenyu Guo, Dong Zhou, Haoxiang Lin, Mao Yang, Fan Long, Chaoqiang Deng, Changshu Liu, Lidong Zhou
USENIX ATC 2011 | June 2011
The 2011 USENIX Annual Technical Conference
-
Language-Based Replay via Data Flow Cut
Ming Wu, Fan Long, Xi Wang, Zhilei Xu, Haoxiang Lin, Xuezheng Liu, Zhenyu Guo, Lidong Zhou, Zheng Zhang, Huayang Guo
FSE-18 | November 2010
The 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering
Distributed Systems Meet Economics: Pricing in the Cloud
Hongyi Wang, Qingfeng Jing, Bingsheng He, Zhengping Qian, Lidong Zhou
HotCloud '10 | June 2010
HotCloud '10
-
Comet: Batched Stream Processing in Data Intensive Distributed Computing
Bingsheng He, Mao Yang, Zhenyu Guo, Rishan Chen, Bing Su, Wei Lin, Lidong Zhou
MSR-TR-2009-180 | December 2009
Building Reliable Large-Scale Distributed Systems: When Theory Meets Practice
Column 35, SIGACT News | September 2009, Vol 40(3)
Quorum-Based Perfect Failure Detection Service
Wei Chen, Xuezheng Liu, Lidong Zhou, Yunni Xia
MSR-TR-2009-62 | May 2009
Vertical Paxos and Primary-Backup Replication
Leslie Lamport, Dahlia Malkhi, Lidong Zhou
MSR-TR-2009-63 | May 2009
MODIST: Transparent Model Checking of Unmodified Distributed Systems
Junfeng Yang, Tisheng Chen, Ming Wu, Zhilei Xu, Xuezheng Liu, Haoxiang Lin, Mao Yang, Fan Long, Lintao Zhang, Lidong Zhou
NSDI 2009 | April 2009
The 6th Symposium on Networked Systems Design and Implementation
Wave Computing in the Cloud
Mao Yang, Zhenyu Guo, Wei Lin, Bing Su, Lidong Zhou, Saven He
HotOS | April 2009
Vertical Paxos and Primary-Backup Replication
Leslie Lamport, Dahlia Malkhi, Lidong Zhou
The ACM Symposium on Principles of Distributed Computing (PODC 2009) | February 2009
Chasing the Weakest System Model for Implementing $Omega$ and Consensus
Martin Hutle, Dahlia Malkhi, Ulrich Schmid, Lidong Zhou
IEEE Transactions on Dependable and Secure Computing (TDSC) | January 2009
-
Vigilante: End-to-End Containment of Internet Worm Epidemics
Manuel Costa, Jon Crowcroft, Miguel Castro, Antony Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham, Ant Rowstron
ACM Transactions on Computer Systems | December 2008
Stoppable Paxos
Dahlia Malkhi, Leslie Lamport, Lidong Zhou
MSR-TR-2008-192 | April 2008
PacificA: Replication in Log-Based Distributed Storage Systems
Wei Lin, Mao Yang, Lintao Zhang, Lidong Zhou
MSR-TR-2008-25 | February 2008
Reconfiguring a State Machine
Leslie Lamport, Dahlia Malkhi, Lidong Zhou
MSR-TR-2008-193 | February 2008
Kinesis: A New Approach to Replica Placement in Distributed Storage Systems
J. MacCormick, N. Murphy, Rama Ramasubramanian, Udi Wieder, J. Yang, Lidong Zhou
Transactions on Storage | January 2008
-
Bouncer: Securing Software by Blocking Bad Input
Manuel Costa, Miguel Castro, Lidong Zhou, Lintao Zhang, Marcus Peinado
ACM Symposium on Operating Systems Principles (SOSP) | October 2007
ISBN: 978-1-59593-591-5
Graceful degradation via versions: specifications and implementations
Lidong Zhou, Vijayan Prabhakaran, Rama Ramasubramanian, Roy Levin, Chandu Thekkath
Symposium on Principles of Distributed Computing (PODC 2007) | August 2007
Niobe: A Practical Replication Protocol
John MacCormick, Chandu Thekkath, Marcus Jager, Kristof Roomp, Lidong Zhou, Ryan Peterson
MSR-TR-2007-112 | August 2007
-
Chasing the Weakest System Model for Implementing Omega and Consensus (Brief Announcement)
Martin Hutle, Dahlia Malkhi, Ulrich Schmid, Lidong Zhou
In Eighth International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 06) | November 2006
-
Vigilante: end-to-end containment of internet worms
Manuel Costa, Jon Crowcroft, Miguel Castro, Ant Rowstron, Lintao Zhang, Lidong Zhou, Paul Barham
ACM Symposium on Operating Systems Principles (SOSP) | October 2005
Omega Meets Paxos: Leader Election and Stability without Eventual Timely Links
Dahlia Malkhi, Florin Oprea, Lidong Zhou
MSR-TR-2005-93 | September 2005
19th Intl. Symposium on Distributed Computing (DISC 05)
APSS: proactive secret sharing in asynchronous systems
Lidong Zhou, Fred B. Schneider, Robbert Van Renesse
ACM Transactions on Information System Security | August 2005, Vol 8: pp. 259-286
A First Look at Peer-to-Peer Worms: Threats and Defenses
Lidong Zhou, Lintao Zhang, Frank McSherry, Nicole Immorlica, Manuel Costa, Steve Chien
4th International Workshop on Peer-To-Peer Systems (IPTPS '05) | February 2005
4th International Workshop on Peer-To-Peer Systems (IPTPS '05)
-
Boxwood: Abstractions as the Foundation for Storage Infrastructure
John MacCormick, Nick Murphy, Marc Najork, Chandu Thekkath, Lidong Zhou
Symposium on Operating System Design and Implementation (OSDI) | December 2004
Symposium on Operating System Design and Implementation (OSDI)
A Multi-Radio Unification Protocol for IEEE 802.11 Wireless Networks
Atul Adya, Victor Bahl, Jitu Padhye, Alec Wolman, Lidong Zhou
MSR-TR-2003-44 | October 2004
1st International Conference on Broadband Networks (BROADNETS 2004)
-
Troubleshooting Multihop Wireless Networks
Lili Qiu, Paramvir Bahl, Ananth Rao, Lidong Zhou, Victor Bahl
MSR-TR-2004-11 | December 2003
-
COCA: A Secure Distributed On-line Certification Authority
Lidong Zhou, Fred B. Schneider, Robbert Van Renesse
Transactions on Computer Systems (TOCS) | November 2002, Vol 20: pp. 329-368
Implementing IPv6 as a Peer-to-Peer Overlay Network
Lidong Zhou, Robbert van Renesse, Michael Marsh
Proceedings of Workshop on Reliable Peer-to-Peer Distributed Systems (RPPDS '02) | October 2002
Proceedings of Workshop on Reliable Peer-to-Peer Distributed Systems (RPPDS '02)
-
Securing Ad Hoc Networks
Lidong Zhou, Zygmunt J. Haas
IEEE Networks Special Issue on Network Security | November 1999
Publications by Research Area
-
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 Lahiri, Tao Xie, Lidong Zhou
October 2024
nnScaler: Constraint-Guided Parallelization Plan Generation for Deep Learning Training
Zhiqi Lin, Youshan Miao, Quanlu Zhang, Fan Yang, Yi Zhu, Cheng Li, Saeed Maleki, Xu Cao, Ning Shang, Yilei Yang, Weijiang Xu, Mao Yang, Lintao Zhang, Lidong Zhou
OSDI | July 2024
PIT: Optimization of Dynamic Sparse Deep Learning Models via Permutation Invariant Transformation
Ningxin Zheng, Huiqiang Jiang, Quanlu Zhang, Zhenhua Han, Lingxiao Ma, Yuqing Yang, Fan Yang, Chengruidong Zhang, Lili Qiu, Mao Yang, Lidong Zhou
The 29th ACM Symposium on Operating Systems Principles | October 2023
NeuGraph: Parallel Deep Neural Network Computation on Large Graphs
Lingxiao Ma, Zhi Yang, Youshan Miao, Jilong Xue, Ming Wu, Lidong Zhou, Yafei Dai
2019 USENIX Annual Technical Conference | July 2019
Astra: Exploiting Predictability to Optimize Deep Learning
Muthian Sivathanu, Tapan Chugh, Sanjay S. Singapuram, Lidong Zhou
ACM Symposium on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2019) | April 2019
-
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 Lahiri, Tao Xie, Lidong Zhou
October 2024
Cybertron: Pushing the Limit on I/O Reduction in Data-Parallel Programs
Tian Xiao, Zhenyu Guo, Hucheng Zhou, Jiaxing Zhang, Xu Zhao, Chencheng Ye, Xi Wang, Wei Lin, Wenguang Chen, Lidong Zhou
OOPSLA | June 2014
Nondeterminism in MapReduce Considered Harmful? An Empirical Study on Non-commutative Aggregators in MapReduce Programs
Tian Xiao, Jiaxing Zhang, Hucheng Zhou, Zhenyu Guo, Sean McDirmid, Wei Lin, Wenguang Chen, Lidong Zhou
April 2014
Optimizing Data Shuffling in Data-Parallel Computation by Understanding User-Defined Functions
Jiaxing Zhang, Hucheng Zhou, Rishan Chen, Xuepeng Fan, Zhenyu Guo, Haoxiang Lin, Jack Y.Li, Wei Lin, Jingren Zhou, Lidong Zhou
NSDI 2012 | April 2012
The 9th USENIX Symposium on Networked Systems Design and Implementation
Language-Based Replay via Data Flow Cut
Ming Wu, Fan Long, Xi Wang, Zhilei Xu, Haoxiang Lin, Xuezheng Liu, Zhenyu Guo, Lidong Zhou, Zheng Zhang, Huayang Guo
FSE-18 | November 2010
The 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering
-
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 Lahiri, Tao Xie, Lidong Zhou
October 2024
SuperBench: Improving Cloud AI Infrastructure Reliability with Proactive Validation
Yifan Xiong, Yuting Jiang, Ziyue Yang, Lei Qu, Guoshuai Zhao, Shuguang Liu, Dong Zhong, Boris Pinzur, Jie Zhang, Yang Wang, Jithin Jose, Hossein Pourreza, Jeff Baxter, Kushal Datta, Prabhat Ram, Luke Melton, Joe Chau, Peng Cheng, Yongqiang Xiong, Lidong Zhou
USENIX ATC | July 2024
Best Paper Award
nnScaler: Constraint-Guided Parallelization Plan Generation for Deep Learning Training
Zhiqi Lin, Youshan Miao, Quanlu Zhang, Fan Yang, Yi Zhu, Cheng Li, Saeed Maleki, Xu Cao, Ning Shang, Yilei Yang, Weijiang Xu, Mao Yang, Lintao Zhang, Lidong Zhou
OSDI | July 2024
Amanda: Unified Instrumentation Framework for Deep Neural Networks
Yue Guan, Yuxian Qiu, Jingwen Leng, Fan Yang, Shuo Yu, Yunxin Liu, Yu Feng, Yuhao Zhu, Lidong Zhou, Yun Liang, Chen Zhang, Chao Li, Minyi Guo
ASPLOS | April 2024
PIT: Optimization of Dynamic Sparse Deep Learning Models via Permutation Invariant Transformation
Ningxin Zheng, Huiqiang Jiang, Quanlu Zhang, Zhenhua Han, Lingxiao Ma, Yuqing Yang, Fan Yang, Chengruidong Zhang, Lili Qiu, Mao Yang, Lidong Zhou
The 29th ACM Symposium on Operating Systems Principles | October 2023
Optimizing Dynamic Neural Networks with Brainstorm
Weihao Cui, Zhenhua Han, Lingji Ouyang, Yichuan Wang, Ningxin Zheng, Lingxiao Ma, Yuqing Yang, Fan Yang, Jilong Xue, Lili Qiu, Lidong Zhou, Quan Chen, Haisheng Tan, Minyi Guo
OSDI'23 | July 2023
VBASE: Unifying Online Vector Similarity Search and Relational Queries via Relaxed Monotonicity
Qianxi Zhang, Shuotao Xu, Qi Chen, Guoxin Sui, Jiadong Xie, Zhizhen Cai, Yaoqi Chen, Yinxuan He, Yuqing Yang, Fan Yang, Mao Yang, Lidong Zhou
OSDI'23 | July 2023
Welder: Scheduling Deep Learning Memory Access via Tile-graph
Yining Shi, Zhi Yang, Jilong Xue, Lingxiao Ma, Yuqing Xia, Ziming Miao, Yuxiao Guo, Fan Yang, Lidong Zhou
17th USENIX Symposium on Operating Systems Design and Implementation (OSDI'23) | July 2023
SiloD: A Co-design of Caching and Scheduling for Deep Learning Clusters
Hanyu Zhao, Zhenhua Han, Zhi Yang, Quanlu Zhang, Mingxia Li, Fan Yang, Qianxi Zhang, Binyang Li, Yuqing Yang, Lili Qiu, Lintao Zhang, Lidong Zhou
EuroSys 2023 | May 2023
On Modular Learning of Distributed Systems for Predicting End-to-End Latency
Chieh-Jan Mike Liang, Zilin Fang, Yuqing Xie, Fan Yang, Zhao Lucis Li, Li Lyna Zhang, Mao Yang, Lidong Zhou
NSDI (USENIX Symposium on Networked Systems Design and Implementation) | April 2023
SparTA: Deep-Learning Model Sparsity via Tensor-with-Sparsity-Attribute
Ningxin Zheng, Bin Lin, Quanlu Zhang, Lingxiao Ma, Yuqing Yang, Fan Yang, Yang Wang, Mao Yang, Lidong Zhou
OSDI 2022 | July 2022
Roller: Fast and Efficient Tensor Compilation for Deep Learning
Hongyu Zhu , Ruofan Wu , Yijia Diao , Shanbin Ke , Haoyu Li , Chen Zhang , Jilong Xue, Lingxiao Ma, Yuqing Xia, Wei Cui, Fan Yang, Mao Yang, Lidong Zhou, Asaf Cidon , Gennady Pekhimenko
The 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI'22) | July 2022
Geometric Partitioning: Explore the Boundary of Optimal Erasure Code Repair
Yingdi Shan, Kang Chen, Tuoyu Gong, Lidong Zhou, Tai Zhou, Yongwei Wu
2021 Symposium on Operating Systems Principles | October 2021
Forerunner: Constraint-based Speculative Transaction Execution for Ethereum
Yang Chen, Zhongxin Guo, Runhuai Li, Shuo Chen, Lidong Zhou, Yajin Zhou, Xian Zhang
SOSP 2021 | October 2021
HiveD: Sharing a GPU Cluster for Deep Learning with Guarantees
Hanyu Zhao, Zhenhua Han, Zhi Yang, Quanlu Zhang, Fan Yang, Lidong Zhou, Mao Yang, Yuqi Wang, Yifan Xiong, Bin Wang
2020 Operating Systems Design and Implementation | November 2020
Retiarii: A Deep Learning Exploratory-Training Framework
Quanlu Zhang, Zhenhua Han, Fan Yang, Yuge Zhang, Zhe Liu, Mao Yang, Lidong Zhou
2020 Operating Systems Design and Implementation | November 2020
Rammer: Enabling Holistic Deep Learning Compiler Optimizations with rTasks
Lingxiao Ma, Zhiqiang Xie, Zhi Yang, Jilong Xue, Youshan Miao, Wei Cui, Wenxiang Hu, Fan Yang, Lintao Zhang, Lidong Zhou
14th USENIX Symposium on Operating Systems Design and Implementation (OSDI'20) | November 2020
Byzantine Ordered Consensus without Byzantine Oligarchy
Yunhao Zhang, Srinath Setty, Qi Chen, Lidong Zhou, Lorenzo Alvisi
Operating Systems Design and Implementation (OSDI) | October 2020
Jay Lepreau Best Paper Award
AutoSys: The Design and Operation of Learning-Augmented Systems
Chieh-Jan Mike Liang, Hui Xue, Mao Yang, Lidong Zhou, Lifei Zhu, Zhao Lucis Li, Zibo Wang, Qi Chen, Quanlu Zhang, Chuanjie Liu, Wenjun Dai
ATC (USENIX Annual Technical Conference) | July 2020
Distributed Graph Computation Meets Machine Learning
Wencong Xiao, Jilong Xue, Youshan Miao, Zhen Li, Cheng Chen, Ming Wu, Wei Li, Lidong Zhou
IEEE Transactions on Parallel and Distributed Systems | January 2020, Vol 31(7): pp. 1588-1604
NeuGraph: Parallel Deep Neural Network Computation on Large Graphs
Lingxiao Ma, Zhi Yang, Youshan Miao, Jilong Xue, Ming Wu, Lidong Zhou, Yafei Dai
2019 USENIX Annual Technical Conference | July 2019
The Case for Learning-and-System Co-design
Chieh-Jan Mike Liang, Hui Xue, Mao Yang, Lidong Zhou
ACM SIGOPS Operating Systems Review | July 2019, Vol 53(1): pp. 68-74
Astra: Exploiting Predictability to Optimize Deep Learning
Muthian Sivathanu, Tapan Chugh, Sanjay S. Singapuram, Lidong Zhou
ACM Symposium on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2019) | April 2019
Fast Distributed Deep Learning over RDMA
Jilong Xue, Youshan Miao, Cheng Chen, Ming Wu, Lintao Zhang, Lidong Zhou
EuroSys | March 2019
Capturing and Enhancing In Situ System Observability for Failure Detection
Peng Huang (pehuan), Chuanxiong Guo, Jacob R. Lorch (lorch), Lidong Zhou, Yingnong Dang
Operating Systems Design and Implementation (OSDI) | October 2018
Gandiva: Introspective Cluster Scheduling for Deep Learning
Wencong Xiao, Romil Bhardwaj, Ramachandran Ramjee, Muthian Sivathanu, Nipun Kwatra, Zhenhua Han, Pratyush Patel, Xuan Peng, Hanyu Zhao, Quanlu Zhang, Fan Yang, Lidong Zhou
13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2018) | October 2018
Gray Failure: The Achilles’ Heel of Cloud-Scale Systems
Ryan Huang, Chuanxiong Guo, Lidong Zhou, Jay Lorch, Yingnong Dang, Murali Chintalapati, Randolph Yao
Proceedings of the ACM Workshop on Hot Topics in Operating Systems (HotOS) | May 2017
TuX2: Distributed Graph Computation for Machine Learning
Jilong Xue, Youshan Miao, Cheng Chen, Ming Wu, Lidong Zhou
14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17) | March 2017
ISBN: 978-1-931971-37-9
Realizing the fault-tolerance promise of cloud storage using locks with intent
Srinath Setty, Chunzhi Su, Jay Lorch, Lidong Zhou, Hao Chen, Parveen Patel, Jinglei Ren
Operating Systems Design and Implementation (OSDI) | November 2016
STREAMSCOPE: continuous reliable distributed processing of big data streams
Wei Lin, Haochuan Fan, Zhengping Qian, Jun Xu, Sen Yang, Jingren Zhou, Lidong Zhou
2016 Networked Systems Design and Implementation | March 2016
GraM: Scaling Graph Computation to the Trillions
Ming Wu, Fan Yang, Jilong Xue, Wencong Xiao, Youshan Miao, Lan Wei, Haoxiang Lin, Yafei Dai, Lidong Zhou
SoCC 2015 | August 2015
The 6th ACM Symposium on Cloud Computing
ImmortalGraph: A System for Storage and Analysis of Temporal Graphs
Youshan Miao, Wentao Han, Kaiwei Li, Ming Wu, Vijayan Prabhakaran, Enhong Chen, Wenguang Chen, Fan Yang, Lidong Zhou
ACM Transactions on Storage (TOS) | July 2015
Apollo: Scalable and Coordinated Scheduling for Cloud-Scale Computing
Eric Boutin, Jaliya Ekanayake, Wei Lin, Bing Shi, Jingren Zhou, Zhengping Qian, Ming Wu, Lidong Zhou
OSDI '14 | October 2014
The 11th USENIX Symposium on Operating Systems Design and Implementation
Cybertron: Pushing the Limit on I/O Reduction in Data-Parallel Programs
Tian Xiao, Zhenyu Guo, Hucheng Zhou, Jiaxing Zhang, Xu Zhao, Chencheng Ye, Xi Wang, Wei Lin, Wenguang Chen, Lidong Zhou
OOPSLA | June 2014
Chronos: A Graph Engine for Temporal Graph Analysis
Wentao Han, Youshan Miao, Kaiwei Li, Ming Wu, Vijayan Prabhakaran, Wenguang Chen, Enhong Chen, Fan Yang, Lidong Zhou
EuroSys | April 2014
Rex: Replication at the Speed of Multi-core
Zhenyu Guo, Chuntao Hong, Mao Yang, Dong Zhou, Lidong Zhou, Li Zhuang
EuroSys '14: Proceedings of the Ninth European Conference on Computer Systems | January 2014
Failure Recovery: When the Cure Is Worse Than the Disease
Zhenyu Guo, Sean McDirmid, Mao Yang, Li Zhuang, Pu Zhang, Yingwei Luo, Tom Bergan, Peter Bodík, Madan Musuvathi, Zheng Zhang, Lidong Zhou
HotOS | May 2013
HotOS
TimeStream: Reliable Stream Computation in the Cloud
Lidong Zhou, Yuan Yu, Zheng Zhang, Zhengping Qian
EuroSys 2013 | April 2013
Updated version
Spotting Code Optimizations in Data-Parallel Pipelines through PeriSCOPE
Zhenyu Guo, Xuepeng Fan, Rishan Chen, Jiaxing Zhang, Sean McDirmid, Chang Liu, Wei Lin, Hucheng Zhou, Jingren Zhou, Lidong Zhou
IEEE Transactions on Parallel & Distributed Systems | October 2012, Vol 26(6)
Managing Large Graphs on Multi-Cores with Graph Awareness
Vijayan Prabhakaran, Ming Wu, Xuetian Weng, Frank McSherry, Lidong Zhou, Maya Haridasan
USENIX Annual Technical Conference (USENIX ATC'12) | June 2012
Optimizing Data Shuffling in Data-Parallel Computation by Understanding User-Defined Functions
Jiaxing Zhang, Hucheng Zhou, Rishan Chen, Xuepeng Fan, Zhenyu Guo, Haoxiang Lin, Jack Y.Li, Wei Lin, Jingren Zhou, Lidong Zhou
NSDI 2012 | April 2012
The 9th USENIX Symposium on Networked Systems Design and Implementation
Optimizing Data Shuffling in Data-Parallel Computation by Understanding User-Defined Functions
Jiaxing Zhang, Hucheng Zhou, Rishan Chen, Xuepeng Fan, Zhenyu Guo, Haoxiang Lin, Jack Y. Li, Wei Lin, Jingren Zhou, Lidong Zhou
MSR-TR-2012-28 | April 2012
Published by Microsoft
Kineograph: taking the pulse of a fast-changing and connected world
Raymond Cheng, Ji Hong, Aapo Kyrola, Youshan Miao, Xuetian Weng, Ming Wu, Fan Yang, Lidong Zhou, Feng Zhao, Enhong Chen
ACM Eurosys | April 2012
Practical software model checking via dynamic interface reduction
Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Junfeng Yang, Lintao Zhang
October 2011
G2: A Graph Processing System for Diagnosing Distributed Systems
Zhenyu Guo, Dong Zhou, Haoxiang Lin, Mao Yang, Fan Long, Chaoqiang Deng, Changshu Liu, Lidong Zhou
USENIX ATC 2011 | June 2011
The 2011 USENIX Annual Technical Conference
Language-Based Replay via Data Flow Cut
Ming Wu, Fan Long, Xi Wang, Zhilei Xu, Haoxiang Lin, Xuezheng Liu, Zhenyu Guo, Lidong Zhou, Zheng Zhang, Huayang Guo
FSE-18 | November 2010
The 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering
Distributed Systems Meet Economics: Pricing in the Cloud
Hongyi Wang, Qingfeng Jing, Bingsheng He, Zhengping Qian, Lidong Zhou
HotCloud '10 | June 2010
HotCloud '10
Comet: Batched Stream Processing in Data Intensive Distributed Computing
Bingsheng He, Mao Yang, Zhenyu Guo, Rishan Chen, Bing Su, Wei Lin, Lidong Zhou
MSR-TR-2009-180 | December 2009
Quorum-Based Perfect Failure Detection Service
Wei Chen, Xuezheng Liu, Lidong Zhou, Yunni Xia
MSR-TR-2009-62 | May 2009
MODIST: Transparent Model Checking of Unmodified Distributed Systems
Junfeng Yang, Tisheng Chen, Ming Wu, Zhilei Xu, Xuezheng Liu, Haoxiang Lin, Mao Yang, Fan Long, Lintao Zhang, Lidong Zhou
NSDI 2009 | April 2009
The 6th Symposium on Networked Systems Design and Implementation
Chasing the Weakest System Model for Implementing $Omega$ and Consensus
Martin Hutle, Dahlia Malkhi, Ulrich Schmid, Lidong Zhou
IEEE Transactions on Dependable and Secure Computing (TDSC) | January 2009
PacificA: Replication in Log-Based Distributed Storage Systems
Wei Lin, Mao Yang, Lintao Zhang, Lidong Zhou
MSR-TR-2008-25 | February 2008
Kinesis: A New Approach to Replica Placement in Distributed Storage Systems
J. MacCormick, N. Murphy, Rama Ramasubramanian, Udi Wieder, J. Yang, Lidong Zhou
Transactions on Storage | January 2008
Bouncer: Securing Software by Blocking Bad Input
Manuel Costa, Miguel Castro, Lidong Zhou, Lintao Zhang, Marcus Peinado
ACM Symposium on Operating Systems Principles (SOSP) | October 2007
ISBN: 978-1-59593-591-5
Niobe: A Practical Replication Protocol
John MacCormick, Chandu Thekkath, Marcus Jager, Kristof Roomp, Lidong Zhou, Ryan Peterson
MSR-TR-2007-112 | August 2007
Graceful degradation via versions: specifications and implementations
Lidong Zhou, Vijayan Prabhakaran, Rama Ramasubramanian, Roy Levin, Chandu Thekkath
Symposium on Principles of Distributed Computing (PODC 2007) | August 2007
Chasing the Weakest System Model for Implementing Omega and Consensus (Brief Announcement)
Martin Hutle, Dahlia Malkhi, Ulrich Schmid, Lidong Zhou
In Eighth International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 06) | November 2006
Omega Meets Paxos: Leader Election and Stability without Eventual Timely Links
Dahlia Malkhi, Florin Oprea, Lidong Zhou
MSR-TR-2005-93 | September 2005
19th Intl. Symposium on Distributed Computing (DISC 05)
APSS: proactive secret sharing in asynchronous systems
Lidong Zhou, Fred B. Schneider, Robbert Van Renesse
ACM Transactions on Information System Security | August 2005, Vol 8: pp. 259-286
A First Look at Peer-to-Peer Worms: Threats and Defenses
Lidong Zhou, Lintao Zhang, Frank McSherry, Nicole Immorlica, Manuel Costa, Steve Chien
4th International Workshop on Peer-To-Peer Systems (IPTPS '05) | February 2005
4th International Workshop on Peer-To-Peer Systems (IPTPS '05)
Boxwood: Abstractions as the Foundation for Storage Infrastructure
John MacCormick, Nick Murphy, Marc Najork, Chandu Thekkath, Lidong Zhou
Symposium on Operating System Design and Implementation (OSDI) | December 2004
Symposium on Operating System Design and Implementation (OSDI)
A Multi-Radio Unification Protocol for IEEE 802.11 Wireless Networks
Atul Adya, Victor Bahl, Jitu Padhye, Alec Wolman, Lidong Zhou
MSR-TR-2003-44 | October 2004
1st International Conference on Broadband Networks (BROADNETS 2004)
Troubleshooting Multihop Wireless Networks
Lili Qiu, Paramvir Bahl, Ananth Rao, Lidong Zhou, Victor Bahl
MSR-TR-2004-11 | December 2003
COCA: A Secure Distributed On-line Certification Authority
Lidong Zhou, Fred B. Schneider, Robbert Van Renesse
Transactions on Computer Systems (TOCS) | November 2002, Vol 20: pp. 329-368
Implementing IPv6 as a Peer-to-Peer Overlay Network
Lidong Zhou, Robbert van Renesse, Michael Marsh
Proceedings of Workshop on Reliable Peer-to-Peer Distributed Systems (RPPDS '02) | October 2002
Proceedings of Workshop on Reliable Peer-to-Peer Distributed Systems (RPPDS '02)
-
STREAMSCOPE: continuous reliable distributed processing of big data streams
Wei Lin, Haochuan Fan, Zhengping Qian, Jun Xu, Sen Yang, Jingren Zhou, Lidong Zhou
2016 Networked Systems Design and Implementation | March 2016
Vertical Paxos and Primary-Backup Replication
Leslie Lamport, Dahlia Malkhi, Lidong Zhou
MSR-TR-2009-63 | May 2009
Vertical Paxos and Primary-Backup Replication
Leslie Lamport, Dahlia Malkhi, Lidong Zhou
The ACM Symposium on Principles of Distributed Computing (PODC 2009) | February 2009
Reconfiguring a State Machine
Leslie Lamport, Dahlia Malkhi, Lidong Zhou
MSR-TR-2008-193 | February 2008
-
Securing Ad Hoc Networks
Lidong Zhou, Zygmunt J. Haas
IEEE Networks Special Issue on Network Security | November 1999
Byzantine Ordered Consensus without Byzantine Oligarchy
Yunhao Zhang, Srinath Setty, Qi Chen, Lidong Zhou, Lorenzo Alvisi
Operating Systems Design and Implementation (OSDI) | October 2020
Jay Lepreau Best Paper Award
Vigilante: End-to-End Containment of Internet Worm Epidemics
Manuel Costa, Jon Crowcroft, Miguel Castro, Antony Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham, Ant Rowstron
ACM Transactions on Computer Systems | December 2008
Bouncer: Securing Software by Blocking Bad Input
Manuel Costa, Miguel Castro, Lidong Zhou, Lintao Zhang, Marcus Peinado
ACM Symposium on Operating Systems Principles (SOSP) | October 2007
ISBN: 978-1-59593-591-5
Vigilante: end-to-end containment of internet worms
Manuel Costa, Jon Crowcroft, Miguel Castro, Ant Rowstron, Lintao Zhang, Lidong Zhou, Paul Barham
ACM Symposium on Operating Systems Principles (SOSP) | October 2005
-
Spotting Code Optimizations in Data-Parallel Pipelines through PeriSCOPE
Zhenyu Guo, Xuepeng Fan, Rishan Chen, Jiaxing Zhang, Sean McDirmid, Chang Liu, Wei Lin, Hucheng Zhou, Jingren Zhou, Lidong Zhou
IEEE Transactions on Parallel & Distributed Systems | October 2012, Vol 26(6)
Building Reliable Large-Scale Distributed Systems: When Theory Meets Practice
Column 35, SIGACT News | September 2009, Vol 40(3)
Quorum-Based Perfect Failure Detection Service
Wei Chen, Xuezheng Liu, Lidong Zhou, Yunni Xia
MSR-TR-2009-62 | May 2009
Vertical Paxos and Primary-Backup Replication
Leslie Lamport, Dahlia Malkhi, Lidong Zhou
The ACM Symposium on Principles of Distributed Computing (PODC 2009) | February 2009
Stoppable Paxos
Dahlia Malkhi, Leslie Lamport, Lidong Zhou
MSR-TR-2008-192 | April 2008
-
MODIST: Transparent Model Checking of Unmodified Distributed Systems
Junfeng Yang, Tisheng Chen, Ming Wu, Zhilei Xu, Xuezheng Liu, Haoxiang Lin, Mao Yang, Fan Long, Lintao Zhang, Lidong Zhou
NSDI 2009 | April 2009
The 6th Symposium on Networked Systems Design and Implementation
-
Wave Computing in the Cloud
Mao Yang, Zhenyu Guo, Wei Lin, Bing Su, Lidong Zhou, Saven He
HotOS | April 2009
Publications by Type
-
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 Lahiri, Tao Xie, Lidong Zhou
October 2024
-
SuperBench: Improving Cloud AI Infrastructure Reliability with Proactive Validation
Yifan Xiong, Yuting Jiang, Ziyue Yang, Lei Qu, Guoshuai Zhao, Shuguang Liu, Dong Zhong, Boris Pinzur, Jie Zhang, Yang Wang, Jithin Jose, Hossein Pourreza, Jeff Baxter, Kushal Datta, Prabhat Ram, Luke Melton, Joe Chau, Peng Cheng, Yongqiang Xiong, Lidong Zhou
USENIX ATC | July 2024
Best Paper Award
nnScaler: Constraint-Guided Parallelization Plan Generation for Deep Learning Training
Zhiqi Lin, Youshan Miao, Quanlu Zhang, Fan Yang, Yi Zhu, Cheng Li, Saeed Maleki, Xu Cao, Ning Shang, Yilei Yang, Weijiang Xu, Mao Yang, Lintao Zhang, Lidong Zhou
OSDI | July 2024
Amanda: Unified Instrumentation Framework for Deep Neural Networks
Yue Guan, Yuxian Qiu, Jingwen Leng, Fan Yang, Shuo Yu, Yunxin Liu, Yu Feng, Yuhao Zhu, Lidong Zhou, Yun Liang, Chen Zhang, Chao Li, Minyi Guo
ASPLOS | April 2024
PIT: Optimization of Dynamic Sparse Deep Learning Models via Permutation Invariant Transformation
Ningxin Zheng, Huiqiang Jiang, Quanlu Zhang, Zhenhua Han, Lingxiao Ma, Yuqing Yang, Fan Yang, Chengruidong Zhang, Lili Qiu, Mao Yang, Lidong Zhou
The 29th ACM Symposium on Operating Systems Principles | October 2023
Optimizing Dynamic Neural Networks with Brainstorm
Weihao Cui, Zhenhua Han, Lingji Ouyang, Yichuan Wang, Ningxin Zheng, Lingxiao Ma, Yuqing Yang, Fan Yang, Jilong Xue, Lili Qiu, Lidong Zhou, Quan Chen, Haisheng Tan, Minyi Guo
OSDI'23 | July 2023
VBASE: Unifying Online Vector Similarity Search and Relational Queries via Relaxed Monotonicity
Qianxi Zhang, Shuotao Xu, Qi Chen, Guoxin Sui, Jiadong Xie, Zhizhen Cai, Yaoqi Chen, Yinxuan He, Yuqing Yang, Fan Yang, Mao Yang, Lidong Zhou
OSDI'23 | July 2023
Welder: Scheduling Deep Learning Memory Access via Tile-graph
Yining Shi, Zhi Yang, Jilong Xue, Lingxiao Ma, Yuqing Xia, Ziming Miao, Yuxiao Guo, Fan Yang, Lidong Zhou
17th USENIX Symposium on Operating Systems Design and Implementation (OSDI'23) | July 2023
SiloD: A Co-design of Caching and Scheduling for Deep Learning Clusters
Hanyu Zhao, Zhenhua Han, Zhi Yang, Quanlu Zhang, Mingxia Li, Fan Yang, Qianxi Zhang, Binyang Li, Yuqing Yang, Lili Qiu, Lintao Zhang, Lidong Zhou
EuroSys 2023 | May 2023
On Modular Learning of Distributed Systems for Predicting End-to-End Latency
Chieh-Jan Mike Liang, Zilin Fang, Yuqing Xie, Fan Yang, Zhao Lucis Li, Li Lyna Zhang, Mao Yang, Lidong Zhou
NSDI (USENIX Symposium on Networked Systems Design and Implementation) | April 2023
SparTA: Deep-Learning Model Sparsity via Tensor-with-Sparsity-Attribute
Ningxin Zheng, Bin Lin, Quanlu Zhang, Lingxiao Ma, Yuqing Yang, Fan Yang, Yang Wang, Mao Yang, Lidong Zhou
OSDI 2022 | July 2022
Roller: Fast and Efficient Tensor Compilation for Deep Learning
Hongyu Zhu , Ruofan Wu , Yijia Diao , Shanbin Ke , Haoyu Li , Chen Zhang , Jilong Xue, Lingxiao Ma, Yuqing Xia, Wei Cui, Fan Yang, Mao Yang, Lidong Zhou, Asaf Cidon , Gennady Pekhimenko
The 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI'22) | July 2022
Geometric Partitioning: Explore the Boundary of Optimal Erasure Code Repair
Yingdi Shan, Kang Chen, Tuoyu Gong, Lidong Zhou, Tai Zhou, Yongwei Wu
2021 Symposium on Operating Systems Principles | October 2021
Forerunner: Constraint-based Speculative Transaction Execution for Ethereum
Yang Chen, Zhongxin Guo, Runhuai Li, Shuo Chen, Lidong Zhou, Yajin Zhou, Xian Zhang
SOSP 2021 | October 2021
HiveD: Sharing a GPU Cluster for Deep Learning with Guarantees
Hanyu Zhao, Zhenhua Han, Zhi Yang, Quanlu Zhang, Fan Yang, Lidong Zhou, Mao Yang, Yuqi Wang, Yifan Xiong, Bin Wang
2020 Operating Systems Design and Implementation | November 2020
Retiarii: A Deep Learning Exploratory-Training Framework
Quanlu Zhang, Zhenhua Han, Fan Yang, Yuge Zhang, Zhe Liu, Mao Yang, Lidong Zhou
2020 Operating Systems Design and Implementation | November 2020
Rammer: Enabling Holistic Deep Learning Compiler Optimizations with rTasks
Lingxiao Ma, Zhiqiang Xie, Zhi Yang, Jilong Xue, Youshan Miao, Wei Cui, Wenxiang Hu, Fan Yang, Lintao Zhang, Lidong Zhou
14th USENIX Symposium on Operating Systems Design and Implementation (OSDI'20) | November 2020
Byzantine Ordered Consensus without Byzantine Oligarchy
Yunhao Zhang, Srinath Setty, Qi Chen, Lidong Zhou, Lorenzo Alvisi
Operating Systems Design and Implementation (OSDI) | October 2020
Jay Lepreau Best Paper Award
AutoSys: The Design and Operation of Learning-Augmented Systems
Chieh-Jan Mike Liang, Hui Xue, Mao Yang, Lidong Zhou, Lifei Zhu, Zhao Lucis Li, Zibo Wang, Qi Chen, Quanlu Zhang, Chuanjie Liu, Wenjun Dai
ATC (USENIX Annual Technical Conference) | July 2020
NeuGraph: Parallel Deep Neural Network Computation on Large Graphs
Lingxiao Ma, Zhi Yang, Youshan Miao, Jilong Xue, Ming Wu, Lidong Zhou, Yafei Dai
2019 USENIX Annual Technical Conference | July 2019
Astra: Exploiting Predictability to Optimize Deep Learning
Muthian Sivathanu, Tapan Chugh, Sanjay S. Singapuram, Lidong Zhou
ACM Symposium on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2019) | April 2019
Fast Distributed Deep Learning over RDMA
Jilong Xue, Youshan Miao, Cheng Chen, Ming Wu, Lintao Zhang, Lidong Zhou
EuroSys | March 2019
Capturing and Enhancing In Situ System Observability for Failure Detection
Peng Huang (pehuan), Chuanxiong Guo, Jacob R. Lorch (lorch), Lidong Zhou, Yingnong Dang
Operating Systems Design and Implementation (OSDI) | October 2018
Gandiva: Introspective Cluster Scheduling for Deep Learning
Wencong Xiao, Romil Bhardwaj, Ramachandran Ramjee, Muthian Sivathanu, Nipun Kwatra, Zhenhua Han, Pratyush Patel, Xuan Peng, Hanyu Zhao, Quanlu Zhang, Fan Yang, Lidong Zhou
13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2018) | October 2018
Gray Failure: The Achilles’ Heel of Cloud-Scale Systems
Ryan Huang, Chuanxiong Guo, Lidong Zhou, Jay Lorch, Yingnong Dang, Murali Chintalapati, Randolph Yao
Proceedings of the ACM Workshop on Hot Topics in Operating Systems (HotOS) | May 2017
TuX2: Distributed Graph Computation for Machine Learning
Jilong Xue, Youshan Miao, Cheng Chen, Ming Wu, Lidong Zhou
14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17) | March 2017
ISBN: 978-1-931971-37-9
Realizing the fault-tolerance promise of cloud storage using locks with intent
Srinath Setty, Chunzhi Su, Jay Lorch, Lidong Zhou, Hao Chen, Parveen Patel, Jinglei Ren
Operating Systems Design and Implementation (OSDI) | November 2016
STREAMSCOPE: continuous reliable distributed processing of big data streams
Wei Lin, Haochuan Fan, Zhengping Qian, Jun Xu, Sen Yang, Jingren Zhou, Lidong Zhou
2016 Networked Systems Design and Implementation | March 2016
GraM: Scaling Graph Computation to the Trillions
Ming Wu, Fan Yang, Jilong Xue, Wencong Xiao, Youshan Miao, Lan Wei, Haoxiang Lin, Yafei Dai, Lidong Zhou
SoCC 2015 | August 2015
The 6th ACM Symposium on Cloud Computing
Apollo: Scalable and Coordinated Scheduling for Cloud-Scale Computing
Eric Boutin, Jaliya Ekanayake, Wei Lin, Bing Shi, Jingren Zhou, Zhengping Qian, Ming Wu, Lidong Zhou
OSDI '14 | October 2014
The 11th USENIX Symposium on Operating Systems Design and Implementation
Cybertron: Pushing the Limit on I/O Reduction in Data-Parallel Programs
Tian Xiao, Zhenyu Guo, Hucheng Zhou, Jiaxing Zhang, Xu Zhao, Chencheng Ye, Xi Wang, Wei Lin, Wenguang Chen, Lidong Zhou
OOPSLA | June 2014
Nondeterminism in MapReduce Considered Harmful? An Empirical Study on Non-commutative Aggregators in MapReduce Programs
Tian Xiao, Jiaxing Zhang, Hucheng Zhou, Zhenyu Guo, Sean McDirmid, Wei Lin, Wenguang Chen, Lidong Zhou
April 2014
Chronos: A Graph Engine for Temporal Graph Analysis
Wentao Han, Youshan Miao, Kaiwei Li, Ming Wu, Vijayan Prabhakaran, Wenguang Chen, Enhong Chen, Fan Yang, Lidong Zhou
EuroSys | April 2014
Rex: Replication at the Speed of Multi-core
Zhenyu Guo, Chuntao Hong, Mao Yang, Dong Zhou, Lidong Zhou, Li Zhuang
EuroSys '14: Proceedings of the Ninth European Conference on Computer Systems | January 2014
Failure Recovery: When the Cure Is Worse Than the Disease
Zhenyu Guo, Sean McDirmid, Mao Yang, Li Zhuang, Pu Zhang, Yingwei Luo, Tom Bergan, Peter Bodík, Madan Musuvathi, Zheng Zhang, Lidong Zhou
HotOS | May 2013
HotOS
TimeStream: Reliable Stream Computation in the Cloud
Lidong Zhou, Yuan Yu, Zheng Zhang, Zhengping Qian
EuroSys 2013 | April 2013
Updated version
Managing Large Graphs on Multi-Cores with Graph Awareness
Vijayan Prabhakaran, Ming Wu, Xuetian Weng, Frank McSherry, Lidong Zhou, Maya Haridasan
USENIX Annual Technical Conference (USENIX ATC'12) | June 2012
Optimizing Data Shuffling in Data-Parallel Computation by Understanding User-Defined Functions
Jiaxing Zhang, Hucheng Zhou, Rishan Chen, Xuepeng Fan, Zhenyu Guo, Haoxiang Lin, Jack Y.Li, Wei Lin, Jingren Zhou, Lidong Zhou
NSDI 2012 | April 2012
The 9th USENIX Symposium on Networked Systems Design and Implementation
Kineograph: taking the pulse of a fast-changing and connected world
Raymond Cheng, Ji Hong, Aapo Kyrola, Youshan Miao, Xuetian Weng, Ming Wu, Fan Yang, Lidong Zhou, Feng Zhao, Enhong Chen
ACM Eurosys | April 2012
Practical software model checking via dynamic interface reduction
Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Junfeng Yang, Lintao Zhang
October 2011
G2: A Graph Processing System for Diagnosing Distributed Systems
Zhenyu Guo, Dong Zhou, Haoxiang Lin, Mao Yang, Fan Long, Chaoqiang Deng, Changshu Liu, Lidong Zhou
USENIX ATC 2011 | June 2011
The 2011 USENIX Annual Technical Conference
Language-Based Replay via Data Flow Cut
Ming Wu, Fan Long, Xi Wang, Zhilei Xu, Haoxiang Lin, Xuezheng Liu, Zhenyu Guo, Lidong Zhou, Zheng Zhang, Huayang Guo
FSE-18 | November 2010
The 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering
Distributed Systems Meet Economics: Pricing in the Cloud
Hongyi Wang, Qingfeng Jing, Bingsheng He, Zhengping Qian, Lidong Zhou
HotCloud '10 | June 2010
HotCloud '10
MODIST: Transparent Model Checking of Unmodified Distributed Systems
Junfeng Yang, Tisheng Chen, Ming Wu, Zhilei Xu, Xuezheng Liu, Haoxiang Lin, Mao Yang, Fan Long, Lintao Zhang, Lidong Zhou
NSDI 2009 | April 2009
The 6th Symposium on Networked Systems Design and Implementation
Wave Computing in the Cloud
Mao Yang, Zhenyu Guo, Wei Lin, Bing Su, Lidong Zhou, Saven He
HotOS | April 2009
Vertical Paxos and Primary-Backup Replication
Leslie Lamport, Dahlia Malkhi, Lidong Zhou
The ACM Symposium on Principles of Distributed Computing (PODC 2009) | February 2009
Bouncer: Securing Software by Blocking Bad Input
Manuel Costa, Miguel Castro, Lidong Zhou, Lintao Zhang, Marcus Peinado
ACM Symposium on Operating Systems Principles (SOSP) | October 2007
ISBN: 978-1-59593-591-5
Graceful degradation via versions: specifications and implementations
Lidong Zhou, Vijayan Prabhakaran, Rama Ramasubramanian, Roy Levin, Chandu Thekkath
Symposium on Principles of Distributed Computing (PODC 2007) | August 2007
Chasing the Weakest System Model for Implementing Omega and Consensus (Brief Announcement)
Martin Hutle, Dahlia Malkhi, Ulrich Schmid, Lidong Zhou
In Eighth International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 06) | November 2006
Vigilante: end-to-end containment of internet worms
Manuel Costa, Jon Crowcroft, Miguel Castro, Ant Rowstron, Lintao Zhang, Lidong Zhou, Paul Barham
ACM Symposium on Operating Systems Principles (SOSP) | October 2005
A First Look at Peer-to-Peer Worms: Threats and Defenses
Lidong Zhou, Lintao Zhang, Frank McSherry, Nicole Immorlica, Manuel Costa, Steve Chien
4th International Workshop on Peer-To-Peer Systems (IPTPS '05) | February 2005
4th International Workshop on Peer-To-Peer Systems (IPTPS '05)
Boxwood: Abstractions as the Foundation for Storage Infrastructure
John MacCormick, Nick Murphy, Marc Najork, Chandu Thekkath, Lidong Zhou
Symposium on Operating System Design and Implementation (OSDI) | December 2004
Symposium on Operating System Design and Implementation (OSDI)
Implementing IPv6 as a Peer-to-Peer Overlay Network
Lidong Zhou, Robbert van Renesse, Michael Marsh
Proceedings of Workshop on Reliable Peer-to-Peer Distributed Systems (RPPDS '02) | October 2002
Proceedings of Workshop on Reliable Peer-to-Peer Distributed Systems (RPPDS '02)
-
Securing Ad Hoc Networks
Lidong Zhou, Zygmunt J. Haas
IEEE Networks Special Issue on Network Security | November 1999
Distributed Graph Computation Meets Machine Learning
Wencong Xiao, Jilong Xue, Youshan Miao, Zhen Li, Cheng Chen, Ming Wu, Wei Li, Lidong Zhou
IEEE Transactions on Parallel and Distributed Systems | January 2020, Vol 31(7): pp. 1588-1604
The Case for Learning-and-System Co-design
Chieh-Jan Mike Liang, Hui Xue, Mao Yang, Lidong Zhou
ACM SIGOPS Operating Systems Review | July 2019, Vol 53(1): pp. 68-74
ImmortalGraph: A System for Storage and Analysis of Temporal Graphs
Youshan Miao, Wentao Han, Kaiwei Li, Ming Wu, Vijayan Prabhakaran, Enhong Chen, Wenguang Chen, Fan Yang, Lidong Zhou
ACM Transactions on Storage (TOS) | July 2015
Spotting Code Optimizations in Data-Parallel Pipelines through PeriSCOPE
Zhenyu Guo, Xuepeng Fan, Rishan Chen, Jiaxing Zhang, Sean McDirmid, Chang Liu, Wei Lin, Hucheng Zhou, Jingren Zhou, Lidong Zhou
IEEE Transactions on Parallel & Distributed Systems | October 2012, Vol 26(6)
Building Reliable Large-Scale Distributed Systems: When Theory Meets Practice
Column 35, SIGACT News | September 2009, Vol 40(3)
Chasing the Weakest System Model for Implementing $Omega$ and Consensus
Martin Hutle, Dahlia Malkhi, Ulrich Schmid, Lidong Zhou
IEEE Transactions on Dependable and Secure Computing (TDSC) | January 2009
Vigilante: End-to-End Containment of Internet Worm Epidemics
Manuel Costa, Jon Crowcroft, Miguel Castro, Antony Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham, Ant Rowstron
ACM Transactions on Computer Systems | December 2008
Kinesis: A New Approach to Replica Placement in Distributed Storage Systems
J. MacCormick, N. Murphy, Rama Ramasubramanian, Udi Wieder, J. Yang, Lidong Zhou
Transactions on Storage | January 2008
APSS: proactive secret sharing in asynchronous systems
Lidong Zhou, Fred B. Schneider, Robbert Van Renesse
ACM Transactions on Information System Security | August 2005, Vol 8: pp. 259-286
COCA: A Secure Distributed On-line Certification Authority
Lidong Zhou, Fred B. Schneider, Robbert Van Renesse
Transactions on Computer Systems (TOCS) | November 2002, Vol 20: pp. 329-368
-
Optimizing Data Shuffling in Data-Parallel Computation by Understanding User-Defined Functions
Jiaxing Zhang, Hucheng Zhou, Rishan Chen, Xuepeng Fan, Zhenyu Guo, Haoxiang Lin, Jack Y. Li, Wei Lin, Jingren Zhou, Lidong Zhou
MSR-TR-2012-28 | April 2012
Published by Microsoft
Comet: Batched Stream Processing in Data Intensive Distributed Computing
Bingsheng He, Mao Yang, Zhenyu Guo, Rishan Chen, Bing Su, Wei Lin, Lidong Zhou
MSR-TR-2009-180 | December 2009
Vertical Paxos and Primary-Backup Replication
Leslie Lamport, Dahlia Malkhi, Lidong Zhou
MSR-TR-2009-63 | May 2009
Quorum-Based Perfect Failure Detection Service
Wei Chen, Xuezheng Liu, Lidong Zhou, Yunni Xia
MSR-TR-2009-62 | May 2009
Stoppable Paxos
Dahlia Malkhi, Leslie Lamport, Lidong Zhou
MSR-TR-2008-192 | April 2008
Reconfiguring a State Machine
Leslie Lamport, Dahlia Malkhi, Lidong Zhou
MSR-TR-2008-193 | February 2008
PacificA: Replication in Log-Based Distributed Storage Systems
Wei Lin, Mao Yang, Lintao Zhang, Lidong Zhou
MSR-TR-2008-25 | February 2008
Niobe: A Practical Replication Protocol
John MacCormick, Chandu Thekkath, Marcus Jager, Kristof Roomp, Lidong Zhou, Ryan Peterson
MSR-TR-2007-112 | August 2007
Omega Meets Paxos: Leader Election and Stability without Eventual Timely Links
Dahlia Malkhi, Florin Oprea, Lidong Zhou
MSR-TR-2005-93 | September 2005
19th Intl. Symposium on Distributed Computing (DISC 05)
A Multi-Radio Unification Protocol for IEEE 802.11 Wireless Networks
Atul Adya, Victor Bahl, Jitu Padhye, Alec Wolman, Lidong Zhou
MSR-TR-2003-44 | October 2004
1st International Conference on Broadband Networks (BROADNETS 2004)
Troubleshooting Multihop Wireless Networks
Lili Qiu, Paramvir Bahl, Ananth Rao, Lidong Zhou, Victor Bahl
MSR-TR-2004-11 | December 2003