index.html

<!DOCTYPE html>
<html>
<head>
  <title>Papers</title>
  <link href='css/style.css' rel='stylesheet'>
  <meta name=viewport content="width=device-width, initial-scale=1">
</head>

<body>
  <div id=header>Papers</div>

  <div id="container">
    <ol id="paperlist">
      <li><a href="html/codd1970relational.html">A Relational Model of Data for Large Shared Data Banks <span class="year">(1970)</span></a></li>
      <li><a href="html/liu1973scheduling.html">Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment <span class="year">(1973)</span></a></li>
      <li><a href="html/ritchie1978unix.html">The Unix Time-Sharing System <span class="year">(1974)</span></a></li>
      <li><a href="html/gray1976granularity.html">Granularity of Locks and Degrees of Consistency in a Shared Database <span class="year">(1976)</span></a></li>
      <li><a href="html/selinger1979access.html">Access Path Selection in a Relational Database Management System <span class="year">(1979)</span></a></li>
      <li><a href="html/lauer1979duality.html">On the Duality of Operating System Structures <span class="year">(1979)</span></a></li>
      <li><a href="html/lampson1980experience.html">Experience with Processes and Monitors in Mesa <span class="year">(1980)</span></a></li>
      <li><a href="html/lehman1981efficient.html">Efficient Locking for Concurrent Operations on B-Trees <span class="year">(1981)</span></a></li>
      <li><a href="html/chamberlin1981history.html">A History and Evaluation of System R <span class="year">(1981)</span></a></li>
      <li><a href="html/kung1981optimistic.html">On Optimistic Methods for Concurrency Control <span class="year">(1981)</span></a></li>
      <li><a href="html/mckusick1984fast.html">A Fast File System for UNIX <span class="year">(1984)</span></a></li>
      <li><a href="html/saltzer1984end.html">End-to-End Arguments in System Design <span class="year">(1984)</span></a></li>
      <li><a href="html/o1986escrow.html">The Escrow Transactional Method <span class="year">(1986)</span></a></li>
      <li><a href="html/mohan1986transaction.html">Transaction Management in the R* Distributed Database Management System <span class="year">(1986)</span></a></li>
      <li><a href="html/agrawal1987concurrency.html">Concurrency Control Performance Modeling: Alternatives and Implications <span class="year">(1987)</span></a></li>
      <li><a href="html/stonebraker1987design.html">The Design of the POSTGRES Storage System <span class="year">(1987)</span></a></li>
      <li><a href="html/graefe1990encapsulation.html">Encapsulation of Parallelism in the Volcano Query Processing System <span class="year">(1990)</span></a></li>
      <li><a href="html/dewitt1990gamma.html">The Gamma Database Machine Project <span class="year">(1990)</span></a></li>
      <li><a href="html/herlihy1990linearizability.html">Linearizability: A Correctness Condition for Concurrent Objects <span class="year">(1990)</span></a></li>
      <li><a href="html/beckmann1990r.html">The R*-tree: An Efficient and Robust Access Method for Points and Rectangles <span class="year">(1990)</span></a></li>
      <li><a href="html/stonebraker1991postgres.html">The POSTGRES Next Generation Database Management System <span class="year">(1991)</span></a></li>
      <li><a href="html/golub1992microkernel.html">Microkernel Operating System Architecture and Mach <span class="year">(1992)</span></a></li>
      <li><a href="html/dewitt1992parallel.html">Parallel Database Systems: the Future of High Performance Database Systems <span class="year">(1992)</span></a></li>
      <li><a href="html/graefe1993volcano.html">The Volcano Optimizer Generator: Extensibility and Efficient Search <span class="year">(1993)</span></a></li>
      <li><a href="html/carriero1994linda.html">The Linda alternative to message-passing systems <span class="year">(1994)</span></a></li>
      <li><a href="html/waldspurger1994lottery.html">Lottery and Stride Scheduling: Flexible Proportional-Share Resource Management <span class="year">(1994)</span></a></li>
      <li><a href="html/berenson1995critique.html">A Critique of ANSI SQL Isolation Levels <span class="year">(1995)</span></a></li>
      <li><a href="html/engler1995exokernel.html">Exokernel: An Operating System Architecture for Application-Level Resource Management <span class="year">(1995)</span></a></li>
      <li><a href="html/terry1995managing.html">Managing Update Conflicts in Bayou, a Weakly Connected Replicated Storage System <span class="year">(1995)</span></a></li>
      <li><a href="html/bershad1995spin.html">SPIN -- An Extensible Microkernel for Application-specific Operating System Services <span class="year">(1995)</span></a></li>
      <li><a href="html/harinarayan1996implementing.html">Implementing Data Cubes Efficiently <span class="year">(1996)</span></a></li>
      <li><a href="html/agarwal1996computation.html">On the Computation of Multidimensional Aggregates <span class="year">(1996)</span></a></li>
      <li><a href="html/wilkes1996hp.html">The HP AutoRAID hierarchical storage system <span class="year">(1996)</span></a></li>
      <li><a href="html/goldman1997dataguides.html">DataGuides: Enabling Query Formulation and Optimization in Semistructured Databases <span class="year">(1997)</span></a></li>
      <li><a href="html/bugnion1997disco.html">Disco: Running Commodity Operating Systems on Scalable Multiprocessors <span class="year">(1997)</span></a></li>
      <li><a href="html/o1997improved.html">Improved Query Performance with Variant Indexes <span class="year">(1997)</span></a></li>
      <li><a href="html/brin1998anatomy.html">The Anatomy of a Large-Scale Hypertextual Web Search Engine <span class="year">(1998)</span></a></li>
      <li><a href="html/lehman1999t.html">T Spaces: The Next Wave <span class="year">(1999)</span></a></li>
      <li><a href="html/kohler2000click.html">The Click Modular Router <span class="year">(2000)</span></a></li>
      <li><a href="html/avnur2000eddies.html">Eddies: Continuously Adaptive Query Processing <span class="year">(1999)</span></a></li>
      <li><a href="html/adya2000generalized.html">Generalized Isolation Level Definitions <span class="year">(2000)</span></a></li>
      <li><a href="html/miller2000schema.html">Schema Mapping as Query Discovery <span class="year">(2000)</span></a></li>
      <li><a href="html/stoica2001chord.html">Chord: A Scalable Peer-to-peer Lookup Service for Internet Applications <span class="year">(2001)</span></a></li>
      <li><a href="html/moore2006inferring.html">Inferring Internet Denial-of-Service Activity <span class="year">(2001)</span></a></li>
      <li><a href="html/welsh2001seda.html">SEDA: An Architecture for Well-Conditioned, Scalable Internet Services <span class="year">(2001)</span></a></li>
      <li><a href="html/gilbert2002brewer.html">Brewer's Conjecture and the Feasibility of Consistent, Available, Partition-Tolerant Web Services <span class="year">(2002)</span></a></li>
      <li><a href="html/madden2002tag.html">TAG: A Tiny AGgregation Service for Ad-Hoc Sensor Networks <span class="year">(2002)</span></a></li>
      <li><a href="html/ghemawat2003google.html">The Google File System <span class="year">(2003)</span></a></li>
      <li><a href="html/barham2003xen.html">Xen and the Art of Virtualization <span class="year">(2003)</span></a></li>
      <li><a href="html/van2004chain.html">Chain Replication for Supporting High Throughput and Availability <span class="year">(2004)</span></a></li>
      <li><a href="html/dean2008mapreduce.html">MapReduce: Simplified Data Processing on Large Clusters <span class="year">(2004)</span></a></li>
      <li><a href="html/prabhakaran2005analysis.html">Analysis and Evolution of Journaling File Systems <span class="year">(2005)</span></a></li>
      <li><a href="html/stonebraker2005c.html">C-Store: A Column-oriented DBMS <span class="year">(2005)</span></a></li>
      <li><a href="html/brewer2005combining.html">Combining Systems and Databases: A Search Engine Retrospective <span class="year">(2005)</span></a></li>
      <li><a href="html/clark2005live.html">Live Migration of Virtual Machines <span class="year">(2005)</span></a></li>
      <li><a href="html/burrows2006chubby.html">The Chubby lock service for loosely-coupled distributed systems <span class="year">(2006)</span></a></li>
      <li><a href="html/arasu2006cql.html">The CQL Continuous Query Language: Semantic Foundations and Query Execution <span class="year">(2006)</span></a></li>
      <li><a href="html/hellerstein2007architecture.html">Architecture of a Database System <span class="year">(2007)</span></a></li>
      <li><a href="html/isard2007dryad.html">Dryad: Distributed Data-Parallel Programs from Sequential Building Blocks <span class="year">(2007)</span></a></li>
      <li><a href="html/decandia2007dynamo.html">Dynamo: Amazon's Highly Available Key-value Store <span class="year">(2007)</span></a></li>
      <li><a href="html/chang2008bigtable.html">Bigtable: A Distributed Storage System for Structured Data <span class="year">(2008)</span></a></li>
      <li><a href="html/yu2008dryadlinq.html">DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language <span class="year">(2008)</span></a></li>
      <li><a href="html/cafarella2008webtables.html">Webtables: Exploring the Power of Tables on the Web <span class="year">(2008)</span></a></li>
      <li><a href="html/letia2009crdts.html">CRDTs: Consistency without concurrency control <span class="year">(2009)</span></a></li>
      <li><a href="html/vogels2009eventually.html">Eventually Consistent <span class="year">(2009)</span></a></li>
      <li><a href="html/graefe2009five.html">The Five-Minute Rule 20 Years Later <span class="year">(2009)</span></a></li>
      <li><a href="html/cheney2009provenance.html">Provenance in Databases: Why, How, and Where <span class="year">(2009)</span></a></li>
      <li><a href="html/quigley2009ros.html">ROS: an open-source Robot Operating System <span class="year">(2009)</span></a></li>
      <li><a href="html/lagar2009snowflock.html">SnowFlock: Rapid Virtual Machine Cloning for Cloud Computing <span class="year">(2009)</span></a></li>
      <li><a href="html/alvaro2010boom.html">BOOM Analytics: Exploring Data-Centric, Declarative Programming for the Cloud <span class="year">(2010)</span></a></li>
      <li><a href="html/sigelman2010dapper.html">Dapper, a Large-Scale Distributed Systems Tracing Infrastructure <span class="year">(2010)</span></a></li>
      <li><a href="html/hellerstein2010declarative.html">The Declarative Imperative: Experiences and Conjectures in Distributed Logic <span class="year">(2010)</span></a></li>
      <li><a href="html/zhou2010efficient.html">Efficient Querying and Maintenance of Network Provenance at Internet-Scale <span class="year">(2010)</span></a></li>
      <li><a href="html/shapiro2011conflict.html">Conflict-free Replicated Data Types <span class="year">(2011)</span></a></li>
      <li><a href="html/alvaro2011consistency.html">Consistency Analysis in Bloom: a CALM and Collected Approach <span class="year">(2011)</span></a></li>
      <li><a href="html/alvaro2011dedalus.html">Dedalus: Datalog in Time and Space <span class="year">(2011)</span></a></li>
      <li><a href="html/ghodsi2011dominant.html">Dominant Resource Fairness: Fair Allocation of Multiple Resource Types <span class="year">(2011)</span></a></li>
      <li><a href="html/lloyd2011don.html">Don't Settle for Eventual: Scalable Causal Consistency for Wide-Area Storage with COPS <span class="year">(2011)</span></a></li>
      <li><a href="html/recht2011hogwild.html">Hogwild!: A Lock-Free Approach to Parallelizing Stochastic Gradient Descent <span class="year">(2011)</span></a></li>
      <li><a href="html/hindman2011mesos.html">Mesos: A Platform for Fine-Grained Resource Sharing in the Data Center <span class="year">(2011)</span></a></li>
      <li><a href="html/zhou2011tap.html">TAP: Time-aware Provenance for Distributed Systems <span class="year">(2011)</span></a></li>
      <li><a href="html/kandel2011wrangler.html">Wrangler: Interactive Visual Specification of Data Transformation Scripts <span class="year">(2011)</span></a></li>
      <li><a href="html/kapritsos2012all.html">All about Eve: Execute-Verify Replication for Multi-Core Servers <span class="year">(2012)</span></a></li>
      <li><a href="html/thomson2012calvin.html">Calvin: Fast Distributed Transactions for Partitioned Database Systems <span class="year">(2012)</span></a></li>
      <li><a href="html/brewer2012cap.html">CAP Twelve Years Later: How the "Rules" Have Changed <span class="year">(2012)</span></a></li>
      <li><a href="html/kohler2012declarative.html">Declarative Datalog Debugging for Mere Mortals <span class="year">(2012)</span></a></li>
      <li><a href="html/zhou2012distributed.html">Distributed Time-aware Provenance <span class="year">(2012)</span></a></li>
      <li><a href="html/conway2012logic.html">Logic and Lattices for Distributed Programming <span class="year">(2012)</span></a></li>
      <li><a href="html/hellerstein2012madlib.html">The MADlib Analytics Library or MAD Skills, the SQL <span class="year">(2012)</span></a></li>
      <li><a href="html/li2012making.html">Making Geo-Replicated Systems Fast as Possible, Consistent when Necessary <span class="year">(2012)</span></a></li>
      <li><a href="html/gonzalez2012powergraph.html">PowerGraph: Distributed Graph-Parallel Computation on Natural Graphs <span class="year">(2012)</span></a></li>
      <li><a href="html/zaharia2012resilient.html">Resilient Distributed Datasets: A Fault-Tolerant Abstraction for In-Memory Cluster Computing <span class="year">(2012)</span></a></li>
      <li><a href="html/corbett2013spanner.html">Spanner: Google's Globally Distributed Database <span class="year">(2012)</span></a></li>
      <li><a href="html/vavilapalli2013apache.html">Apache Hadoop YARN: Yet Another Resource Negotiator <span class="year">(2013)</span></a></li>
      <li><a href="html/green2013datalog.html">Datalog and Recursive Query Processing <span class="year">(2013)</span></a></li>
      <li><a href="html/zaharia2013discretized.html">Discretized Streams: Fault-Tolerant Streaming Computation at Scale <span class="year">(2013)</span></a></li>
      <li><a href="html/elphinstone2013l3.html">From L3 to seL4 What Have We Learnt in 20 Years of L4 Microkernels? <span class="year">(2013)</span></a></li>
      <li><a href="html/diaconu2013hekaton.html">Hekaton: SQL Server's Memory-Optimized OLTP Engine <span class="year">(2013)</span></a></li>
      <li><a href="html/mckeen2013innovative.html">Innovative Instructions and Software Model for Isolated Execution <span class="year">(2013)</span></a></li>
      <li><a href="html/akidau2013millwheel.html">MillWheel: Fault-Tolerant Stream Processing at Internet Scale <span class="year">(2013)</span></a></li>
      <li><a href="html/murray2013naiad.html">Naiad: A Timely Dataflow System <span class="year">(2013)</span></a></li>
      <li><a href="html/terry2013replicated.html">Replicated Data Consistency Explained Through Baseball <span class="year">(2013)</span></a></li>
      <li><a href="html/tu2013speedy.html">Speedy Transactions in Multicore In-Memory Databases <span class="year">(2013)</span></a></li>
      <li><a href="html/li2014automating.html">Automating the Choice of Consistency Levels in Replicated Systems <span class="year">(2014)</span></a></li>
      <li><a href="html/klonatos2014building.html">Building Efficient Query Engines in a High-Level Language <span class="year">(2014)</span></a></li>
      <li><a href="html/bailis2014coordination.html">Coordination Avoidance in Database Systems <span class="year">(2014)</span></a></li>
      <li><a href="html/taft2014store.html">E-Store: Fine-Grained Elastic Partitioning for Distributed Transaction Processing Systems <span class="year">(2014)</span></a></li>
      <li><a href="html/conway2014edelweiss.html">Edelweiss: Automatic Storage Reclamation for Distributed Programming <span class="year">(2014)</span></a></li>
      <li><a href="html/bailis2013highly.html">Highly Available Transactions: Virtues and Limitations <span class="year">(2014)</span></a></li>
      <li><a href="html/li2014scaling.html">Scaling Distributed Machine Learning with the Parameter Server <span class="year">(2014)</span></a></li>
      <li><a href="html/ongaro2014search.html">In Search of an Understandable Consensus Algorithm <span class="year">(2014)</span></a></li>
      <li><a href="html/baumann2015shielding.html">Shielding Applications from an Untrusted Cloud with Haven <span class="year">(2014)</span></a></li>
      <li><a href="html/toshniwal2014storm.html">Storm @ Twitter <span class="year">(2014)</span></a></li>
      <li><a href="html/roy2015homeostasis.html">The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis <span class="year">(2015)</span></a></li>
      <li><a href="html/kornacker2015impala.html">Impala: A Modern, Open-Source SQL Engine for Hadoop <span class="year">(2015)</span></a></li>
      <li><a href="html/verma2015large.html">Large-scale cluster management at Google with Borg <span class="year">(2015)</span></a></li>
      <li><a href="html/alvaro2015lineage.html"> Lineage-driven Fault Injection <span class="year">(2015)</span></a></li>
      <li><a href="html/balegas2015putting.html">Putting Consistency Back into Eventual Consistency <span class="year">(2015)</span></a></li>
      <li><a href="html/armbrust2015spark.html">Spark SQL: Relational Data Processing in Spark <span class="year">(2015)</span></a></li>
      <li><a href="html/kulkarni2015twitter.html">Twitter Heron: Stream Processing at Scale <span class="year">(2015)</span></a></li>
      <li><a href="html/burns2016borg.html">Borg, Omega, and Kubernetes <span class="year">(2016)</span></a></li>
      <li><a href="html/gotsman2016cause.html">'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems <span class="year">(2016)</span></a></li>
      <li><a href="html/maddox2016decibel.html">Decibel: The Relational Dataset Branching System <span class="year">(2016)</span></a></li>
      <li><a href="html/holt2016disciplined.html">Disciplined Inconsistency with Consistency Types <span class="year">(2016)</span></a></li>
      <li><a href="html/halevy2016goods.html">Goods: Organizing Google's Datasets <span class="year">(2016)</span></a></li>
      <li><a href="html/chen2016realtime.html">Realtime Data Processing at Facebook <span class="year">(2016)</span></a></li>
      <li><a href="html/crooks2016tardis.html">TARDiS: A Branch-and-Merge Approach To Weak Consistency <span class="year">(2016)</span></a></li>
      <li><a href="html/lin2016towards.html">Towards a Non-2PC Transaction Management in Distributed Database Systems <span class="year">(2016)</span></a></li>
      <li><a href="html/dan2017using.html">On Using Time Without Clocks via Zigzag Causality <span class="year">(2017)</span></a></li>
    </ol>
  </div>

	<script>
		(function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
		(i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
		m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
		})(window,document,'script','https://www.google-analytics.com/analytics.js','ga');

		ga('create', 'UA-90310997-2', 'auto');
		ga('send', 'pageview');
	</script>
</body>
</html>