2014
Contrail: Decentralized and Privacy-Preserving Social Networks on Smartphones.
IEEE Internet Comput., 2014
Web PKI: Closing the Gap between Guidelines and Practices.
Proceedings of the 21st Annual Network and Distributed System Security Symposium, 2014
2013
CORFU: A distributed shared log.
ACM Trans. Comput. Syst., 2013
Beyond block I/O: implementing a distributed shared log in hardware.
Proceedings of the 6th Annual International Systems and Storage Conference, 2013
Tango: distributed data structures over a shared log.
Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles, 2013
Global Authentication in an Untrustworthy World.
Proceedings of the 14th Workshop on Hot Topics in Operating Systems, 2013
2012
From paxos to CORFU: a flash-speed shared log.
ACM SIGOPS Oper. Syst. Rev., 2012
CORFU: A Shared Log Design for Flash Clusters.
Proceedings of the 9th USENIX Symposium on Networked Systems Design and Implementation, 2012
Supporting research collaboration through bi-level file synchronization.
Proceedings of the ACM 2012 International Conference on Support Group Work, 2012
2011
DISC 2011 Invited Lecture by Dahlia Malkhi: Going beyond Paxos.
Proceedings of the Distributed Computing - 25th International Symposium, 2011
Contrail: Enabling Decentralized Social Networks on Smartphones.
Proceedings of the Middleware 2011, 2011
2010
Fidelity-Aware Replication for Mobile Devices.
IEEE Trans. Mob. Comput., 2010
Docx2Go: collaborative editing of fidelity reduced documents on mobile devices.
Proceedings of the 8th International Conference on Mobile Systems, 2010
Depletable Storage Systems.
Proceedings of the 2nd USENIX Workshop on Hot Topics in Storage and File Systems, 2010
Extending SSD Lifetimes with Disk-Based Write Caches.
Proceedings of the 8th USENIX Conference on File and Storage Technologies, 2010
Policy-based access control for weakly consistent replication.
Proceedings of the European Conference on Computer Systems, 2010
2009
A Platform for Content-based Partial Replication.
Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, 2009
Fidelity-aware replication for mobile devices.
Proceedings of the 7th International Conference on Mobile Systems, 2009
Effective and efficient compromise recovery for weakly consistent replication.
Proceedings of the 2009 EuroSys Conference, Nuremberg, Germany, April 1-3, 2009, 2009
2008
Design Tradeoffs for SSD Performance.
Proceedings of the 2008 USENIX Annual Technical Conference, 2008
2007
A design for high-performance flash disks.
ACM SIGOPS Oper. Syst. Rev., 2007
How dynamic are IP addresses?
Proceedings of the ACM SIGCOMM 2007 Conference on Applications, 2007
Fast encounter-based synchronization for mobile devices.
Proceedings of the Second IEEE International Conference on Digital Information Management (ICDIM), 2007
Authorizing applications in singularity.
Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, 2007
Sealing OS processes to improve dependability and safety.
Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, 2007
2005
Moderately hard, memory-bound functions.
ACM Trans. Internet Techn., 2005
Broad New OS Research: Challenges and Opportunities.
Proceedings of HotOS'05: 10th Workshop on Hot Topics in Operating Systems, 2005
Access Control in a World of Software Diversity.
Proceedings of HotOS'05: 10th Workshop on Hot Topics in Operating Systems, 2005
2004
A Logical Account of NGSCB.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004
2003
Moderately Hard, Memory-Bound Functions.
Proceedings of the Network and Distributed System Security Symposium, 2003
Bankable Postage for Network Services.
Proceedings of the Advances in Computing Science, 2003