2018

{ResQ: Enabling SLOs in Network Function Virtualization}, Amin Tootoonchian and Aurojit Panda and Chang Lan and Melvin Walls and Katerina Argyraki and Sylvia Ratnasamy and Scott Shenker, NSDI, 2018

2017

{Language-Directed Hardware Design for Network Performance Monitoring}, Srinivas Narayana and Anirudh Sivaraman and Vikram Nathan and Prateesh Goyal and Venkat Arun and Mohammad Alizadeh and Vimalkumar Jeyakumar and Changhoon Kim, SIGCOMM, 2017

{dRMT: Disaggregated Programmable Switching}, Sharad Chole and Andy Fingerhut and Sha Ma and Anirudh Sivaraman and Shay Vargaftik and Alon Berger and Gal Mendelson and Mohammad Alizadeh and Shang-Tse Chuang and Isaac Keslassy and Ariel Orda and Tom Edsall, SIGCOMM, 2017

{Encoding, Fast and Slow: Low-Latency Video Processing Using Thousands of Tiny Threads}, Sadjad Fouladi and Riad S. Wahby and Brennan Shacklett and Karthikeyan Vasuki Balasubramaniam and William Zeng and Rahul Bhalerao and Anirudh Sivaraman and George Porter and Keith Winstein, NSDI, 2017

{Proofs-of-delay and randomness beacons in Ethereum}, Benedikt Bunz and Steven Goldfeder and Joseph Bonneau, S&B '17: Proceedings of the 1st IEEE Security & Privacy on the Blockchain Workshop, 2017

{Certificate Transparency with Privacy}, Saba Eskandarian and Eran Messeri and Joseph Bonneau and Dan Boneh, The 17th Privacy Enhancing Technologies Symposium, 2017

{Can Unicorns Help Users Compare Crypto Key Fingerprints?}, Joshua Tan and Lujo Bauer and Joseph Bonneau and Lorrie Faith Cranor and Jeremy Thomas and Blase Ur, The 2017 ACM CHI Conference on Human Factors in Computing Systems, 2017

{Escrow protocols for cryptocurrencies: How to buy physical goods using Bitcoin}, Steven Goldfeder and Joseph Bonneau and Rosario Gennaro and Arvind Narayanan, FC '17: Proceedings of the the 21st International Conference on Financial Cryptography, 2017

{Obstacles to the Adoption of Secure Communication Tools}, Ruba Abu-Salma and M. Angela Sasse and Joseph Bonneau and Anastasia Danilova and Alena Naiakshina and Matthew Smith, 2017 IEEE Symposium on Security and Privacy, 2017

Extracting More Intra-transaction Parallelism with Work Stealing for OLTP Workloads, Xiaozhou Zhou and Zhaoguo Wang and Rong Chen and Haibo Chen and Jinyang Li, 8th ACM SIGOPS Asia-Pacific Workshop on Systems (APSys'17, Best paper award), 2017

Giza: Erasure Coding Objects across Global Data Centers, Yu Lin Chen and Shuai Mu and Jinyang Li and Cheng Huang and Jin Li and Aaron Ogus and Douglas Phillips, USENIX Annual Technical Conference, 2017

The Efficient Server Audit Problem, Deduplicated Re-execution, and the Web, Cheng Tan and Lingfan Yu and Joshua B. Leners and Michael Walfish, Proc. ACM Symposium on Operating Systems Principles (SOSP), 2017

Full accounting for verifiable outsourcing, Riad S. Wahby and Ye Ji and Andrew J. Blumberg and abhi shelat and Justin Thaler and Michael Walfish and Thomas Wies, Proc.\ \smcpit{ACM} Conference on Computer and Communications Security (\smcpit{CCS}), 2017

Pretzel: Email encryption and provider-supplied functions are compatible, Trinabh Gupta and Henrique Fingler and Lorenzo Alvisi and Michael Walfish, ACM SIGCOMM, 2017

Drizzle: Fast and Adaptable Stream Processing at Scale, Shivaram Venkataraman and Aurojit Panda and Kay Ousterhout and Ali Ghodsi and Michael J. Franklin and Benjamin Recht and Ion Stoica, SOSP, 2017

{Verification in the Age of Microservices}, Aurojit Panda and Mooly Sagiv and Scott Shenker, {HotOS}, 2017

{System Programming in Rust: Beyond Safety}, Abhiram Balasubramanian and Marek S. Baranowski and Anton Burtsev and Aurojit Panda and Zvonimir Rakamaric and Leonid Ryzhyk, {HotOS}, 2017

{SCL: Simplifying Distributed SDN Control Planes}, Panda, Aurojit and Wenting Zheng and Xiaohe Hu and Arvind Krishnamurthy and Scott Shenker, NSDI, 2017

{Verifying Reachability in Networks with Mutable Datapaths}, Panda, Aurojit and Ori Lahav and Katerina Argyraki and Mooly Sagiv and Scott Shenker, NSDI, 2017

2016

{Hardware-Software Co-Design for Network Performance Measurement}, Narayana, Srinivas and Sivaraman, Anirudh and Nathan, Vikram and Alizadeh, Mohammad and Walker, David and Rexford, Jennifer and Jeyakumar, Vimalkumar and Kim, Changhoon, HotNets, 2016

{Programmable Packet Scheduling at Line Rate}, Anirudh Sivaraman and Suvinay Subramanian and Mohammad Alizadeh and Sharad Chole and Shang-Tse Chuang and Anurag Agrawal and Hari Balakrishnan and Tom Edsall and Sachin Katti and Nick McKeown, SIGCOMM, 2016

{Packet Transactions: High-Level Programming for Line-Rate Switches}, Sivaraman, Anirudh and Cheung, Alvin and Budiu, Mihai and Kim, Changhoon and Alizadeh, Mohammad and Balakrishnan, Hari and Varghese, George and McKeown, Nick and Licking, Steve, SIGCOMM, 2016

{HULA: Scalable Load Balancing Using Programmable Data Planes}, Katta, Naga and Hira, Mukesh and Kim, Changhoon and Sivaraman, Anirudh and Rexford, Jennifer, SOSR, 2016

Consolidating Concurrency Control and Consensus for Commits under Conflicts, Shuai Mu and Lamont Nelson and Wyatt Lloyd and Jinyang Li, USENIX Operating System Design and Implementation (OSDI), 2016

Balancing CPU and Network in the Cell Distributed B-Tree Store, Christopher Mitchell, Kate Montgomery, Lamont Nelson, Siddhartha Sen, Jinyang Li, USENIX Annual Technical Conference, 2016

Scaling Multicore Databases via Constrained Parallel Execution, Zhaoguo Wang and Shuai Mu and Yang Cui and Han Yi and Haibo Chen and Jinyang Li, ACM SIGMOD, 2016

Defending Against Malicious Peripherals with {C}inch, Sebastian Angel and Riad S. Wahby and Max Howald and Joshua B. Leners and Michael Spilo and Zhen Sun and Andrew J. Blumberg and Michael Walfish, USENIX Security Symposium, 2016

Verifiable {ASIC}s, Riad S. Wahby and Max Howald and Siddharth Garg and abhi shelat and Michael Walfish, Proc.\ \smcpit{IEEE} Symposium on Security and Privacy, 2016

Scalable and private media consumption with {P}opcorn, Trinabh Gupta and Natacha Crooks and Whitney Mulhern and Srinath Setty and Lorenzo Alvisi and Michael Walfish, Proc. Symposium on Networked Systems Design and Implementation (NSDI), 2016

{Some Complexity Results for Stateful Network Verification}, Yaron Velner and Kalev Alpernas and Aurojit Panda and Alexander Rabinovich and Mooly Sagiv and Scott Shenker and Sharon Shoham, TACAS, 2016

{Ivy: Interactive Verification of Parametrized Systems via Effectively Propositional Reasoning}, Oded Padon and Kenneth McMillan and Aurojit Panda and Mooly Sagiv and Sharon Shoham, PLDI, 2016

{Minimizing Faulty Executions of Distributed Systems}, Colin Scott and Aurojit Panda and Vjeko Brajkovic and George Necula and Arvind Krishnamurthy and Scott Shenker, NSDI, 2016

{The Quest for Resilient (Static) Forwarding Tables}, Marco Chiesa and Ilya Nikolaevskiy and Slobodan Mitrovic and Aurojit Panda and Andrei Gurtov and Aleksander Madry and Michael Schapira and Scott Shenker, INFOCOM, 2016

{NetBricks: Taking the V out of NFV}, Panda, Aurojit and Han, Sangjin and Jang, Keon and Walls, Melvin and Ratnasamy, Sylvia and Shenker, Scott, OSDI, 2016

{SoftFlow: A Middlebox Architecture for Open vSwitch}, Jackson, Ethan J and Walls, Melvin and Panda, Aurojit and Pettit, Justin and Pfaff, Ben and Rajahalme, Jarno and Koponen, Teemu and Shenker, Scott, {USENIX ATC}, 2016

{Open Network Interfaces for Carrier Networks}, Panda, Aurojit and McCauley, James Murphy and Tootoonchian, Amin and Sherry, Justine and Koponen, Teemu and Ratnasamy, Syliva and Shenker, Scott, , 2016

{Recursive SDN for Carrier Networks}, McCauley, James and Liu, Zhi and Panda, Aurojit and Koponen, Teemu and Raghavan, Barath and Rexford, Jennifer and Shenker, Scott, , 2016

2015

{Towards Programmable Packet Scheduling}, Sivaraman, Anirudh and Subramanian, Suvinay and Agrawal, Anurag and Chole, Sharad and Chuang, Shang-Tse and Edsall, Tom and Alizadeh, Mohammad and Katti, Sachin and McKeown, Nick and Balakrishnan, Hari, HotNets, 2015

{In-band network telemetry via programmable dataplanes}, Kim, Changhoon and Sivaraman, Anirudh and Katta, Naga and Bas, Antonin and Dixit, Advait and Wobker, Lawrence J, ACM SIGCOMM Industrial Demo Session, 2015

{Mahimahi: Accurate Record-and-Replay for {HTTP}}, Ravi Netravali and Anirudh Sivaraman and Somak Das and Ameesh Goyal and Keith Winstein and James Mickens and Hari Balakrishnan, USENIX ATC, 2015

{DC.P4: Programming the Forwarding Plane of a Data-center Switch}, Sivaraman, Anirudh and Kim, Changhoon and Krishnamoorthy, Ramkumar and Dixit, Advait and Budiu, Mihai, SOSR, 2015

Spartan: A Distributed Array Framework with Smart Tiling, Chien-Chin Huang and Qi Chen and Zhaoguo Wang and Russell Power and Jorge Ortiz and Jinyang Li and Zhen Xiao, USENIX Annual Technical Conference, 2015

Yesquel: Scalable {SQL} storage for Web applications, Marcos K. Aguilera and Joshua B. Leners and Michael Walfish, Proc. ACM Symposium on Operating Systems Principles (SOSP), 2015

Taming uncertainty in distributed systems with help from the network, Joshua B. Leners and Trinabh Gupta and Marcos K. Aguilera and Michael Walfish, Proc. ACM European Conference on Computer Systems (EuroSys), 2015

Efficient {RAM} and control flow in verifiable outsourced computation, Riad S. Wahby and Srinath Setty and Zuocheng Ren and Andrew J. Blumberg and Michael Walfish, Proc. Network and Distributed System Security Symposium (NDSS), 2015

Verifying computations without reexecuting them: From Theoretical Possibility to Near Practicality, Michael Walfish and Andrew J. Blumberg, Communications of ACM, 2015

{Rollback Recovery for Middleboxes}, Sherry, Justine and Gao, Peter X. and Basu, Soumya and Panda, Aurojit and Krishnamurthy, Arvind and Maciocco, Christian and Manesh, Maziar and Martins, Jo{\~a}o and Ratnasamy, Sylvia and Rizzo, Luigi and Shenker, Scott, SIGCOMM, 2015

{E2: A Framework for Network Function Virtualization}, Shoumik Palkar and Chang Lan and Sangjin Han and Aurojit Panda and Keon Jang and Sylvia Ratnasamy and Luigi Rizzo and Scott Shenker, SOSP, 2015

{New {D}irections for {N}etwork {V}erification}, Aurojit Panda and Katerina Argyraki and Mooly Sagiv and Michael Schapira and Scott Shenker, {SNAPL}, 2015

{Route Bazaar: Automatic Intedomain Contract Negotiation}, Ignacio Castro and Aurojit Panda and Barath Raghavan and Scott Shenker and Sergey Gorinsky, {HotOS}, 2015

2014

{WiFi, LTE, or Both?: Measuring Multi-Homed Wireless Internet Performance}, Deng, Shuo and Netravali, Ravi and Sivaraman, Anirudh and Balakrishnan, Hari, IMC, 2014

{Protocol Design Contests}, Sivaraman, Anirudh and Winstein, Keith and Varley, Pauline and Batalha, Jo\~{a}o and Goyal, Ameesh and Das, Somak and Ma, Joshua and Balakrishnan, Hari, , 2014

{An Experimental Study of the Learnability of Congestion Control}, Sivaraman, Anirudh and Winstein, Keith and Thaker, Pratiksha and Balakrishnan, Hari, SIGCOMM, 2014

{All Your Network Are Belong to Us: A Transport Framework for Mobile Network Selection}, Deng, Shuo and Sivaraman, Anirudh and Balakrishnan, Hari, HotMobile, 2014

Extracting More Concurrency from Distributed Transactions, Shuai Mu, Yang Cui, Yang Zhang, Wyatt Lloyd, Jinyang Li, 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI'14), 2014

Building a Scalable Multimedia Search Engine using Infiniband, Qi Chen, Yisheng Liao, Christopher Mitchell, Jinyang Li, Zhen Xiao, USENIX Workshop on Hot Topics in Cloud COmputing (HotCloud), 2014

Using Restricted Transactional Memory to Build a Scalable In-Memory Database, Zhaoguo Wang, Hao Qian, Jinyang Li and Haibo Chen, The European Conference on Computer Systems (EuroSys), 2014

{Troubleshooting Blackbox SDN Control Software with Minimal Causal Sequences}, Scott, Colin and Wundsam, Andreas and Raghavan, Barath and Panda, Aurojit and Or, Andrew and Lai, Jefferson and Huang, Eugene and Liu, Zhi and El-Hassany, Ahmed and Whitlock, Sam and Acharya, H.B., and Zarifis, Kyriakos and Shenker, Scott, {SIGCOMM}, 2014

{The Power of Choice in Data-Aware Cluster Scheduling}, Venkatraman, Shivaram and Panda, Aurojit and Ananthanarayanan, Ganesh and Franklin, Michael and Stoica, Ion, {OSDI}, 2014

{PRAN: Programmable Radio Access Networks}, Wu, Wenfei and Li, Li Erran and Panda, Aurojit and Shenker, Scott, {H}ot{N}ets, 2014

2013

{No Silver Bullet: Extending SDN to the Data Plane}, Anirudh Sivaraman and Keith Winstein and Suvinay Subramanian and Hari Balakrishnan, HotNets, 2013

{Stochastic Forecasts Achieve High Throughput and Low Delay over Cellular Networks}, Keith Winstein and Anirudh Sivaraman and Hari Balakrishnan, NSDI, 2013

Learning Random Forests on the GPU, Yisheng Liao, Alex Rubinsteyn, Russell Power and Jinyang Li, NIPS Workshop on Parallel and Large-scale Machine Learning (Big Learning) poster, 2013

Transaction chains: achieving serializability with low latency in geo-distributed storage systems, Yang Zhang, Russell Power, Siyuan Zhou, Yair Sovran, Marcos K. Aguilera and Jinyang Li, 24th ACM Symposium on Operating Systems Principles (SOSP), 2013

Using One-Sided RDMA Reads to Build a Fast, CPU-Efficient Key-Value Store, Christopher Mitchell, Yifeng Geng and Jinyang Li, USENIX Annual Technical Conference (USENIX ATC), 2013

Opportunities and pitfalls of multi-core scaling using Hardware Transaction Memory, Zhaoguo Wang, Hao Qian, Haibo Chen and Jinyang Li, Asia-Pacific Workshop on Systems (APsys), 2013

Verifying computations with state, B. Braun and A. J. Feldman and Z. Ren and S. Setty and A. J. Blumberg and M. Walfish, Proc. ACM Symposium on Operating Systems Principles (SOSP), 2013

Verifiable auctions for ad exchanges, S. Angel and M. Walfish, Proc. ACM SIGCOMM, 2013

A Hybrid Architecture for Interactive Verifiable Computation, V. Vu and S. Setty and A. J. Blumberg and M. Walfish, Proc.\ \smcpit{IEEE} Symposium on Security and Privacy, 2013

Resolving the conflict between generality and plausibility in verified computation, S. Setty and B. Braun and V. Vu and A. J. Blumberg and B. Parno and M. Walfish, Proc. ACM European Conference on Computer Systems (EuroSys), 2013

Improving availability in distributed systems with failure informers, J. B. Leners and T. Gupta and M. K. Aguilera and M. Walfish, Proc. Symposium on Networked Systems Design and Implementation (NSDI), 2013

{BlinkDB}: {Queries with Bounded Errors and Bounded Response Times on Very Large Data}, Agarwal, Sameer and Mozafari, Barzan and Panda, Aurojit and Milner, Henry and Madden, Samuel and Stoica, Ion, {EuroSys}, 2013

{CAP} for {N}etworks, Panda, Aurojit and Scott, Colin and Ghodsi, Ali and Koponen, Teemu and Shenker, Scott, {HotSDN}, 2013

{The Case for Tiny Tasks in Compute Clusters}, Ousterhout, Kay and Panda, Aurojit and Rosen, Joshua and Venkataraman, Shivaram and Xin, Reynold and Ratnasamy, Sylvia and Shenker, Scott and Stoica, Ion, {HotOS}, 2013

{Network Support for Resource Disaggregation in Next-Generation Datacenters}, Han, Sangjin and Egi, Norbert and Panda, Aurojit and Ratnasamy, Sylvia and Shi, Guangyu and Shenker, Scott, {H}ot{N}ets, 2013

{Ensuring Connectivity via Data Plane Mechanisms}, Liu, Junda and Panda, Aurojit and Singla, Ankit and Godfrey, Brighten and Schapira, Michael and Shenker, Scott, {NSDI}, 2013

2012

DIPLOMA: Consistent and coherent shared memory over mobile phones, J. Gao and A. Sivaraman and N. Agarwal and H. Li and L. S. Peh, ICCD, 2012

Oolong: Asynchronous Distributed Computation Made Easy, Christopher Mitchell, Russell Power and Jinyang Li, Asian-Pacific Workshop on Systems (APSys), 2012

Efficient cooperative backup with decentralized trust management, Nguyen Tran and Jinyang Li, , 2012

{Brief Announcement: On the Resilience of Routing Tables}, Feigenbaum, Joan and Godfrey, Brighten and Panda, Aurojit and Schapira, Michael and Shenker, Scott and Singla, Ankit, {PODC}, 2012

{A New Approach to Interdomain Routing Based on Secure Multi-Party Computation}, Gupta, Debayan and Segal, Aaron and Panda, Aurojit and Segev, Gil and Schapira, Michael and Feigenbaum, Joan and Rexford, Jenifer and Shenker, Scott, {H}ot{N}ets, 2012

2011

WiRE: A New Rural Connectivity Paradigm, Aditya Dhananjan, Matt Tierney, Jinyang Li and Lashminarayanan Subramanian, ACM SIGCOMM Demo, (Best Demo Award), 2011

Transactional storage for geo-replicated systems, Yair Sovran, Russell Power, Marcos K. Aguilera and Jinyang Li, ACM Symposium on Operating Systems Principles (SOSP), 2011

Optimal Sybil-resilient node admission control, Nguyen Tran, Jinyang Li, Lakshminarayanan Subramanian and Sherman S.M. Chow, IEEE International Conference on Computer Communications (INFOCOM), 2011

2010

Piccolo: Building Fast, Distributed Programs with Partitioned Tables, Russell Power and Jinyang Li, 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI), 2010

Hermes: Data Transmission over Unknown Voice Channels, Aditya Dhananjay and Ashlesh Sharma and Michael Paik and Jay Chen and Trishank Kuppusamy and Jinyang Li and Lakshminarayanan Subramanian, Proceedings of the 16th ACM Conference on Mobile Computing and Networking (Mobicom), 2010

Collusion-resilient Credit-based Reputations for Peer-to-peer Content Distribution, Nguyen Tran, Jinyang Li and Lakshminarayanan Submaranian, Workshop on the Economics of Networks, Systems, and Computation (NetEcon), 2010

Brief Announcement: Improving Social network based Sybil-resilient Node Admission Control, Nguyen Tran, Jinyang Li, Lakshminarayanan Submaranian and Sherman Chow, 29th ACM Symposium on Principles of Distributed Computing (PODC), 2010

2009

Simplifying Wide-Area Application Development with {W}heelFS, Jeremy Stribling and Yair Sovran and Irene Zhang and Xavid Pretzer and Jinyang Li and Frans Kaashoek and Robert Morris, Proc. of the 6th USENIX Symposium on Networked System Design and Implementation (NSDI), 2009

Sybil-Resilient Online Content Voting, Nguyen Tran, Bonan Min, Jinyang Li, Lakshmi Submaranian, Proc. of the 6th USENIX Symposium on Networked System Design and Implementation (NSDI), 2009

RuralCafe: Enhancing Web Search in Intermittent Networks, Jay Chen, Lakshminarayanan Subramanian and Jinyang Li, 18th International World Wide Web Conference (WWW), 2009

Design and Implementation of High-performance Dual-radio Mesh Networks, Aditya Dhananjay, Hui Zhang, Jinyang Li and Lakshminarayanan Subramanian, ACM SIGCOMM, 2009

2008

Friendstore: cooperative online backup using trusted nodes, Nguyen Tran, Frank Chiang and Jinyang Li, International Workshop on Social Network Systems (SocialNets), 2008

Pass it on: Social Networks Stymie Censors, Yair Sovran, Alana Libonati and Jinyang Li, Proc. of the 7th International Workshop on Peer-to-Peer Systems (IPTPS), 2008

2007

Don't Give Up on Distributed File Systems, Jeremy Stribling, Emil Sit, Frans Kaashoek, Jinyang Li and Robert Morris, Proc. of the 6th International Workshop on Peer-to-Peer Systems (IPTPS), 2007

Distributed Systems

Giza: Erasure Coding Objects across Global Data Centers, Yu Lin Chen and Shuai Mu and Jinyang Li and Cheng Huang and Jin Li and Aaron Ogus and Douglas Phillips, USENIX Annual Technical Conference, 2017

Consolidating Concurrency Control and Consensus for Commits under Conflicts, Shuai Mu and Lamont Nelson and Wyatt Lloyd and Jinyang Li, USENIX Operating System Design and Implementation (OSDI), 2016

Balancing CPU and Network in the Cell Distributed B-Tree Store, Christopher Mitchell, Kate Montgomery, Lamont Nelson, Siddhartha Sen, Jinyang Li, USENIX Annual Technical Conference, 2016

Spartan: A Distributed Array Framework with Smart Tiling, Chien-Chin Huang and Qi Chen and Zhaoguo Wang and Russell Power and Jorge Ortiz and Jinyang Li and Zhen Xiao, USENIX Annual Technical Conference, 2015

Extracting More Concurrency from Distributed Transactions, Shuai Mu, Yang Cui, Yang Zhang, Wyatt Lloyd, Jinyang Li, 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI'14), 2014

Building a Scalable Multimedia Search Engine using Infiniband, Qi Chen, Yisheng Liao, Christopher Mitchell, Jinyang Li, Zhen Xiao, USENIX Workshop on Hot Topics in Cloud COmputing (HotCloud), 2014

Transaction chains: achieving serializability with low latency in geo-distributed storage systems, Yang Zhang, Russell Power, Siyuan Zhou, Yair Sovran, Marcos K. Aguilera and Jinyang Li, 24th ACM Symposium on Operating Systems Principles (SOSP), 2013

Using One-Sided RDMA Reads to Build a Fast, CPU-Efficient Key-Value Store, Christopher Mitchell, Yifeng Geng and Jinyang Li, USENIX Annual Technical Conference (USENIX ATC), 2013

Oolong: Asynchronous Distributed Computation Made Easy, Christopher Mitchell, Russell Power and Jinyang Li, Asian-Pacific Workshop on Systems (APSys), 2012

Transactional storage for geo-replicated systems, Yair Sovran, Russell Power, Marcos K. Aguilera and Jinyang Li, ACM Symposium on Operating Systems Principles (SOSP), 2011

Piccolo: Building Fast, Distributed Programs with Partitioned Tables, Russell Power and Jinyang Li, 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI), 2010

Simplifying Wide-Area Application Development with {W}heelFS, Jeremy Stribling and Yair Sovran and Irene Zhang and Xavid Pretzer and Jinyang Li and Frans Kaashoek and Robert Morris, Proc. of the 6th USENIX Symposium on Networked System Design and Implementation (NSDI), 2009

Yesquel: Scalable {SQL} storage for Web applications, Marcos K. Aguilera and Joshua B. Leners and Michael Walfish, Proc. ACM Symposium on Operating Systems Principles (SOSP), 2015

Taming uncertainty in distributed systems with help from the network, Joshua B. Leners and Trinabh Gupta and Marcos K. Aguilera and Michael Walfish, Proc. ACM European Conference on Computer Systems (EuroSys), 2015

Improving availability in distributed systems with failure informers, J. B. Leners and T. Gupta and M. K. Aguilera and M. Walfish, Proc. Symposium on Networked Systems Design and Implementation (NSDI), 2013

Drizzle: Fast and Adaptable Stream Processing at Scale, Shivaram Venkataraman and Aurojit Panda and Kay Ousterhout and Ali Ghodsi and Michael J. Franklin and Benjamin Recht and Ion Stoica, SOSP, 2017

{SCL: Simplifying Distributed SDN Control Planes}, Panda, Aurojit and Wenting Zheng and Xiaohe Hu and Arvind Krishnamurthy and Scott Shenker, NSDI, 2017

{Brief Announcement: On the Resilience of Routing Tables}, Feigenbaum, Joan and Godfrey, Brighten and Panda, Aurojit and Schapira, Michael and Shenker, Scott and Singla, Ankit, {PODC}, 2012

{BlinkDB}: {Queries with Bounded Errors and Bounded Response Times on Very Large Data}, Agarwal, Sameer and Mozafari, Barzan and Panda, Aurojit and Milner, Henry and Madden, Samuel and Stoica, Ion, {EuroSys}, 2013

{CAP} for {N}etworks, Panda, Aurojit and Scott, Colin and Ghodsi, Ali and Koponen, Teemu and Shenker, Scott, {HotSDN}, 2013

{The Case for Tiny Tasks in Compute Clusters}, Ousterhout, Kay and Panda, Aurojit and Rosen, Joshua and Venkataraman, Shivaram and Xin, Reynold and Ratnasamy, Sylvia and Shenker, Scott and Stoica, Ion, {HotOS}, 2013

{Network Support for Resource Disaggregation in Next-Generation Datacenters}, Han, Sangjin and Egi, Norbert and Panda, Aurojit and Ratnasamy, Sylvia and Shi, Guangyu and Shenker, Scott, {H}ot{N}ets, 2013

{Ensuring Connectivity via Data Plane Mechanisms}, Liu, Junda and Panda, Aurojit and Singla, Ankit and Godfrey, Brighten and Schapira, Michael and Shenker, Scott, {NSDI}, 2013

{Troubleshooting Blackbox SDN Control Software with Minimal Causal Sequences}, Scott, Colin and Wundsam, Andreas and Raghavan, Barath and Panda, Aurojit and Or, Andrew and Lai, Jefferson and Huang, Eugene and Liu, Zhi and El-Hassany, Ahmed and Whitlock, Sam and Acharya, H.B., and Zarifis, Kyriakos and Shenker, Scott, {SIGCOMM}, 2014

{The Power of Choice in Data-Aware Cluster Scheduling}, Venkatraman, Shivaram and Panda, Aurojit and Ananthanarayanan, Ganesh and Franklin, Michael and Stoica, Ion, {OSDI}, 2014

{Route Bazaar: Automatic Intedomain Contract Negotiation}, Ignacio Castro and Aurojit Panda and Barath Raghavan and Scott Shenker and Sergey Gorinsky, {HotOS}, 2015

{Ivy: Interactive Verification of Parametrized Systems via Effectively Propositional Reasoning}, Oded Padon and Kenneth McMillan and Aurojit Panda and Mooly Sagiv and Sharon Shoham, PLDI, 2016

{Minimizing Faulty Executions of Distributed Systems}, Colin Scott and Aurojit Panda and Vjeko Brajkovic and George Necula and Arvind Krishnamurthy and Scott Shenker, NSDI, 2016

{The Quest for Resilient (Static) Forwarding Tables}, Marco Chiesa and Ilya Nikolaevskiy and Slobodan Mitrovic and Aurojit Panda and Andrei Gurtov and Aleksander Madry and Michael Schapira and Scott Shenker, INFOCOM, 2016

Security

{Proofs-of-delay and randomness beacons in Ethereum}, Benedikt Bunz and Steven Goldfeder and Joseph Bonneau, S&B '17: Proceedings of the 1st IEEE Security & Privacy on the Blockchain Workshop, 2017

{Certificate Transparency with Privacy}, Saba Eskandarian and Eran Messeri and Joseph Bonneau and Dan Boneh, The 17th Privacy Enhancing Technologies Symposium, 2017

{Can Unicorns Help Users Compare Crypto Key Fingerprints?}, Joshua Tan and Lujo Bauer and Joseph Bonneau and Lorrie Faith Cranor and Jeremy Thomas and Blase Ur, The 2017 ACM CHI Conference on Human Factors in Computing Systems, 2017

{Escrow protocols for cryptocurrencies: How to buy physical goods using Bitcoin}, Steven Goldfeder and Joseph Bonneau and Rosario Gennaro and Arvind Narayanan, FC '17: Proceedings of the the 21st International Conference on Financial Cryptography, 2017

{Obstacles to the Adoption of Secure Communication Tools}, Ruba Abu-Salma and M. Angela Sasse and Joseph Bonneau and Anastasia Danilova and Alena Naiakshina and Matthew Smith, 2017 IEEE Symposium on Security and Privacy, 2017

Optimal Sybil-resilient node admission control, Nguyen Tran, Jinyang Li, Lakshminarayanan Subramanian and Sherman S.M. Chow, IEEE International Conference on Computer Communications (INFOCOM), 2011

Collusion-resilient Credit-based Reputations for Peer-to-peer Content Distribution, Nguyen Tran, Jinyang Li and Lakshminarayanan Submaranian, Workshop on the Economics of Networks, Systems, and Computation (NetEcon), 2010

Brief Announcement: Improving Social network based Sybil-resilient Node Admission Control, Nguyen Tran, Jinyang Li, Lakshminarayanan Submaranian and Sherman Chow, 29th ACM Symposium on Principles of Distributed Computing (PODC), 2010

Sybil-Resilient Online Content Voting, Nguyen Tran, Bonan Min, Jinyang Li, Lakshmi Submaranian, Proc. of the 6th USENIX Symposium on Networked System Design and Implementation (NSDI), 2009

The Efficient Server Audit Problem, Deduplicated Re-execution, and the Web, Cheng Tan and Lingfan Yu and Joshua B. Leners and Michael Walfish, Proc. ACM Symposium on Operating Systems Principles (SOSP), 2017

Full accounting for verifiable outsourcing, Riad S. Wahby and Ye Ji and Andrew J. Blumberg and abhi shelat and Justin Thaler and Michael Walfish and Thomas Wies, Proc.\ \smcpit{ACM} Conference on Computer and Communications Security (\smcpit{CCS}), 2017

Pretzel: Email encryption and provider-supplied functions are compatible, Trinabh Gupta and Henrique Fingler and Lorenzo Alvisi and Michael Walfish, ACM SIGCOMM, 2017

Defending Against Malicious Peripherals with {C}inch, Sebastian Angel and Riad S. Wahby and Max Howald and Joshua B. Leners and Michael Spilo and Zhen Sun and Andrew J. Blumberg and Michael Walfish, USENIX Security Symposium, 2016

Verifiable {ASIC}s, Riad S. Wahby and Max Howald and Siddharth Garg and abhi shelat and Michael Walfish, Proc.\ \smcpit{IEEE} Symposium on Security and Privacy, 2016

Scalable and private media consumption with {P}opcorn, Trinabh Gupta and Natacha Crooks and Whitney Mulhern and Srinath Setty and Lorenzo Alvisi and Michael Walfish, Proc. Symposium on Networked Systems Design and Implementation (NSDI), 2016

Efficient {RAM} and control flow in verifiable outsourced computation, Riad S. Wahby and Srinath Setty and Zuocheng Ren and Andrew J. Blumberg and Michael Walfish, Proc. Network and Distributed System Security Symposium (NDSS), 2015

Verifying computations without reexecuting them: From Theoretical Possibility to Near Practicality, Michael Walfish and Andrew J. Blumberg, Communications of ACM, 2015

Verifying computations with state, B. Braun and A. J. Feldman and Z. Ren and S. Setty and A. J. Blumberg and M. Walfish, Proc. ACM Symposium on Operating Systems Principles (SOSP), 2013

Verifiable auctions for ad exchanges, S. Angel and M. Walfish, Proc. ACM SIGCOMM, 2013

A Hybrid Architecture for Interactive Verifiable Computation, V. Vu and S. Setty and A. J. Blumberg and M. Walfish, Proc.\ \smcpit{IEEE} Symposium on Security and Privacy, 2013

Resolving the conflict between generality and plausibility in verified computation, S. Setty and B. Braun and V. Vu and A. J. Blumberg and B. Parno and M. Walfish, Proc. ACM European Conference on Computer Systems (EuroSys), 2013

{A New Approach to Interdomain Routing Based on Secure Multi-Party Computation}, Gupta, Debayan and Segal, Aaron and Panda, Aurojit and Segev, Gil and Schapira, Michael and Feigenbaum, Joan and Rexford, Jenifer and Shenker, Scott, {H}ot{N}ets, 2012

Networking and Wireless

{Language-Directed Hardware Design for Network Performance Monitoring}, Srinivas Narayana and Anirudh Sivaraman and Vikram Nathan and Prateesh Goyal and Venkat Arun and Mohammad Alizadeh and Vimalkumar Jeyakumar and Changhoon Kim, SIGCOMM, 2017

{dRMT: Disaggregated Programmable Switching}, Sharad Chole and Andy Fingerhut and Sha Ma and Anirudh Sivaraman and Shay Vargaftik and Alon Berger and Gal Mendelson and Mohammad Alizadeh and Shang-Tse Chuang and Isaac Keslassy and Ariel Orda and Tom Edsall, SIGCOMM, 2017

{Hardware-Software Co-Design for Network Performance Measurement}, Narayana, Srinivas and Sivaraman, Anirudh and Nathan, Vikram and Alizadeh, Mohammad and Walker, David and Rexford, Jennifer and Jeyakumar, Vimalkumar and Kim, Changhoon, HotNets, 2016

{Programmable Packet Scheduling at Line Rate}, Anirudh Sivaraman and Suvinay Subramanian and Mohammad Alizadeh and Sharad Chole and Shang-Tse Chuang and Anurag Agrawal and Hari Balakrishnan and Tom Edsall and Sachin Katti and Nick McKeown, SIGCOMM, 2016

{Packet Transactions: High-Level Programming for Line-Rate Switches}, Sivaraman, Anirudh and Cheung, Alvin and Budiu, Mihai and Kim, Changhoon and Alizadeh, Mohammad and Balakrishnan, Hari and Varghese, George and McKeown, Nick and Licking, Steve, SIGCOMM, 2016

{HULA: Scalable Load Balancing Using Programmable Data Planes}, Katta, Naga and Hira, Mukesh and Kim, Changhoon and Sivaraman, Anirudh and Rexford, Jennifer, SOSR, 2016

{Towards Programmable Packet Scheduling}, Sivaraman, Anirudh and Subramanian, Suvinay and Agrawal, Anurag and Chole, Sharad and Chuang, Shang-Tse and Edsall, Tom and Alizadeh, Mohammad and Katti, Sachin and McKeown, Nick and Balakrishnan, Hari, HotNets, 2015

{In-band network telemetry via programmable dataplanes}, Kim, Changhoon and Sivaraman, Anirudh and Katta, Naga and Bas, Antonin and Dixit, Advait and Wobker, Lawrence J, ACM SIGCOMM Industrial Demo Session, 2015

{Mahimahi: Accurate Record-and-Replay for {HTTP}}, Ravi Netravali and Anirudh Sivaraman and Somak Das and Ameesh Goyal and Keith Winstein and James Mickens and Hari Balakrishnan, USENIX ATC, 2015

{DC.P4: Programming the Forwarding Plane of a Data-center Switch}, Sivaraman, Anirudh and Kim, Changhoon and Krishnamoorthy, Ramkumar and Dixit, Advait and Budiu, Mihai, SOSR, 2015

{WiFi, LTE, or Both?: Measuring Multi-Homed Wireless Internet Performance}, Deng, Shuo and Netravali, Ravi and Sivaraman, Anirudh and Balakrishnan, Hari, IMC, 2014

{Protocol Design Contests}, Sivaraman, Anirudh and Winstein, Keith and Varley, Pauline and Batalha, Jo\~{a}o and Goyal, Ameesh and Das, Somak and Ma, Joshua and Balakrishnan, Hari, , 2014

{An Experimental Study of the Learnability of Congestion Control}, Sivaraman, Anirudh and Winstein, Keith and Thaker, Pratiksha and Balakrishnan, Hari, SIGCOMM, 2014

{All Your Network Are Belong to Us: A Transport Framework for Mobile Network Selection}, Deng, Shuo and Sivaraman, Anirudh and Balakrishnan, Hari, HotMobile, 2014

{No Silver Bullet: Extending SDN to the Data Plane}, Anirudh Sivaraman and Keith Winstein and Suvinay Subramanian and Hari Balakrishnan, HotNets, 2013

{Stochastic Forecasts Achieve High Throughput and Low Delay over Cellular Networks}, Keith Winstein and Anirudh Sivaraman and Hari Balakrishnan, NSDI, 2013

WiRE: A New Rural Connectivity Paradigm, Aditya Dhananjan, Matt Tierney, Jinyang Li and Lashminarayanan Subramanian, ACM SIGCOMM Demo, (Best Demo Award), 2011

Hermes: Data Transmission over Unknown Voice Channels, Aditya Dhananjay and Ashlesh Sharma and Michael Paik and Jay Chen and Trishank Kuppusamy and Jinyang Li and Lakshminarayanan Subramanian, Proceedings of the 16th ACM Conference on Mobile Computing and Networking (Mobicom), 2010

Design and Implementation of High-performance Dual-radio Mesh Networks, Aditya Dhananjay, Hui Zhang, Jinyang Li and Lakshminarayanan Subramanian, ACM SIGCOMM, 2009

Pretzel: Email encryption and provider-supplied functions are compatible, Trinabh Gupta and Henrique Fingler and Lorenzo Alvisi and Michael Walfish, ACM SIGCOMM, 2017

Taming uncertainty in distributed systems with help from the network, Joshua B. Leners and Trinabh Gupta and Marcos K. Aguilera and Michael Walfish, Proc. ACM European Conference on Computer Systems (EuroSys), 2015

Verifiable auctions for ad exchanges, S. Angel and M. Walfish, Proc. ACM SIGCOMM, 2013

Improving availability in distributed systems with failure informers, J. B. Leners and T. Gupta and M. K. Aguilera and M. Walfish, Proc. Symposium on Networked Systems Design and Implementation (NSDI), 2013

{ResQ: Enabling SLOs in Network Function Virtualization}, Amin Tootoonchian and Aurojit Panda and Chang Lan and Melvin Walls and Katerina Argyraki and Sylvia Ratnasamy and Scott Shenker, NSDI, 2018

{SCL: Simplifying Distributed SDN Control Planes}, Panda, Aurojit and Wenting Zheng and Xiaohe Hu and Arvind Krishnamurthy and Scott Shenker, NSDI, 2017

{Verifying Reachability in Networks with Mutable Datapaths}, Panda, Aurojit and Ori Lahav and Katerina Argyraki and Mooly Sagiv and Scott Shenker, NSDI, 2017

{Brief Announcement: On the Resilience of Routing Tables}, Feigenbaum, Joan and Godfrey, Brighten and Panda, Aurojit and Schapira, Michael and Shenker, Scott and Singla, Ankit, {PODC}, 2012

{A New Approach to Interdomain Routing Based on Secure Multi-Party Computation}, Gupta, Debayan and Segal, Aaron and Panda, Aurojit and Segev, Gil and Schapira, Michael and Feigenbaum, Joan and Rexford, Jenifer and Shenker, Scott, {H}ot{N}ets, 2012

{CAP} for {N}etworks, Panda, Aurojit and Scott, Colin and Ghodsi, Ali and Koponen, Teemu and Shenker, Scott, {HotSDN}, 2013

{Ensuring Connectivity via Data Plane Mechanisms}, Liu, Junda and Panda, Aurojit and Singla, Ankit and Godfrey, Brighten and Schapira, Michael and Shenker, Scott, {NSDI}, 2013

{Troubleshooting Blackbox SDN Control Software with Minimal Causal Sequences}, Scott, Colin and Wundsam, Andreas and Raghavan, Barath and Panda, Aurojit and Or, Andrew and Lai, Jefferson and Huang, Eugene and Liu, Zhi and El-Hassany, Ahmed and Whitlock, Sam and Acharya, H.B., and Zarifis, Kyriakos and Shenker, Scott, {SIGCOMM}, 2014

{PRAN: Programmable Radio Access Networks}, Wu, Wenfei and Li, Li Erran and Panda, Aurojit and Shenker, Scott, {H}ot{N}ets, 2014

{Rollback Recovery for Middleboxes}, Sherry, Justine and Gao, Peter X. and Basu, Soumya and Panda, Aurojit and Krishnamurthy, Arvind and Maciocco, Christian and Manesh, Maziar and Martins, Jo{\~a}o and Ratnasamy, Sylvia and Rizzo, Luigi and Shenker, Scott, SIGCOMM, 2015

{E2: A Framework for Network Function Virtualization}, Shoumik Palkar and Chang Lan and Sangjin Han and Aurojit Panda and Keon Jang and Sylvia Ratnasamy and Luigi Rizzo and Scott Shenker, SOSP, 2015

{New {D}irections for {N}etwork {V}erification}, Aurojit Panda and Katerina Argyraki and Mooly Sagiv and Michael Schapira and Scott Shenker, {SNAPL}, 2015

{Route Bazaar: Automatic Intedomain Contract Negotiation}, Ignacio Castro and Aurojit Panda and Barath Raghavan and Scott Shenker and Sergey Gorinsky, {HotOS}, 2015

{Some Complexity Results for Stateful Network Verification}, Yaron Velner and Kalev Alpernas and Aurojit Panda and Alexander Rabinovich and Mooly Sagiv and Scott Shenker and Sharon Shoham, TACAS, 2016

{The Quest for Resilient (Static) Forwarding Tables}, Marco Chiesa and Ilya Nikolaevskiy and Slobodan Mitrovic and Aurojit Panda and Andrei Gurtov and Aleksander Madry and Michael Schapira and Scott Shenker, INFOCOM, 2016

{NetBricks: Taking the V out of NFV}, Panda, Aurojit and Han, Sangjin and Jang, Keon and Walls, Melvin and Ratnasamy, Sylvia and Shenker, Scott, OSDI, 2016

{SoftFlow: A Middlebox Architecture for Open vSwitch}, Jackson, Ethan J and Walls, Melvin and Panda, Aurojit and Pettit, Justin and Pfaff, Ben and Rajahalme, Jarno and Koponen, Teemu and Shenker, Scott, {USENIX ATC}, 2016

{Open Network Interfaces for Carrier Networks}, Panda, Aurojit and McCauley, James Murphy and Tootoonchian, Amin and Sherry, Justine and Koponen, Teemu and Ratnasamy, Syliva and Shenker, Scott, , 2016

{Recursive SDN for Carrier Networks}, McCauley, James and Liu, Zhi and Panda, Aurojit and Koponen, Teemu and Raghavan, Barath and Rexford, Jennifer and Shenker, Scott, , 2016

Systems in General

{Encoding, Fast and Slow: Low-Latency Video Processing Using Thousands of Tiny Threads}, Sadjad Fouladi and Riad S. Wahby and Brennan Shacklett and Karthikeyan Vasuki Balasubramaniam and William Zeng and Rahul Bhalerao and Anirudh Sivaraman and George Porter and Keith Winstein, NSDI, 2017

{Mahimahi: Accurate Record-and-Replay for {HTTP}}, Ravi Netravali and Anirudh Sivaraman and Somak Das and Ameesh Goyal and Keith Winstein and James Mickens and Hari Balakrishnan, USENIX ATC, 2015

DIPLOMA: Consistent and coherent shared memory over mobile phones, J. Gao and A. Sivaraman and N. Agarwal and H. Li and L. S. Peh, ICCD, 2012

Extracting More Intra-transaction Parallelism with Work Stealing for OLTP Workloads, Xiaozhou Zhou and Zhaoguo Wang and Rong Chen and Haibo Chen and Jinyang Li, 8th ACM SIGOPS Asia-Pacific Workshop on Systems (APSys'17, Best paper award), 2017

Scaling Multicore Databases via Constrained Parallel Execution, Zhaoguo Wang and Shuai Mu and Yang Cui and Han Yi and Haibo Chen and Jinyang Li, ACM SIGMOD, 2016

Using Restricted Transactional Memory to Build a Scalable In-Memory Database, Zhaoguo Wang, Hao Qian, Jinyang Li and Haibo Chen, The European Conference on Computer Systems (EuroSys), 2014

Learning Random Forests on the GPU, Yisheng Liao, Alex Rubinsteyn, Russell Power and Jinyang Li, NIPS Workshop on Parallel and Large-scale Machine Learning (Big Learning) poster, 2013

Opportunities and pitfalls of multi-core scaling using Hardware Transaction Memory, Zhaoguo Wang, Hao Qian, Haibo Chen and Jinyang Li, Asia-Pacific Workshop on Systems (APsys), 2013

RuralCafe: Enhancing Web Search in Intermittent Networks, Jay Chen, Lakshminarayanan Subramanian and Jinyang Li, 18th International World Wide Web Conference (WWW), 2009

Friendstore: cooperative online backup using trusted nodes, Nguyen Tran, Frank Chiang and Jinyang Li, International Workshop on Social Network Systems (SocialNets), 2008

Efficient cooperative backup with decentralized trust management, Nguyen Tran and Jinyang Li, , 2012

Pass it on: Social Networks Stymie Censors, Yair Sovran, Alana Libonati and Jinyang Li, Proc. of the 7th International Workshop on Peer-to-Peer Systems (IPTPS), 2008

Don't Give Up on Distributed File Systems, Jeremy Stribling, Emil Sit, Frans Kaashoek, Jinyang Li and Robert Morris, Proc. of the 6th International Workshop on Peer-to-Peer Systems (IPTPS), 2007

The Efficient Server Audit Problem, Deduplicated Re-execution, and the Web, Cheng Tan and Lingfan Yu and Joshua B. Leners and Michael Walfish, Proc. ACM Symposium on Operating Systems Principles (SOSP), 2017

Defending Against Malicious Peripherals with {C}inch, Sebastian Angel and Riad S. Wahby and Max Howald and Joshua B. Leners and Michael Spilo and Zhen Sun and Andrew J. Blumberg and Michael Walfish, USENIX Security Symposium, 2016

Scalable and private media consumption with {P}opcorn, Trinabh Gupta and Natacha Crooks and Whitney Mulhern and Srinath Setty and Lorenzo Alvisi and Michael Walfish, Proc. Symposium on Networked Systems Design and Implementation (NSDI), 2016

Yesquel: Scalable {SQL} storage for Web applications, Marcos K. Aguilera and Joshua B. Leners and Michael Walfish, Proc. ACM Symposium on Operating Systems Principles (SOSP), 2015

Taming uncertainty in distributed systems with help from the network, Joshua B. Leners and Trinabh Gupta and Marcos K. Aguilera and Michael Walfish, Proc. ACM European Conference on Computer Systems (EuroSys), 2015

Efficient {RAM} and control flow in verifiable outsourced computation, Riad S. Wahby and Srinath Setty and Zuocheng Ren and Andrew J. Blumberg and Michael Walfish, Proc. Network and Distributed System Security Symposium (NDSS), 2015

Verifying computations without reexecuting them: From Theoretical Possibility to Near Practicality, Michael Walfish and Andrew J. Blumberg, Communications of ACM, 2015

Verifying computations with state, B. Braun and A. J. Feldman and Z. Ren and S. Setty and A. J. Blumberg and M. Walfish, Proc. ACM Symposium on Operating Systems Principles (SOSP), 2013

A Hybrid Architecture for Interactive Verifiable Computation, V. Vu and S. Setty and A. J. Blumberg and M. Walfish, Proc.\ \smcpit{IEEE} Symposium on Security and Privacy, 2013

Resolving the conflict between generality and plausibility in verified computation, S. Setty and B. Braun and V. Vu and A. J. Blumberg and B. Parno and M. Walfish, Proc. ACM European Conference on Computer Systems (EuroSys), 2013

{ResQ: Enabling SLOs in Network Function Virtualization}, Amin Tootoonchian and Aurojit Panda and Chang Lan and Melvin Walls and Katerina Argyraki and Sylvia Ratnasamy and Scott Shenker, NSDI, 2018

Drizzle: Fast and Adaptable Stream Processing at Scale, Shivaram Venkataraman and Aurojit Panda and Kay Ousterhout and Ali Ghodsi and Michael J. Franklin and Benjamin Recht and Ion Stoica, SOSP, 2017

{Verification in the Age of Microservices}, Aurojit Panda and Mooly Sagiv and Scott Shenker, {HotOS}, 2017

{System Programming in Rust: Beyond Safety}, Abhiram Balasubramanian and Marek S. Baranowski and Anton Burtsev and Aurojit Panda and Zvonimir Rakamaric and Leonid Ryzhyk, {HotOS}, 2017

{BlinkDB}: {Queries with Bounded Errors and Bounded Response Times on Very Large Data}, Agarwal, Sameer and Mozafari, Barzan and Panda, Aurojit and Milner, Henry and Madden, Samuel and Stoica, Ion, {EuroSys}, 2013

{The Case for Tiny Tasks in Compute Clusters}, Ousterhout, Kay and Panda, Aurojit and Rosen, Joshua and Venkataraman, Shivaram and Xin, Reynold and Ratnasamy, Sylvia and Shenker, Scott and Stoica, Ion, {HotOS}, 2013

{Network Support for Resource Disaggregation in Next-Generation Datacenters}, Han, Sangjin and Egi, Norbert and Panda, Aurojit and Ratnasamy, Sylvia and Shi, Guangyu and Shenker, Scott, {H}ot{N}ets, 2013

{Troubleshooting Blackbox SDN Control Software with Minimal Causal Sequences}, Scott, Colin and Wundsam, Andreas and Raghavan, Barath and Panda, Aurojit and Or, Andrew and Lai, Jefferson and Huang, Eugene and Liu, Zhi and El-Hassany, Ahmed and Whitlock, Sam and Acharya, H.B., and Zarifis, Kyriakos and Shenker, Scott, {SIGCOMM}, 2014

{The Power of Choice in Data-Aware Cluster Scheduling}, Venkatraman, Shivaram and Panda, Aurojit and Ananthanarayanan, Ganesh and Franklin, Michael and Stoica, Ion, {OSDI}, 2014

{Rollback Recovery for Middleboxes}, Sherry, Justine and Gao, Peter X. and Basu, Soumya and Panda, Aurojit and Krishnamurthy, Arvind and Maciocco, Christian and Manesh, Maziar and Martins, Jo{\~a}o and Ratnasamy, Sylvia and Rizzo, Luigi and Shenker, Scott, SIGCOMM, 2015

{E2: A Framework for Network Function Virtualization}, Shoumik Palkar and Chang Lan and Sangjin Han and Aurojit Panda and Keon Jang and Sylvia Ratnasamy and Luigi Rizzo and Scott Shenker, SOSP, 2015

{Route Bazaar: Automatic Intedomain Contract Negotiation}, Ignacio Castro and Aurojit Panda and Barath Raghavan and Scott Shenker and Sergey Gorinsky, {HotOS}, 2015

{Ivy: Interactive Verification of Parametrized Systems via Effectively Propositional Reasoning}, Oded Padon and Kenneth McMillan and Aurojit Panda and Mooly Sagiv and Sharon Shoham, PLDI, 2016

{Minimizing Faulty Executions of Distributed Systems}, Colin Scott and Aurojit Panda and Vjeko Brajkovic and George Necula and Arvind Krishnamurthy and Scott Shenker, NSDI, 2016

{NetBricks: Taking the V out of NFV}, Panda, Aurojit and Han, Sangjin and Jang, Keon and Walls, Melvin and Ratnasamy, Sylvia and Shenker, Scott, OSDI, 2016

{SoftFlow: A Middlebox Architecture for Open vSwitch}, Jackson, Ethan J and Walls, Melvin and Panda, Aurojit and Pettit, Justin and Pfaff, Ben and Rajahalme, Jarno and Koponen, Teemu and Shenker, Scott, {USENIX ATC}, 2016

{Open Network Interfaces for Carrier Networks}, Panda, Aurojit and McCauley, James Murphy and Tootoonchian, Amin and Sherry, Justine and Koponen, Teemu and Ratnasamy, Syliva and Shenker, Scott, , 2016