Jinyang Li

Ang Li

Weiwen Jiang

Proceedings of the IEEE International Conference on Acoustics, 2024

2023

Proving Query Equivalence Using Linear Integer Arithmetic.

[BibT_eX]

[DOI]

Proc. ACM Manag. Data, December, 2023

Fine-Grained Re-Execution for Efficient Batched Commit of Distributed Transactions.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2023

Stateful Large Language Model Serving with Pensieve.

[BibT_eX]

[DOI]

Lingfan Yu

CoRR, 2023

QuMoS: A Framework for Preserving Security of Quantum Machine Learning Model.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023

A Novel Spatial-Temporal Variational Quantum Circuit to Enable Deep Learning on NISQ Devices.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023

Carbon Emissions of Quantum Circuit Simulation: More than You Would Think.

[BibT_eX]

[DOI]

Proceedings of the 14th International Green and Sustainable Computing Conference, 2023

Database Deadlock Diagnosis for Large-Scale ORM-Based Web Applications.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE International Conference on Data Engineering, 2023

NNSmith: Generating Diverse and Valid Test Cases for Deep Learning Compilers.

[BibT_eX]

[DOI]

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2022

Finding Deep-Learning Compilation Bugs with NNSmith.

[BibT_eX]

[DOI]

CoRR, 2022

WeTune: Automatic Discovery and Verification of Query Rewrite Rules.

[BibT_eX]

[DOI]

Proceedings of the SIGMOD '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022

Measuring the Effect of Training Data on Deep Learning Predictions via Randomized Experiments.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Machine Learning, 2022

On the Design of Quantum Graph Convolutional Neural Network in the NISQ-Era and Beyond.

[BibT_eX]

[DOI]

Proceedings of the IEEE 40th International Conference on Computer Design, 2022

2021

Polyjuice: High-Performance Transactions via Learned Concurrency Control.

[BibT_eX]

[DOI]

Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation, 2021

2020

Scalable Graph Neural Networks for Heterogeneous Graphs.

[BibT_eX]

[DOI]

CoRR, 2020

EGGS: Sparsity-Specific Code Generation.

[BibT_eX]

[DOI]

Comput. Graph. Forum, 2020

SwapAdvisor: Pushing Deep Learning Beyond the GPU Memory Limit via Smart Swapping.

[BibT_eX]

[DOI]

Chien-Chin Huang

Gu Jin

Proceedings of the ASPLOS '20: Architectural Support for Programming Languages and Operating Systems, 2020

2019

Deep Graph Library: Towards Efficient and Scalable Deep Learning on Graphs.

[BibT_eX]

[DOI]

CoRR, 2019

On the Parallels between Paxos and Raft, and how to Port Optimizations.

[BibT_eX]

[DOI]

Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, 2019

Supporting Very Large Models using Automatic Dataflow Graph Partitioning.

[BibT_eX]

[DOI]

Minjie Wang

Chien-Chin Huang

Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019

2018

Unifying Data, Model and Hybrid Parallelism in Deep Learning via Tensor Tiling.

[BibT_eX]

[DOI]

Minjie Wang

Chien-Chin Huang

CoRR, 2018

Low latency RNN inference with cellular batching.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth EuroSys Conference, 2018

2017

Giza: Erasure Coding Objects across Global Data Centers.

[BibT_eX]

[DOI]

Proceedings of the 2017 USENIX Annual Technical Conference, 2017

Extracting More Intra-transaction Parallelism with Work Stealing for OLTP Workloads.

[BibT_eX]

[DOI]

Proceedings of the 8th Asia-Pacific Workshop on Systems, Mumbai, India, September 2, 2017, 2017

2016

Balancing CPU and Network in the Cell Distributed B-Tree Store.

[BibT_eX]

[DOI]

Proceedings of the 2016 USENIX Annual Technical Conference, 2016

Scaling Multicore Databases via Constrained Parallel Execution.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Management of Data, 2016

Consolidating Concurrency Control and Consensus for Commits under Conflicts.

[BibT_eX]

[DOI]

Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

2015

Spartan: A Distributed Array Framework with Smart Tiling.

[BibT_eX]

[DOI]

Proceedings of the 2015 USENIX Annual Technical Conference, 2015

2014

Extracting More Concurrency from Distributed Transactions.

[BibT_eX]

[DOI]

Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

Building Scalable Multimedia Search Engine Using Infiniband.

[BibT_eX]

[DOI]

Proceedings of the 6th USENIX Workshop on Hot Topics in Cloud Computing, 2014

Using restricted transactional memory to build a scalable in-memory database.

[BibT_eX]

[DOI]

Proceedings of the Ninth Eurosys Conference 2014, 2014

2013

Using One-Sided RDMA Reads to Build a Fast, CPU-Efficient Key-Value Store.

[BibT_eX]

[DOI]

Christopher Mitchell

Yifeng Geng

Proceedings of the 2013 USENIX Annual Technical Conference, 2013

Transaction chains: achieving serializability with low latency in geo-distributed storage systems.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles, 2013

Opportunities and pitfalls of multi-core scaling using hardware transaction memory.

[BibT_eX]

[DOI]

Proceedings of the Asia-Pacific Workshop on Systems, 2013

2012

Efficient cooperative backup with decentralized trust management.

[BibT_eX]

[DOI]

Frank Chiang

ACM Trans. Storage, 2012

Oolong: asynchronous distributed applications made easy.

[BibT_eX]

[DOI]

Christopher Mitchell

Russell Power

Proceedings of the Asia-Pacific Workshop on Systems, 2012

2011

Transactional storage for geo-replicated systems.

[BibT_eX]

[DOI]

Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, 2011

WiRE: a new rural connectivity paradigm.

[BibT_eX]

[DOI]

Aditya Dhananjay

Matt Tierney

Proceedings of the ACM SIGCOMM 2011 Conference on Applications, 2011

Optimal Sybil-resilient node admission control.

[BibT_eX]

[DOI]

Sherman S. M. Chow

Proceedings of the INFOCOM 2011. 30th IEEE International Conference on Computer Communications, 2011

2010

Brief announcement: improving social-network-based sybil-resilient node admission control.

[BibT_eX]

[DOI]

Sherman S. M. Chow

Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, 2010

Collusion-resilient Credit-based Reputations for Peer-to-Peer Content Distribution.

[BibT_eX]

[DOI]

Proceedings of the 2010 Workshop on the Economics of Networks, Systems, and Computation, 2010

Piccolo: Building Fast, Distributed Programs with Partitioned Tables.

[BibT_eX]

[DOI]

Russell Power

Trishank Karthik Kuppusamy

Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, 2010

Hermes: data transmission over unknown voice channels.

[BibT_eX]

[DOI]

Proceedings of the 16th Annual International Conference on Mobile Computing and Networking, 2010

2009

RuralCafe: web search in the rural developing world.

[BibT_eX]

[DOI]

Jay Chen

Proceedings of the 18th International Conference on World Wide Web, 2009

Practical, distributed channel assignment and routing in dual-radio mesh networks.

[BibT_eX]

[DOI]

Aditya Dhananjay

Hui Zhang

Proceedings of the ACM SIGCOMM 2009 Conference on Applications, 2009

Sybil-Resilient Online Content Voting.

[BibT_eX]

[DOI]

Bonan Min

Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, 2009

Flexible, Wide-Area Storage for Distributed Systems with WheelFS.

[BibT_eX]

[DOI]

Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, 2009

Web search over low bandwidth.

[BibT_eX]

[DOI]

Jay Chen

Proceedings of the 2009 International Conference on Information and Communication Technologies and Development, 2009

2008

Friendstore: cooperative online backup using trusted nodes.

[BibT_eX]

[DOI]

Frank Chiang

Proceedings of the 1st Workshop on Social Network Systems, 2008

Pass it on: social networks stymie censors.

[BibT_eX]

[DOI]

Yair Sovran

Alana Libonati

Proceedings of the 7th international conference on Peer-to-peer systems, 2008

2006

Observed structure of addresses in IP traffic.

[BibT_eX]

[DOI]

IEEE/ACM Trans. Netw., 2006

OverCite: A Distributed, Cooperative CiteSeer.

[BibT_eX]

[DOI]

Proceedings of the 3rd Symposium on Networked Systems Design and Implementation (NSDI 2006), 2006

F2F: Reliable Storage in Open Networks.

[BibT_eX]

[DOI]

Frank Dabek

Proceedings of the 5th International workshop on Peer-To-Peer Systems, 2006

2005

Routing tradeoffs in dynamic peer-to-peer networks.

[BibT_eX]

[DOI]

PhD thesis, 2005

Bandwidth-efficient Management of DHT Routing Tables.

[BibT_eX]

[DOI]

Proceedings of the 2nd Symposium on Networked Systems Design and Implementation (NSDI 2005), 2005

OverCite: A Cooperative Digital Research Library.

[BibT_eX]

[DOI]

Proceedings of the Peer-to-Peer Systems IV, 4th International Workshop, 2005

A performance vs. cost framework for evaluating DHT design tradeoffs under churn.

[BibT_eX]

[DOI]

Proceedings of the INFOCOM 2005. 24th Annual Joint Conference of the IEEE Computer and Communications Societies, 2005

2004

Practical, distributed network coordinates.

[BibT_eX]

[DOI]

Comput. Commun. Rev., 2004

Designing a DHT for Low Latency and High Throughput.

[BibT_eX]

[DOI]

Proceedings of the 1st Symposium on Networked Systems Design and Implementation (NSDI 2004), 2004

Comparing the Performance of Distributed Hash Tables Under Churn.

[BibT_eX]

[DOI]

Proceedings of the Peer-to-Peer Systems III, Third International Workshop, 2004

2003

On the Feasibility of Peer-to-Peer Web Indexing and Search.

[BibT_eX]

[DOI]

Boon Thau Loo

Joseph M. Hellerstein

M. Frans Kaashoek

David R. Karger

Robert Tappan Morris

Proceedings of the Peer-to-Peer Systems II, Second International Workshop, 2003

2001

Capacity of Ad Hoc wireless networks.

[BibT_eX]

[DOI]

Charles Blake

Douglas S. J. De Couto

Hu Imm Lee

Robert Tappan Morris

Proceedings of the MOBICOM 2001, 2001

2000

CarNet: a scalable ad hoc wireless network system.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM SIGOPS European Workshop, 2000

A scalable location service for geographic ad hoc routing.

[BibT_eX]

[DOI]