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

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

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

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

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

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

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

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

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

Security

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

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

Networking and Wireless

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

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

Systems in General

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

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