Publications

2021

ObliCheck: Efficient Verification of Oblivious Algorithms with Unobservable State

Jeongseok Son, Rishabh Poddar, Raluca Ada Popa, Koushik Sen

Jeongseok Son, Griffin Prechter, Rishabh Poddar, Raluca Ada Popa, and Koushik Sen
Published in the 30th USENIX Security Symposium (USENIX Security '21).

Publication Year: 2021

MAGE: Nearly Zero-Cost Memory for Secure Computation

Sam Kumar, David Culler, Raluca Ada Popa

Secure Computation (SC) is a family of cryptographic primitives for computing on encrypted data in single-party and multi-party settings. SC is being increasingly adopted by industry for a variety of applications. A significant obstacle to using SC for practical applications is the memory overhead of the underlying cryptography. We develop MAGE, an execution engine for SC that efficiently runs SC computations that do not fit in memory. We observe that, due to their intended security guarantees, SC schemes are inherently oblivious—their memory access patterns are independent of the input data. Using this property, MAGE calculates the memory access pattern ahead of time and uses it to produce a memory management plan. This formulation of memory management, which we call memory programming, is a generalization of paging that allows MAGE to provide a highly efficient virtual memory abstraction for SC. MAGE outperforms the OS virtual memory system by up to an order of magnitude, and in many cases, runs SC computations that do not fit in memory at nearly the same speed as if the underlying machines had unbounded physical memory to fit the entire computation.

Publication Year: 2021

FireMarshal: Making HW/SW Co-Design Reproducible and Reliable

Nathan Pemberton,

Published in: 2021 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS)

Nathan Pemberton , Alon Amid

Publication Year: 2021

ShapeSearch: A Flexible and Efficient System for Shape-based Exploration of Trendlines

Aditya Parameswaran,

*SIGMOD Int'l Conf. on Management of Data*, Portland, USA. June 2020 (Best Paper Award: 2 out of 450+ submissions.) Tarique Siddiqui, Zesheng Wang, Paul Luh, Karrie Karahalios, Aditya Parameswaran

Publication Year: 2021

Three Lessons from Accelerating Scientific Insight Discovery via Visual Querying

Aditya Parameswaran, Doris Jung-Lin Lee

*Patterns, Cell Press*, Volume 1, Issue 7, 100126. October, 2020 Doris Lee, Tarique Siddiqui, Karrie Karahalios, Aditya Parameswaran.

Publication Year: 2021

Uncovering Effective Explanations for Interactive Genomic Data Analysis

Aditya Parameswaran,

*Patterns, Cell Press*, Volume 1, Issue 6, 100093. September, 2020 Silu Huang, Charles Blatti, Saurabh Sinha, Aditya Parameswaran

Publication Year: 2021

Towards Scalable Dataframe Systems

Aditya Parameswaran, Devin Petersohn, Doris Jung-Lin Lee, Doris Xin, Joseph Gonzalez, Anthony Joseph, Joe Hellerstein, Stephen Macke,

*46th Int'l Conf. on Very Large Data Bases*, Tokyo, Japan. August 2020

Publication Year: 2021

Michael Whittaker, Ailidani Ailijiang, Aleksey Charapko, Murat Demirbas, Neil Giridharan, Joseph M. Hellerstein, Heidi Howard, Ion Stoica, Adriana Szekeres:
Scaling Replicated State Machines with Compartmentalization. Proc. VLDB Endow. 14(11): 2203-2215 (2021)

Publication Year: 2021

Johann Schleier-Smith, Vikram Sreekanti, Anurag Khandelwal, Joao Carreira, Neeraja Jayant Yadwadkar, Raluca Ada Popa, Joseph E. Gonzalez, Ion Stoica, David A. Patterson:
What serverless computing is and should become: the next phase of cloud computing. Commun. ACM 64(5): 76-84 (2021)

Publication Year: 2021

Read-Write Quorum Systems Made Practical.

Michael Whittaker, Aleksey Charapko, Joseph M. Hellerstein, Heidi Howard, Ion Stoica:
Read-Write Quorum Systems Made Practical. CoRR abs/2104.04102 (2021)

Publication Year: 2021

RAMP-TAO: Layering Atomic Transactions on Facebook's Online TAO Data Store.

Audrey Cheng, Xiao Shi, Lu Pan, Anthony Simpson, Neil Wheaton, Shilpa Lawande, Nathan Bronson, Peter Bailis, Natacha Crooks, Ion Stoica:
RAMP-TAO: Layering Atomic Transactions on Facebook's Online TAO Data Store. Proc. VLDB Endow. 14(12): 3014-3027 (2021)

Publication Year: 2021

Hari Balakrishnan, Sujata Banerjee, Israel Cidon, David E. Culler, Deborah Estrin, Ethan Katz-Bassett, Arvind Krishnamurthy, James Murphy McCauley, Nick McKeown, Aurojit Panda, Sylvia Ratnasamy, Jennifer Rexford, Michael Schapira, Scott Shenker, Ion Stoica, David L. Tennenhouse, Amin Vahdat, Ellen W. Zegura:
Revitalizing the public internet by making it extensible. Comput. Commun. Rev. 51(2): 18-24 (2021)

Publication Year: 2021

Hasan Genc, Seah Kim, Alon Amid, Ameer Haj-Ali, Vighnesh Iyer, Pranav Prakash, Jerry Zhao, Daniel Grubb, Harrison Liew, Howard Mao, Albert J. Ou, Colin Schmidt, Samuel Steffl, John Wright, Ion Stoica, Jonathan Ragan-Kelley, Krste Asanovic, Borivoje Nikolic, Yakun Sophia Shao:
Gemmini: Enabling Systematic Deep-Learning Architecture Evaluation via Full-Stack Integration. DAC 2021: 769-774

Publication Year: 2021

Lianmin Zheng, Chengfan Jia, Minmin Sun, Zhao Wu, Cody Hao Yu, Ameer Haj-Ali, Yida Wang, Jun Yang, Danyang Zhuo, Koushik Sen, Joseph E. Gonzalez, Ion Stoica:
Ansor : Generating High-Performance Tensor Programs for Deep Learning. CoRR abs/2006.06762 (2020)

Publication Year: 2020

Bin Li, Yipeng Wang, Ren Wang, Charlie Tai, Ravi R. Iyer, Zhu Zhou, Andrew Herdrich, Tong Zhang, Ameer Haj-Ali, Ion Stoica, Krste Asanovic:
RLDRM: Closed Loop Dynamic Cache Allocation with Deep Reinforcement Learning for Network Function Virtualization. NetSoft 2020: 335-343

Publication Year: 2020

PPMLP'20: Proceedings of the 2020 Workshop on Privacy-Preserving Machine Learning in Practice, Virtual Event, USA, November, 2020.

Benyu Zhang, Raluca Ada Popa, Matei Zaharia, Guofei Gu, Shouling Ji:
PPMLP'20: Proceedings of the 2020 Workshop on Privacy-Preserving Machine Learning in Practice, Virtual Event, USA, November, 2020. ACM 2020, ISBN 978-1-4503-8088-1 [contents]