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
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
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
Yuming Xu, Hengyu Liang, Jin Li, Shuotao Xu, Qi Chen, Qianxi Zhang, Cheng Li , Ziyue Yang, Fan Yang, Yuqing Yang, Peng Cheng, Mao Yang
SOSP'23 | October 2023
Microsoft Research Blog
https://www.microsoft.com/en-us/research/blog/unified-database-laying-the-foundation-for-large-language-model-vertical-applications/
Wei Cui, Qianxi Zhang, Jesús Camacho-Rodríguez, Spyros Blanas, Brandon Haynes, Yinan Li, Peng Cheng, Ravishankar Ramamurthy, Rathijit Sen, Matteo Interlandi
June 2023
Changho Hwang, Ran Shu, Peng Cheng, Yongqiang Xiong, KyoungSoo Park
NSDI | April 2023
Diandian Gu, Yihao Zhao, Yinmin Zhong, Yifan Xiong, Zhenhua Han, Peng Cheng, Fan Yang, Gang Huang, Xin Jin, Xuanzhe Liu
ASPLOS 2023 | March 2023
Xiaoyu Chen, Xiangming Zhu, Yufeng Zheng, Pushi Zhang, Li Zhao, Wenxue Cheng, Peng Cheng, Yongqiang Xiong, Tao Qin, Jianyu Chen, Tie-Yan Liu
Proceedings of the 36th Conference on Neural Information Processing Systems (NeurIPS) | October 2022
Wei Zhang , Binghao Chen, Zhenhua Han, Quan Chen, Peng Cheng, Fan Yang, Ran Shu, Yuqing Yang, Minyi Guo
2022 USENIX Annual Technical Conference | July 2022
Ziyuan Liu, Zhixiong Niu, Ran Shu, Peng Cheng, Wenxue Cheng, Yongqiang Xiong, Lihua Yuan, Jacob Nelson, Dan R. K. Ports
6th Asia-Pacific Workshop on Networking (APNet '22) | July 2022
Jeongyoon Eo, Zhixiong Niu, Wenxue Cheng, Francis Y. Yan, Rui Gao, Jorina Kardhashi, Scott Inglis, Michael Revow, Byung-Gon Chun, Peng Cheng, Yongqiang Xiong
Asia-Pacific Workshop on Networking (APNet ’22) | July 2022
Best Paper Award
Changho Hwang, Wei Cui, Yifan Xiong, Ziyue Yang, Ze Liu, Han Hu, Zilong Wang, Rafael Salas, Jithin Jose, Prabhat Ram, Joe Chau, Peng Cheng, Fan Yang, Mao Yang, Yongqiang Xiong
July 2022
Jinhao Fan, Ziyue Yang, Ran Shu, Peng Cheng, Yongqiang Xiong
The 12th ACM SIGOPS Asia-Pacific Workshop on Systems | August 2021
Taehyun Kim, Changho Hwang, KyoungSoo Park, Zhiqi Lin, Peng Cheng, Youshan Miao, Lingxiao Ma, Yongqiang Xiong
August 2021
Ran Shu, Peng Cheng, Guo Chen, Zhiyuan Guo, Lei Qu, Yongqiang Xiong, Derek Chiou, Thomas Moscibroda
NSDI | March 2019
Danfeng Shan, Fengyuan Ren, Peng Cheng, Ran Shu, Chuanxiong Guo
ICNP | September 2018
Yuanwei Lu, Guo Chen, Bojie Li, Kun Tan, Yongqiang Xiong, Peng Cheng, Jiansong Zhang, Enhong Chen, Thomas Moscibroda
NSDI | April 2018
Zhixiong Niu, Hong Xu, Dongsu Han, Peng Cheng, Yongqiang Xiong, Guo Chen, Keith Winstein
HotNets-XVI | December 2017
Shuihai Hu, Yibo Zhu, Peng Cheng, Chuanxiong Guo, Kun Tan, Jitu Padhye, Kai Chen
CoNEXT | November 2017
ISBN: 978-1-4503-5422-6
Jiansong Zhang, Yongqiang Xiong, Ningyi Xu, Ran Shu, Bojie Li, Peng Cheng, Guo Chen, Thomas Moscibroda
ACM APSys | September 2017
ISBN: 978-1-4503-5197-3
Yuanwei Lu, Guo Chen, Zhenyuan Ruan, Wencong Xiao, Bojie Li, Jiansong Zhang, Yongqiang Xiong, Peng Cheng, Enhong Chen
ACM APNet | August 2017
ISBN: 978-1-4503-5244-4
Tong Zhang, Peng Cheng, Wenxue Cheng, Bo Wang, Fengyuan Ren
IEEE IWQos | July 2017
ISBN: 978-1-5386-2704-4
Shuihai Hu, Yibo Zhu, Peng Cheng, Chuanxiong Guo, Kun Tan, Jitu Padhye, Kai Chen
HotNets-XV | November 2016
Bojie Li, Kun Tan, Larry Luo, Renqian Luo, Yanqing Peng, Ningyi Xu, Yongqiang Xiong, Peng Cheng
ACM SIGCOMM | July 2016
Yuanwei Lu, Yuan Meng, Dan Pei, Peng Cheng, Larry Luo, Yongqiang Xiong, Xiaoliang Wang, Youjian Zhao
Annual Technical Conference | June 2016
Jiao Zhang, Fengyuan Ren, Ran Shu, Peng Cheng
EuroSys | April 2016
Chi-Yu Li, Peng Cheng, Songwu Lu, Xinbing Wang, Fengyuan Ren, Tao Wang
IEEE Transactions on Mobile Computing | July 2015
Peng Cheng, Fengyuan Ren, Ran Shu, Chuang Lin
NSDI | April 2014
Wen Chen, Peng Cheng, Fengyuan Ren, Ran Shu, Chuang Lin
ICDCS | July 2013
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
Changho Hwang, Ran Shu, Peng Cheng, Yongqiang Xiong, KyoungSoo Park
NSDI | April 2023
Xiaoyu Chen, Xiangming Zhu, Yufeng Zheng, Pushi Zhang, Li Zhao, Wenxue Cheng, Peng Cheng, Yongqiang Xiong, Tao Qin, Jianyu Chen, Tie-Yan Liu
Proceedings of the 36th Conference on Neural Information Processing Systems (NeurIPS) | October 2022
Jeongyoon Eo, Zhixiong Niu, Wenxue Cheng, Francis Y. Yan, Rui Gao, Jorina Kardhashi, Scott Inglis, Michael Revow, Byung-Gon Chun, Peng Cheng, Yongqiang Xiong
Asia-Pacific Workshop on Networking (APNet ’22) | July 2022
Best Paper Award
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
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
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
Yuming Xu, Hengyu Liang, Jin Li, Shuotao Xu, Qi Chen, Qianxi Zhang, Cheng Li , Ziyue Yang, Fan Yang, Yuqing Yang, Peng Cheng, Mao Yang
SOSP'23 | October 2023
Microsoft Research Blog
https://www.microsoft.com/en-us/research/blog/unified-database-laying-the-foundation-for-large-language-model-vertical-applications/
Changho Hwang, Ran Shu, Peng Cheng, Yongqiang Xiong, KyoungSoo Park
NSDI | April 2023
Diandian Gu, Yihao Zhao, Yinmin Zhong, Yifan Xiong, Zhenhua Han, Peng Cheng, Fan Yang, Gang Huang, Xin Jin, Xuanzhe Liu
ASPLOS 2023 | March 2023
Wei Zhang , Binghao Chen, Zhenhua Han, Quan Chen, Peng Cheng, Fan Yang, Ran Shu, Yuqing Yang, Minyi Guo
2022 USENIX Annual Technical Conference | July 2022
Changho Hwang, Wei Cui, Yifan Xiong, Ziyue Yang, Ze Liu, Han Hu, Zilong Wang, Rafael Salas, Jithin Jose, Prabhat Ram, Joe Chau, Peng Cheng, Fan Yang, Mao Yang, Yongqiang Xiong
July 2022
Ziyuan Liu, Zhixiong Niu, Ran Shu, Peng Cheng, Wenxue Cheng, Yongqiang Xiong, Lihua Yuan, Jacob Nelson, Dan R. K. Ports
6th Asia-Pacific Workshop on Networking (APNet '22) | July 2022
Jeongyoon Eo, Zhixiong Niu, Wenxue Cheng, Francis Y. Yan, Rui Gao, Jorina Kardhashi, Scott Inglis, Michael Revow, Byung-Gon Chun, Peng Cheng, Yongqiang Xiong
Asia-Pacific Workshop on Networking (APNet ’22) | July 2022
Best Paper Award
Jinhao Fan, Ziyue Yang, Ran Shu, Peng Cheng, Yongqiang Xiong
The 12th ACM SIGOPS Asia-Pacific Workshop on Systems | August 2021
Taehyun Kim, Changho Hwang, KyoungSoo Park, Zhiqi Lin, Peng Cheng, Youshan Miao, Lingxiao Ma, Yongqiang Xiong
August 2021
Ran Shu, Peng Cheng, Guo Chen, Zhiyuan Guo, Lei Qu, Yongqiang Xiong, Derek Chiou, Thomas Moscibroda
NSDI | March 2019
Danfeng Shan, Fengyuan Ren, Peng Cheng, Ran Shu, Chuanxiong Guo
ICNP | September 2018
Yuanwei Lu, Guo Chen, Bojie Li, Kun Tan, Yongqiang Xiong, Peng Cheng, Jiansong Zhang, Enhong Chen, Thomas Moscibroda
NSDI | April 2018
Zhixiong Niu, Hong Xu, Dongsu Han, Peng Cheng, Yongqiang Xiong, Guo Chen, Keith Winstein
HotNets-XVI | December 2017
Shuihai Hu, Yibo Zhu, Peng Cheng, Chuanxiong Guo, Kun Tan, Jitu Padhye, Kai Chen
CoNEXT | November 2017
ISBN: 978-1-4503-5422-6
Jiansong Zhang, Yongqiang Xiong, Ningyi Xu, Ran Shu, Bojie Li, Peng Cheng, Guo Chen, Thomas Moscibroda
ACM APSys | September 2017
ISBN: 978-1-4503-5197-3
Yuanwei Lu, Guo Chen, Zhenyuan Ruan, Wencong Xiao, Bojie Li, Jiansong Zhang, Yongqiang Xiong, Peng Cheng, Enhong Chen
ACM APNet | August 2017
ISBN: 978-1-4503-5244-4
Tong Zhang, Peng Cheng, Wenxue Cheng, Bo Wang, Fengyuan Ren
IEEE IWQos | July 2017
ISBN: 978-1-5386-2704-4
Shuihai Hu, Yibo Zhu, Peng Cheng, Chuanxiong Guo, Kun Tan, Jitu Padhye, Kai Chen
HotNets-XV | November 2016
Bojie Li, Kun Tan, Larry Luo, Renqian Luo, Yanqing Peng, Ningyi Xu, Yongqiang Xiong, Peng Cheng
ACM SIGCOMM | July 2016
Yuanwei Lu, Yuan Meng, Dan Pei, Peng Cheng, Larry Luo, Yongqiang Xiong, Xiaoliang Wang, Youjian Zhao
Annual Technical Conference | June 2016
Jiao Zhang, Fengyuan Ren, Ran Shu, Peng Cheng
EuroSys | April 2016
Chi-Yu Li, Peng Cheng, Songwu Lu, Xinbing Wang, Fengyuan Ren, Tao Wang
IEEE Transactions on Mobile Computing | July 2015
Peng Cheng, Fengyuan Ren, Ran Shu, Chuang Lin
NSDI | April 2014
Wen Chen, Peng Cheng, Fengyuan Ren, Ran Shu, Chuang Lin
ICDCS | July 2013
Wei Cui, Qianxi Zhang, Jesús Camacho-Rodríguez, Spyros Blanas, Brandon Haynes, Yinan Li, Peng Cheng, Ravishankar Ramamurthy, Rathijit Sen, Matteo Interlandi
June 2023
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
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
Yuming Xu, Hengyu Liang, Jin Li, Shuotao Xu, Qi Chen, Qianxi Zhang, Cheng Li , Ziyue Yang, Fan Yang, Yuqing Yang, Peng Cheng, Mao Yang
SOSP'23 | October 2023
Microsoft Research Blog
https://www.microsoft.com/en-us/research/blog/unified-database-laying-the-foundation-for-large-language-model-vertical-applications/
Wei Cui, Qianxi Zhang, Jesús Camacho-Rodríguez, Spyros Blanas, Brandon Haynes, Yinan Li, Peng Cheng, Ravishankar Ramamurthy, Rathijit Sen, Matteo Interlandi
June 2023
Changho Hwang, Ran Shu, Peng Cheng, Yongqiang Xiong, KyoungSoo Park
NSDI | April 2023
Diandian Gu, Yihao Zhao, Yinmin Zhong, Yifan Xiong, Zhenhua Han, Peng Cheng, Fan Yang, Gang Huang, Xin Jin, Xuanzhe Liu
ASPLOS 2023 | March 2023
Xiaoyu Chen, Xiangming Zhu, Yufeng Zheng, Pushi Zhang, Li Zhao, Wenxue Cheng, Peng Cheng, Yongqiang Xiong, Tao Qin, Jianyu Chen, Tie-Yan Liu
Proceedings of the 36th Conference on Neural Information Processing Systems (NeurIPS) | October 2022
Wei Zhang , Binghao Chen, Zhenhua Han, Quan Chen, Peng Cheng, Fan Yang, Ran Shu, Yuqing Yang, Minyi Guo
2022 USENIX Annual Technical Conference | July 2022
Changho Hwang, Wei Cui, Yifan Xiong, Ziyue Yang, Ze Liu, Han Hu, Zilong Wang, Rafael Salas, Jithin Jose, Prabhat Ram, Joe Chau, Peng Cheng, Fan Yang, Mao Yang, Yongqiang Xiong
July 2022
Ziyuan Liu, Zhixiong Niu, Ran Shu, Peng Cheng, Wenxue Cheng, Yongqiang Xiong, Lihua Yuan, Jacob Nelson, Dan R. K. Ports
6th Asia-Pacific Workshop on Networking (APNet '22) | July 2022
Jeongyoon Eo, Zhixiong Niu, Wenxue Cheng, Francis Y. Yan, Rui Gao, Jorina Kardhashi, Scott Inglis, Michael Revow, Byung-Gon Chun, Peng Cheng, Yongqiang Xiong
Asia-Pacific Workshop on Networking (APNet ’22) | July 2022
Best Paper Award
Jinhao Fan, Ziyue Yang, Ran Shu, Peng Cheng, Yongqiang Xiong
The 12th ACM SIGOPS Asia-Pacific Workshop on Systems | August 2021
Taehyun Kim, Changho Hwang, KyoungSoo Park, Zhiqi Lin, Peng Cheng, Youshan Miao, Lingxiao Ma, Yongqiang Xiong
August 2021
Ran Shu, Peng Cheng, Guo Chen, Zhiyuan Guo, Lei Qu, Yongqiang Xiong, Derek Chiou, Thomas Moscibroda
NSDI | March 2019
Danfeng Shan, Fengyuan Ren, Peng Cheng, Ran Shu, Chuanxiong Guo
ICNP | September 2018
Yuanwei Lu, Guo Chen, Bojie Li, Kun Tan, Yongqiang Xiong, Peng Cheng, Jiansong Zhang, Enhong Chen, Thomas Moscibroda
NSDI | April 2018
Zhixiong Niu, Hong Xu, Dongsu Han, Peng Cheng, Yongqiang Xiong, Guo Chen, Keith Winstein
HotNets-XVI | December 2017
Shuihai Hu, Yibo Zhu, Peng Cheng, Chuanxiong Guo, Kun Tan, Jitu Padhye, Kai Chen
CoNEXT | November 2017
ISBN: 978-1-4503-5422-6
Jiansong Zhang, Yongqiang Xiong, Ningyi Xu, Ran Shu, Bojie Li, Peng Cheng, Guo Chen, Thomas Moscibroda
ACM APSys | September 2017
ISBN: 978-1-4503-5197-3
Yuanwei Lu, Guo Chen, Zhenyuan Ruan, Wencong Xiao, Bojie Li, Jiansong Zhang, Yongqiang Xiong, Peng Cheng, Enhong Chen
ACM APNet | August 2017
ISBN: 978-1-4503-5244-4
Tong Zhang, Peng Cheng, Wenxue Cheng, Bo Wang, Fengyuan Ren
IEEE IWQos | July 2017
ISBN: 978-1-5386-2704-4
Shuihai Hu, Yibo Zhu, Peng Cheng, Chuanxiong Guo, Kun Tan, Jitu Padhye, Kai Chen
HotNets-XV | November 2016
Bojie Li, Kun Tan, Larry Luo, Renqian Luo, Yanqing Peng, Ningyi Xu, Yongqiang Xiong, Peng Cheng
ACM SIGCOMM | July 2016
Yuanwei Lu, Yuan Meng, Dan Pei, Peng Cheng, Larry Luo, Yongqiang Xiong, Xiaoliang Wang, Youjian Zhao
Annual Technical Conference | June 2016
Jiao Zhang, Fengyuan Ren, Ran Shu, Peng Cheng
EuroSys | April 2016
Peng Cheng, Fengyuan Ren, Ran Shu, Chuang Lin
NSDI | April 2014
Wen Chen, Peng Cheng, Fengyuan Ren, Ran Shu, Chuang Lin
ICDCS | July 2013
Chi-Yu Li, Peng Cheng, Songwu Lu, Xinbing Wang, Fengyuan Ren, Tao Wang
IEEE Transactions on Mobile Computing | July 2015