Publications

Journals

• “P4: Programming Protocol-Independent Packet Processors.” Pat Bosshart, Dan Daly, Glen Gibb, Martin Izzard, Nick McKeown, Jennifer Rexford, Cole Schlesinger, Dan Talayco, Amin Vahdat, George Varghese, and David Walker. July 2014. In ACM SIGCOMM Computer Communication Review (CCR).

Conferences

• “NetLock: Fast, Centralized Lock Management Using Programmable Switches.” Zhuolong Yu, Yiwen Zhang, Vladimir Braverman, Mosharaf Chowdhury, Xin Jin. August 2020. In ACM SIGCOMM.
• “Switch Code Generation using Program Synthesis.” Xiangyu Gao, Taegyun Kim, Michael Dean Wong, Divya Raghunathan, Aatish Kishan Varma, Pravein Govindan Kannan, Anirudh Sivaraman, Srinivas Narayana. August 2020. In ACM SIGCOMM.
• “[operational] Scouts: Improving the Diagnosis Process Through Domain-customized Incident Routing.” Jiaqi Gao, Nofel Yaseen, Robert MacDavid, Felipe Vieira Frujeri, Vincent Liu, Ricardo Bianchini, Ramaswamy Aditya, Xiahoang Wang, Henry Lee, David Maltz, Minlan Yu, Behnaz Arzani. August 2020. In ACM SIGCOMM.
• “Mantis: Reactive Programmable Switches.” Liangcheng Yu, John Sonchack, Vincent Liu. August 2020. In ACM SIGCOMM.
• “Composing Dataplane Programs with μP4.” Hardik Soni, Myriana Rifai, Praveen Kumar, Ryan Doenges, Nate Foster,. August 2020. In ACM SIGCOMM.
• “A Public Option for the Core.” Yotam Harchol, Dirk Bergemann, Nick Feamster, Eric Friedman, Arvind Krishnamurthy, Aurojit Panda, Sylvia Ratnasamy, Michael Schapira, Scott Shenker. August 2020. In ACM SIGCOMM.
• “Microscope: Queue-based Performance Diagnosis for Network Functions.” Junzhi Gong, Yuliang Li, Bilal Anwer, Aman Shaikh, Minlan Yu. August 2020. In ACM SIGCOMM.
• “Lyra: A Cross-Platform Language and Compiler for Data Plane Programming on Heterogeneous ASICs.” Jiaqi Gao, Ennan Zhai, Hongqiang Harry Liu, Rui Miao, Yu Zhou, Bingchuan Tian, Chen Sun, Dennis Cai, Ming Zhang, Minlan Yu. August 2020. In ACM SIGCOMM.
• “PINT: Probabilistic In-band Network Telemetry.” Ran Ben Basat, Sivaramakrishnan Satyamangalam Ramanathan, Yuliang Li, Gianni Antichi, Minlan Yu, Michael Mitzenmacher. August 2020. In ACM SIGCOMM.
• “BeauCoup: Answering Many Network Traffic Queries, One Memory Update at a Time.” Xiaoqi Chen, Shir Landau-Feibish, Mark Braverman, Jennifer Rexford. August 2020. In ACM SIGCOMM.
• “Programmable Calendar Queues for Packet Scheduling.” Naveen Kr. Sharma, Chenxingyu Zhao, and Ming Liu, Pravein Govindan, Changhoon Kim, Arvind Krishnamurthy, Anirudh Sivaraman. February 2020. In USENIX NSDI.
• “Building An Elastic Warehouse on Disaggregated Persistent Storage.” Midhul Vuppalapati, Justin Miron, Rachit Agarwal, Dan Truong, Ashish Motivala, and Thierry Cruanes. February 2020. In USENIX NSDI.
• “Enabling Programmable Transport Protocols in High-Speed NICs.” Mina Tahmasbi Arashloo and Alexey Lavrov, Manya Ghobadi, Jennifer Rexford, David Walker, and David Wentzlaff. February 2020. In USENIX NSDI.
• “Contra: A Programmable System for Performance-aware Routing.” Kuo-Feng Hsu, Ryan Beckett, Ang Chen, Jennifer Rexford, Praveen Tammana, and David Walker. February 2020. In USENIX NSDI.
• “I10: A Remote Storage I/O Stack for High-Performance Network and Storage Hardware.” Jaehyun Hwang, Qizhe Cai, Rachit Agarwal, and Ao Tang. February 2020. In USENIX NSDI.
• “Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time.” Steffen Smolka, Nate Foster, Justin Hsu, Tobias Kappé, Dexter Kozen, Alexandra Silva. January 2020. In POPL 2020. Distinguished Paper Award.
• “Abstract Interpretation of Distributed Network Control Planes.” Ryan Beckett, Aarti Gupta,Ratul Mahajan, David Walker. January 2020. In POPL 2020.
• “Neural Packet Classification.” Eric Liang, Hang Zhu and Xin Jin, Ion Stoica. August 2019. In ACM SIGCOMM.
• “PicNIC: Predictable Virtualized NIC.” Praveen Kumar, Nandita Dukkipati, Nathan Lewis, Yi Cui, Yaogong Wang, Chonggang Li, Valas Valancius, Jake Adriaens, Steve Gribble and Amin Vahdat, Nate Foster. August 2019. In ACM SIGCOMM. Best Student Paper Award.
• “Fast, Scalable Programmable Packet Scheduler in Hardware.” Vishal Shrivastav. August 2019. In ACM SIGCOMM.
• “Elmo: Source-Routed Multicast for Public Clouds.” Muhammad Shahbaz, Lalith Suresh, Jennifer Rexford, Nick Feamster, Ori Rottenstreich, Mukesh Hira. August 2019. In ACM SIGCOMM.
• “HPCC: High Precision Congestion Control.” Yuliang Li, Rui Miao, Hongqiang Harry Liu, Yan Zhuang, Fei Feng, Lingbo Tang, Zheng Cao and Ming Zhang, Frank Kelly, Mohammad Alizadeh, Minlan Yu. August 2019. In ACM SIGCOMM.
• “Scalable Verification of Probabilistic Networks.” Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva. June 2019. In PLDI 2019.
• “DistCache: Provable Load Balancing for Large-Scale Storage Systems with Distributed Caching.” Zaoxing Liu and Zhihao Bai, Zhenming Liu, Xiaozhou Li, Changhoon Kim, Vladimir Braverman and Xin Jin, Ion Stoica. February 2019. In USENIX FAST. Best Paper Award.

Workshops

Posters

Dissertations