Laboratory for Advanced Systems Research - Dept. of Computer Science, UT Austin

publications

Proving the correct execution of concurrent services in zero-knowledge
Srinath Setty, Sebastian Angel, Trinabh Gupta, and Jonathan Lee
In OSDI 2018 - bibtex

Finding Crash-Consistency Bugs with Bounded Black-Box Crash Testing
Jayashree Mohan, Ashlie Martinez, Soujanya Ponnapalli, Pandian Raju, and Vijay Chidambaram
In OSDI 2018 - bibtex

Floem: Programming System for NIC-Accelerated Network Applications
Phitchaya Mangpo Phothilimthana, Ming Liu, Antoine Kaufmann, Simon Peter, Rastislav Bodik, and Thomas Anderson
In OSDI 2018 - bibtex

Obladi: Oblivious serializable transactions in the cloud
Natacha Crooks, Matthew Burke, Sitar Harel, Ethan Cecchetti, Rachit Agarwal, and Lorenzo Alvisi
In OSDI 2018 - bibtex

PIR with compressed queries and amortized computation
Sebastian Angel, Hao Chen, Kim Laine, and Srinath Setty
In S&P (Oakland) 2018 - bibtex

PebblesDB: Simultaneously Increasing Write Throughput and Decreasing Write Amplification in Key-Value Stores
Pandian Raju, Rohan Kadekodi, Vijay Chidambaram, and Ittai Abraham
In SOSP 2017 - bibtex

Strata: A Cross Media File System
Youngjin Kwon, Henrique Fingler, Tyler Hunt, Simon Peter, Emmett Witchel, and Thomas Anderson
In SOSP 2017 - bibtex

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

Storage on Your Smartphone Uses More Energy Than You Think
Jayashree Mohan, Dhathri Purohith, Matt Halpern, Vijay Chidambaram, and Vijay Janapa Reddi
In HotStorage 2017 - bibtex

CrashMonkey: A Framework to Automatically Test File-System Crash Consistency
Ashlie Martinez and Vijay Chidambaram
In HotStorage 2017 - bibtex

CC-Log: Drastically Reducing Storage Requirements for Robots Using Classification and Compression
Santiago Gonzales, Vijay Chidambaram, and Peter Stone
In HotStorage 2017 - bibtex

Seeing is believing: a client-centric formulation of database isolation
Natacha Crooks, Youer Pu, Lorenzo Alvisi, and Allen Clement
In PODC 2017 - bibtex

From Crash Consistency to Transactions
Yige Hu, Youngjin Kwon, Vijay Chidambaram, and Emmett Witchel
In HotOS 2017 - bibtex

Tebaldi: Taking Modular Concurrency Control to the Next Level
Chunzhi Su, Natacha Crooks, Cong Ding, Lorenzo Alvisi, and Chao Xie
In SIGMOD 2017 - bibtex

I Can't Believe It's Not Causal!
Syed Akbar Mehdi, Cody Littley, Natacha Crooks, Lorenzo Alvisi, Nathan Bronson, and Wyatt Lloyd
In NSDI 2017 - bibtex

Application Crash Consistency and Performance with CCFS
Thanumalayan Sankaranarayana Pillai, Ramnatthan Alagappan, Lanyue Lu, Vijay Chidambaram, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau
In FAST 2017 (award paper) - bibtex

Coordinated and Efficient Huge Page Management with Ingens
Youngjin Kwon, Hangchen Yu, Simon Peter, Chris Rossbach, and Emmett Witchel
In OSDI 2016 - bibtex

Unobservable communication over fully untrusted infrastructure
Sebastian Angel and Srinath Setty
In OSDI 2016 - bibtex

Ryoan: A Distributed Sandbox for Untrusted Computation on Secret Data
Tyler Hunt, Zhiting Zhu, Yuanzhong Xu, Simon Peter, and Emmett Witchel
In OSDI 2016 (award paper) - bibtex

Realizing the Fault-Tolerance Promise of Cloud Storage Using Locks with Intent
Srinath Setty, Chunzhi Su, Jacob R. Lorch, Lidong Zhou, Hao Chen, Parveen Patel, and Jinglei Ren
In OSDI 2016 - bibtex

Defending against malicious peripherals with Cinch
Sebastian Angel, Riad S. Wahby, Max Howald, Joshua B. Leners, Michael Spilo, Zhen Sun, Andrew J. Blumberg, and Michael Walfish
In USENIX Security 2016 - bibtex

Sego: Pervasive Trusted Metadata for Efficiently Verified Untrusted System Services
Youngjin Kwon, Alan M. Dunn, Michael Z. Lee, Owen Hofmann, Yuanzhong Xu, and Emmett Witchel
In ASPLOS 2016 - bibtex

High Performance Packet Processing with FlexNIC
Antoine Kaufmann, Simon Peter, Naveen Kr. Sharma, Arvind Krishnamurthy, and Thomas Anderson
In ASPLOS 2016 - pdf :: bibtex

Earp: Principled Storage, Sharing, and Protection for Mobile Apps
Yuanzhong Xu, Tyler Hunt, Youngjin Kwon, Martin Georgiev, Vitaly Shmatikov, and Emmett Witchel
In NSDI 2016 - bibtex

Scalable and private media consumption with Popcorn
Trinabh Gupta, Natacha Crooks, Whitney Mulhern, Srinath Setty, Lorenzo Alvisi, and Michael Walfish
In NSDI 2016 - bibtex

TARDiS: A Branch and Merge Approach to Weak Consistency
Natacha Crooks, Youer Pu, Nancy Estrada, Trinabh Gupta, Lorenzo Alvisi, and Allen Clement
In SIGMOD 2016 - bibtex

High-Performance ACID via Modular Concurrency Control
Chao Xie, Chunzhi Su, Cody Littley, Lorenzo Alvisi, Manos Kapritsos, and Yang Wang
In SOSP 2015 - bibtex

YS: Scalable SQL storage for Web applications using distributed balanced trees
Marcos K. Aguilera, Joshua B. Leners, and Michael Walfish
In SOSP 2015 - bibtex

Turning a Mobile Device into a Mouse in the Air
Sangki Yun, Yi-Chao Chen, and Lili Qiu
In MobiSys 2015 - bibtex

Taming uncertainty in distributed systems with help from the network
Joshua B. Leners, Trinabh Gupta, Marcos K. Aguilera, and Michael Walfish
In EuroSys 2015 - bibtex

Maxoid: Transparently Confining Mobile Applications with Custom Views of State
Yuanzhong Xu and Emmett Witchel
In EuroSys 2015 - bibtex

Musketeer: all for one, one for all in data processing systems
Ionel Gog, Malte Schwarzkopf, Natacha Crooks, Matthew P. Grosvenor, Allen Clement, and Steven Hand
In EuroSys 2015 - bibtex

Efficient RAM and control flow in verifiable outsourced computation
Riad S. Wahby, Srinath Setty, Zuocheng (Andy) Ren, Andrew J. Blumberg, and Michael Walfish
In NDSS 2015 - bibtex

Controlled-Channel Attacks: Deterministic Side Channels for Untrusted Operating Systems
Yuanzhong Xu, Weidong Cui, and Marcus Peinado
In S&P (Oakland) 2015 - bibtex

Salt: Combining ACID and BASE in a Distributed Database
Chao Xie, Chunzhi Su, Manos Kapritsos, Yang Wang, Navid Yaghmazadeh, Lorenzo Alvisi, and Prince Mahajan
In OSDI 2014 - pdf :: bibtex

GPUnet: Networking Abstractions for GPU Programs
Sangman Kim, Seonggu Huh, Xinya Zhang, Yige Hu, Amir Watad, Mark Silberstein, and Emmett Witchel
In OSDI 2014 - bibtex

End-to-end Performance Isolation through Virtual Datacenters
Sebastian Angel, Hitesh Ballani, Thomas Karagiannis, Greg OShea, and Eno Thereska
In OSDI 2014 - bibtex

Enabling Physical Analytics in Retail Stores Using Smart Glasses
Swati Rallapalli, Aishwarya Ganesan, Krishna Chintalapudi, Venkat Padmanabhan, and Lili Qiu
In MobiCom 2014 - bibtex

Robust Network Compressive Sensing
Yi-Chao Chen, Lili Qiu, Yin Zhang, Zhenxian Hu, and Guangtao Xue
In MobiCom 2014 - bibtex

Lazy Means Smart: Reducing Repair Bandwidth Costs in Erasure-coded Distributed Storage
Mark Silberstein, Lakshmi Ganesh, Yang Wang, Lorenzo Alvisi, and Mike Dahlin
In Systor 2014 (award paper) - bibtex

Application-Deﬁned Decentralized Access Control
Yuanzhong Xu, Alan M. Dunn, Owen Hofmann, Michael Z. Lee, Syed Akbar Mehdi, and Emmett Witchel
In USENIX ATC 2014 - pdf :: bibtex

Exalt: Empowering Researchers to Evaluate Large-Scale Storage Systems
Yang Wang, Manos Kapritsos, Lara Schmidt, Lorenzo Alvisi, and Mike Dahlin
In NSDI 2014 - pdf :: bibtex

Bolt: Data Management for Connected Homes
Trinabh Gupta, Rayman Preet Singh, Amar Phanishayee, Jaeyeon Jung, and Ratul Mahajan
In NSDI 2014 - pdf :: slides :: bibtex

Double Auctions for Dynamic Spectrum Allocation
Wei Dong, Swati Rallapalli, Rittwik Jana , Lili Qiu, K. K. Ramakrishnan, and Yin Zhang
In INFOCOM 2014 - bibtex

Verifying computations with state
Benjamin Braun, Ariel J. Feldman, Zuocheng (Andy) Ren, Srinath Setty, Andrew J. Blumberg, and Michael Walfish
In SOSP 2013 - pdf :: slides :: bibtex

Towards a storage system for connected homes
Trinabh Gupta, Amar Phanishayee, Jaeyeon Jung, and Ratul Mahajan
In LADIS 2013 - pdf :: bibtex

ViceROI: Catching Click-Spam in Search Ad Networks
Vacha Dave, Saikat Guha, and Yin Zhang
In CCS 2013 - pdf :: bibtex

Fine-grained Spectrum Adaptation in WiFi Networks
Sangki Yun, Daehyeok Kim, and Lili Qiu
In MobiCom 2013 - pdf :: bibtex

Verifiable auctions for online ad exchanges
Sebastian Angel and Michael Walfish
In SIGCOMM 2013 - pdf :: bibtex

Model-Driven Energy-Aware Rate Adaptation
Muhammad Owais Khan, Vacha Dave, Yi-Chao Chen, Oliver Jensen, Lili Qiu, Apurv Bhartia, and Swati Rallapalli
In MobiHoc 2013 - pdf :: bibtex

What's a Little Collusion Between Friends?
Edmund L. Wong and Lorenzo Alvisi
In PODC 2013 - pdf :: bibtex

Mobile Video Delivery via Human Movement
Gene Moo Lee, Swati Rallapalli, Wei Dong, Yi-Chao Chen, Lili Qiu, and Yin Zhang
In SECON 2013 - pdf :: bibtex

Anon-Pass: Practical Anonymous Subscriptions
Michael Z. Lee, Alan M. Dunn, Jonathan Katz, Brent Waters, and Emmett Witchel
In S&P (Oakland) 2013 - pdf :: bibtex

SoK: The Evolution of Sybil Defense via Social Networks
Lorenzo Alvisi, Allen Clement, Alessandro Epasto, Silvio Lattanzi, and Alessandro Panconesi
In S&P (Oakland) 2013 - pdf :: bibtex

A hybrid architecture for interactive verifiable computation
Victor Vu, Srinath Setty, Andrew J. Blumberg, and Michael Walfish
In S&P (Oakland) 2013 - pdf :: bibtex

Resolving the conflict between generality and plausibility in verified computation
Srinath Setty, Benjamin Braun, Victor Vu, Andrew J. Blumberg, Bryan Parno, and Michael Walfish
In EuroSys 2013 - pdf :: bibtex

Analysis and Applications of Smartphone User Mobility
Swati Rallapalli, Wei Dong, Gene Moo Lee, Yi-Chao Chen, and Lili Qiu
In NetSciCom 2013 - pdf :: bibtex

πBox: A Platform for Privacy-Preserving Apps
Sangmin Lee, Edmund L. Wong, Deepak Goel, Mike Dahlin, and Vitaly Shmatikov
In NSDI 2013 - pdf :: bibtex

Robustness in the Salus scalable block store
Yang Wang, Manos Kapritsos, Zuocheng (Andy) Ren, Prince Mahajan, Jeevitha Kirubanandam, Lorenzo Alvisi, and Mike Dahlin
In NSDI 2013 - pdf :: bibtex

Improving availability in distributed systems with failure informers
Joshua B. Leners, Trinabh Gupta, Marcos K. Aguilera, and Michael Walfish
In NSDI 2013 - pdf :: bibtex

Event Detection using Customer Care Calls
Yi-Chao Chen, Gene Moo Lee, Nick Duffield, Lili Qiu, and Jia Wang
In INFOCOM 2013 - bibtex

iDEAL: Incentivized Dynamic Cellular Offloading via Auctions
Wei Dong, Swati Rallapalli, Rittwik Jana, Lili Qiu, K.K. Ramakrishnan, Leo Razoumov, Yin Zhang, and Tae Won Cho
In INFOCOM 2013 - pdf :: bibtex

InkTag: Secure Applications on an Untrusted Operating System
Owen Hofmann, Sangman Kim, Alan M. Dunn, Michael Z. Lee, and Emmett Witchel
In ASPLOS 2013 - pdf :: bibtex

GPUfs: Integrating a File System with GPUs
Mark Silberstein, Bryan Ford, Idit Keidar, and Emmett Witchel
In ASPLOS 2013 - pdf :: bibtex

All about Eve: Execute-Verify Replication for Multi-Core Servers
Manos Kapritsos, Yang Wang, Vivien Quema, Allen Clement, Lorenzo Alvisi, and Mike Dahlin
In OSDI 2012 - pdf :: slides :: bibtex

Eternal Sunshine of the Spotless Machine: Protecting Privacy with Ephemeral Channels
Alan M. Dunn, Michael Z. Lee, Suman Jana, Sangman Kim, Mark Silberstein, Yuanzhong Xu, Vitaly Shmatikov, and Emmett Witchel
In OSDI 2012 - pdf :: bibtex

Measuring and Fingerprinting Click-Spam in Ad Networks
Vacha Dave, Saikat Guha, and Yin Zhang
In SIGCOMM 2012 - pdf :: bibtex

Taking proof-based verified computation a few steps closer to practicality
Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, and Michael Walfish
In USENIX Security 2012 - pdf :: bibtex

Gnothi: Separating Data and Metadata for Efficient and Available Storage Replication
Yang Wang, Lorenzo Alvisi, and Mike Dahlin
In USENIX ATC 2012 - pdf :: bibtex

TreeHouse: JavaScript sandboxes to help Web developers help themselves
Lon Ingram and Michael Walfish
In USENIX ATC 2012 - pdf :: bibtex

Improving Server Applications with System Transactions
Sangman Kim, Michael Z. Lee, Alan M. Dunn, Owen Hofmann, Xuan Wang, Emmett Witchel, and Donald E. Porter
In EuroSys 2012 - pdf :: bibtex

Making argument systems for outsourced computation practical (sometimes)
Srinath Setty, Richard McPherson, Andrew J. Blumberg, and Michael Walfish
In NDSS 2012 - pdf :: bibtex

Depot: Cloud Storage with Minimal Trust
Prince Mahajan, Srinath Setty, Sangmin Lee, Allen Clement, Lorenzo Alvisi, Mike Dahlin, and Michael Walfish
In TOCS 29(4), December 2011 - pdf :: bibtex

Verifying and enforcing network paths with ICING
Jad Naous, Michael Walfish, Antonio Nicolosi, David Mazi�res, Michael Miller, and Arun Seehra
In CoNEXT 2011 - pdf :: bibtex

Regret Freedom Isn't Free
Edmund L. Wong, Allen Clement, Isaac Levy, Lorenzo Alvisi, and Mike Dahlin
In OPODIS 2011 - pdf :: bibtex

Detecting failures in distributed systems with the FALCON spy network
Joshua B. Leners, Hao Wu, Wei-Lun Hung, Marcos K. Aguilera, and Michael Walfish
In SOSP 2011 - pdf :: bibtex

CRMA: Collision-Resistant Multiple Access
Tianji Li, Mi Kyung Han, Apurv Bhartia, Lili Qiu, Eric Rozner, Yin Zhang, and Brad Zarikoff
In MobiCom 2011 - pdf :: bibtex

Harnessing Frequency Diversity in Wi-Fi Networks
Apurv Bhartia, Yi-Chao Chen, Swati Rallapalli, and Lili Qiu
In MobiCom 2011 - pdf :: bibtex

Cloaking Malware with the Trusted Platform Module
Alan M. Dunn, Owen Hofmann, Brent Waters, and Emmett Witchel
In USENIX Security 2011 - pdf :: bibtex

Get Off My Prefix! The Need for Dynamic, Gerontocratic Policies in Inter-domain Routing
Edmund L. Wong and Vitaly Shmatikov
In DSN 2011 - pdf :: bibtex

Toward practical and unconditional verification of remote computations
Srinath Setty, Andrew J. Blumberg, and Michael Walfish
In HotOS 2011 - pdf :: bibtex

Repair from a chair: Computer repair as an untrusted cloud service
Lon Ingram, Ivaylo Popov, Srinath Setty, and Michael Walfish
In HotOS 2011 - pdf :: bibtex

O3: Optimized Overlay-Based Opportunistic Routing
Mi Kyung Han, Apurv Bhartia, Lili Qiu, and Eric Rozner
In MobiHoc 2011 - pdf :: bibtex

Ensuring Operating System Kernel Integrity with OSck
Owen Hofmann, Alan M. Dunn, Sangman Kim, Indrajit Roy, and Emmett Witchel
In ASPLOS 2011 - pdf :: bibtex

Scalable agreement: Toward ordering as a service
Manos Kapritsos and Flavio P. Junqueira
In HotDep 2010 - pdf :: bibtex

Depot: Cloud Storage with Minimal Trust
Prince Mahajan, Srinath Setty, Sangmin Lee, Allen Clement, Lorenzo Alvisi, Mike Dahlin, and Michael Walfish
In OSDI 2010 - pdf :: bibtex

It's on Me! The Benefit of Altruism in BAR Environments
Edmund L. Wong, Joshua B. Leners, and Lorenzo Alvisi
In DISC 2010 - pdf :: bibtex

Airavat: Security and Privacy for MapReduce
Indrajit Roy, Srinath Setty, Ann Kilzer, Vitaly Shmatikov, and Emmett Witchel
In NSDI 2010 - pdf :: bibtex

Have Your Cake and Eat It Too! Enabling Frequency Diversity Through Opportunism
Edmund L. Wong and Sangmin Lee
In CoNEXT SWS 2010 - pdf :: bibtex

SOAR: Simple Opportunistic Adaptive Routing Protocol for Wireless Mesh Networks
Eric Rozner, Jayesh Seshadri, Yogita Ashok Mehta, and Lili Qiu
In TMC 8(), December 2009 - pdf :: bibtex

UpRight Cluster Services
Allen Clement, Manos Kapritsos, Sangmin Lee, Yang Wang, Lorenzo Alvisi, Mike Dahlin, and Taylor Rich�
In SOSP 2009 - pdf :: bibtex

Fast Resilient Jumbo Frames in Wireless LANs
Anand Padmanabha Iyer, Gaurav Deshpande, Eric Rozner, Apurv Bhartia, and Lili Qiu
In IWQoS 2009 - pdf :: bibtex

Making Byzantine Fault Tolerant Systems Tolerate Byzantine Faults
Allen Clement, Mirco Marchetti, Edmund L. Wong, Lorenzo Alvisi, and Mike Dahlin
In NSDI 2009 - pdf :: bibtex

FlightPath: Obedience vs. Choice in Cooperative Services
Harry Li, Allen Clement, Mirco Marchetti, Manos Kapritsos, Luke Robison, Lorenzo Alvisi, and Mike Dahlin
In OSDI 2008 - pdf :: bibtex

Zyzzyva: Speculative Byzantine Fault Tolerance
Ramakrishna Kotla, Allen Clement, Edmund L. Wong, Lorenzo Alvisi, and Mike Dahlin
In CACM 51(11), November 2008 - pdf :: bibtex

Improving the Interaction between Overlay Routing and Traffic Engineering
Gene Moo Lee and Taehwan Choi
In Networking 2008 - pdf :: bibtex

Zyzzyva: Speculative Byzantine Fault Tolerance
Ramakrishna Kotla, Lorenzo Alvisi, Mike Dahlin, Allen Clement, and Edmund L. Wong
In SOSP 2007 (award paper) - pdf :: bibtex

Truth in Advertising: Lightweight Verification of Route Integrity
Edmund L. Wong, Praveen Balasubramanian, Lorenzo Alvisi, Mohamed Gouda, and Vitaly Shmatikov
In PODC 2007 - pdf :: bibtex

BAR Gossip
Harry Li, Allen Clement, Edmund L. Wong, Jeff Napper, Indrajit Roy, Lorenzo Alvisi, and Mike Dahlin
In OSDI 2006 - pdf :: bibtex

Improving Sketch Reconstruction Accuracy Using Linear Least Square Method
Gene Moo Lee, Huiya Liu, Young Yoon, and Yin Zhang
In IMC 2005 - pdf :: bibtex

BAR Fault Tolerance for Cooperative Services
Amitanand S. Aiyer, Lorenzo Alvisi, Allen Clement, Mike Dahlin, Jean-Philippe Martin, and Carl Porth
In SOSP 2005 (award paper) - pdf :: bibtex