Contact

Dan Ports
CSE468
drkpcsail.mit.edu
Dan Ports
CSE 468
drkpcs.washington.edu
Computer Systems & Networking, Data Science, Data Management & Visualization
Areas of interest: Distributed systems, operating systems, security, and storage

Just Say NO to Paxos Overhead: Replacing Consensus with Network Ordering

J. Li, E. Michael, A. Szekeres, N.Kr. Sharma, D.R.K. Ports, OSDI, 2016.

Disciplined Inconsistency with Consistency Types

B. Holt, J. Bornholt, I. Zhang, D.R.K. Ports, M. Oskin, L. Ceze, SOCC, 2016.

When Is Operation Ordering Required in Replicated Transactional Storage?

I. Zhang, N.Kr. Sharma, A. Szekeres, A. Krishnamurthy, D.R.K. Ports, IEEE Data Engineering Bulletin 39:1, 2016.
https://drkp.net/papers/ordering-debull16.pdf

Building Consistent Transactions with Inconsistent Replication

I. Zhang, N. Sharma, A. Szekeres, A. Krishnamurthy, D.R.K. Ports, SOSP, 2015.

Designing Distributed Systems Using Approximate Synchrony in Data Center Networks

D.R.K. Ports, J. Li, V. Liu, N.K. Sharma, A. Krishnamurthy, NSDI, 2015.
http://drkp.net/papers/specpaxos-nsdi15.pdf PDF

Claret: Using Data Types for Highly Concurrent Distributed Transactions

B. Holt, I. Zhang, D.R.K. Ports, M. Oskin, L. Ceze, Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC '15), ACM, 2015.
http://drkp.net/papers/claret-papoc15.pdf PDF

Tales of the Tail: Hardware, OS, and Application-level Sources of Tail Latency.

J. Li, N.K. Sharma, D.R.K. Ports, S.D. Gribble, ACM Symposium on Cloud Computing (SOCC), 2014.
http://drkp.net/papers/latency-socc14.pdf PDF

Arrakis: The Operating System is the Control Plane

S. Peter, J. Li, I. Zhang, D. Ports, D. Woos, A. Krishnamurthy, T. Anderson, T. Roscoe, OSDI, 2014.

Towards High-Performance Application-Level Storage Management

S. Peter, I. Zhang, D. Ports, J. Li, D. Woos, T. Anderson, A. Krishnamurthy, M. Zbikowski, HotStorage, 2014.

Machine Fault Tolerance for Reliable Datacenter Systems

D. Zhuo, Q. Zhang, D. Ports, A. Krishnamurthy, T. Anderson, APSYS, 2014.

Application-Level Caching with Transactional Consistency

D.R.K. Ports, Massachusetts Institute of Technology Ph.D., 2012.
http://drkp.net/papers/thesis.pdf PDF

Abstractions for Usable Information Flow Control in Aeolus

W. Cheng, D.R.K. Ports, D. Schultz, V. Popic, A. Blankstein, J. Cowling, D. Curtis, L. Shrira, B. Liskov, USENIX Annual Technical Conference, USENIX, 2012.
http://drkp.net/papers/aeolus-usenix12.pdf

Serializable Snapshot Isolation in PostgreSQL

D.R.K. Ports, K. Grittner, Proceedings of the VLDB Endowment 5, 2012.
http://drkp.net/papers/ssi-vldb12.pdf

Transactional Consistency and Automatic Management in an Application Data Cache

D.R.K. Ports, A.T. Clements, I. Zhang, S. Madden, B. Liskov, Symposium on Operating Systems Design and Implementation (OSDI '10), USENIX, 2010.
http://drkp.net/papers/txcache-osdi10.pdf PDF

Towards Application Security on Untrusted Operating Systems

D.R.K. Ports, T. Garfinkel, Workshop on Hot Topics in Security (HotSec '08), USENIX, 2008.
http://drkp.net/papers/overshadow-hotsec08.pdf PDF

Overshadow: A Virtualization-Based Approach to Retrofitting Protection in Commodity Operating Systems

X. Chen, T. Garfinkel, C. Lewis, P. Subrahmanyam, C.A. Waldspurger, D. Boneh, J. Dwoskin, D.R.K. Ports, International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '08), ACM, 2008.
http://drkp.net/papers/overshadow-asplos08.pdf PDF

Arpeggio: Metadata Indexing in a Structured Peer-to-Peer Network

D.R.K. Ports, Massachusetts Institute of Technology M.Eng., 2007.
http://drkp.net/papers/arpeggio-meng.pdf PDF

Arpeggio: Metadata Searching and Content Sharing with Chord

A.T. Clements, D.R.K. Ports, D.R. Karger, International Workshop on Peer-to-Peer Systems (IPTPS '05), Springer, 2005.
http://drkp.net/papers/arpeggio-iptps05.pdf PDF