Can Large Language Models Verify System Software? A Case Study Using FSCQ as a Benchmark
Jianxing Qin, Alexander Du, Danfeng Zhang, Matthew Lentz, Danyang Zhuo
(To Appear In) HotOS 2025
MCCS: A Service-based Approach to Collective Communication for Multi-Tenant Cloud
Yongji Wu, Yechen Xu, Jingrong Chen, Zhaodong Wang, Ying Zhang, Matthew Lentz, Danyang Zhuo
SIGCOMM 2024
articlePaper
slideshowTalk
codeCode
homeProject
DrSec: Flexible Distributed Representations for Efficient Endpoint Security
Mahmood Sharif, Pubali Datta, Andy Riddle, Kim Westfall, Adam Bates, Vijay Ganti, Matthew Lentz, David Ott
IEEE S&P 2024
articlePaper
Dissecting Overheads of Service Mesh Sidecars
Xiangfeng Zhu, Guozhen She, Bowen Xue, Yu Zhang, Yongsu Zhang, Xuan Kelvin Zou, XiongChun Duan, Peng He, Arvind Krishnamurthy, Matthew Lentz, Danyang Zhuo, Ratul Mahajan
SoCC 2023
articlePaper
slideshowTalk
codeCode
Serving and Optimizing Machine Learning Workflows on Heterogeneous Infrastructures
Yongji Wu, Matthew Lentz, Danyang Zhuo, Yao Lu
VLDB 2023
articlePaper
codeCode
Remote Procedure Call as a Managed System Service
Jingrong Chen*, Yongji Wu*, Shihan Lin, Yechen Xu, Xinhao Kong, Thomas Anderson, Matthew Lentz, Xiaowei Yang, Danyang Zhuo
NSDI 2023
articlePaper
slideshowTalk
codeCode
homeProject
Listening to Bluetooth Beacons for Epidemic Risk Mitigation
Gilles Barthe, Roberta De Viti, Peter Druschel, Deepak Garg, Manuel Gomez-Rodriguez, Pierfrancesco Ingo, Heiner Kremer, Matthew Lentz, Lars Lorch, Aastha Mehta, Bernhard Schölkopf
Nature Scientific Reports 2022
articlePaper
codeCode
Poirot: Private Contact Summary Aggregation
Chenghong Wang, David Pujol, Yanping Zhang, Johes Bater, Matthew Lentz, Ashwin Machanavajjhala, Kartik Nayak, Lavanya Vasudevan, Jun Yang
NeurIPS PPML 2020
articlePaper
slideshowTalk
homeProject
enClosure: Group Communication via Encounter Closures
Lillian Tsai, Roberta De Viti, Matthew Lentz, Stefan Saroiu, Peter Druschel, Bobby Bhattacharjee
MobiSys 2019
articlePaper
codeCode
homeProject
Dynamic Frequency Resource Allocation in Heterogeneous Cellular Networks
Vaibhav Singh, Matthew Lentz, Bobby Bhattacharjee, Richard La, Mark Shayman
IEEE TMC 2016
articlePaper