Disciplined Inconsistency with Consistency Types
SOCC, 2016.
, Diamond: Automating Data Management and Storage for Wide-area, Reactive Applications
USENIX Conference on Operating Systems Design and Implementation (OSDI), 2016.
, Claret: Using Data Types for Highly Concurrent Distributed Transactions
Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC '15), ACM, 2015.
, Arrakis: The Operating System is the Control Plane
OSDI, 2014.
, Customizable and Extensible Deployment for Mobile/Cloud Applications
Usenix Conference on Operating Systems Design and Implementation (OSDI), 2014.
, Machine Fault Tolerance for Reliable Datacenter Systems
APSYS, 2014.
, Towards High-Performance Application-Level Storage Management
HotStorage, 2014.
, PoiRoot: Investigating the Root Cause of Interdomain Path Changes
Proc. of Sigcomm, 2013.
, Expressive Privacy Control with Pseudonyms
Proc. of Sigcomm, 2013.
, Demystifying Page Load Performance with WProf
Proc. of NSDI, 2013.
, Bringing Cross-Layer MIMO to Today's Wireless LANs
SIGCOMM, 2013.
, F10: Fault Tolerant Engineered Networks
Proc. of NSDI, 2013.
, Ambient Backscatter: Wireless Communication Out of Thin Air
SIGCOMM, 2013.
, Interference Alignment by Motion
MobiCom, 2013.
, Whole-Home Gesture Recognition Using Wireless Signals
MobiCom, 2013.
, LIFEGUARD: Practical Repair of Persistent Route Failures
Proc. of Sigcomm, 2012.
, Making Middleboxes Someone Else’s Problem: Network Processing as a Cloud Service
Proc. of Sigcomm, 2012.
, FairCloud: Sharing The Network In Cloud Computing
Proc. of Sigcomm, 2012.
, Scalable Consistency in Scatter
Proc. of SOSP, 2011.
, ETTM: A Scalable Fault Tolerant Network Manager
USENIX Conf. on Networked Systems Design and Implementation (NSDI), 2011.
, Keypad: An auditing file system for theft-prone devices
Proceedings of the 6th European Conference on Computer Systems (EuroSYS 11), 2011.
Best student paper award.
, Operating System Implications of Fast, Cheap, Non-Volatile Memory
USENIX Hot Topics on Operating Systems (HotOS), 2011.
, Deterministic process groups in dOS
Proc. of the USENIX Conf. on Operating Systems Design and Implementation, 2010.
, Comet: An active distributed key-value store
Proc. of the USENIX Conf. on Operating Systems Design and Implementation, 2010.
, Privacy-Preserving P2P Dating Sharing with OneSwarm
Proc. of the ACM SIGCOMM Conference, 2010.
, The Architecture and Implementation of an Extensible Web Crawler
Proc. of the 7th Usenix Symposium on Networked Systems Design and Implementation (NSDI), 2010.
, Toward trustworthy mobile sensing
Proceedings of the Eleventh Workshop on Mobile Computing Systems & Applications (HotMobile '10), 2010.
, Predictable 802.11 Packet Delivery from Wireless Channel Measurements
Proc. of the ACM SIGCOMM Conference, 2010.
, Vanish: Increasing data privacy with self-destructing data
Proc. of the USENIX Security Symposium, 2009.
, Best Student Paper Award.
Flashproxy: Transparently Enabling Rich Web Content via Remote Execution
Proc. of the Int. Conf. on Mobile Systems, Applications, and Services (MobiSys), 2008.
Honorable mention paper.
, Studying blackholes in the Internet with Hubble
NSDI, 2008.
, Consensus routing: the Internet as a distributed system
Proc. of Networked Systems Design and Implementation, 2008.
, Do incentives build robustness in BitTorrent?
Proc. of the 4th USENIX Symp. on Networked Systems Design and Implementation (NSDI), 2007.
, Best student paper award.
A Safety-Oriented Platform for Web Applications
IEEE Symp. on Security and Privacy, 2006.
Award paper.
,