General Theory of Natural Equivalences1942Samuel Eilenberg; Saunders Mac Lane
A Decision Method for Elementary Algebra and Geometry1948Alfred Tarski
A Mathematical Theory of Communication1948C. E. Shannon
A New Interpretation of Information Rate1956J. L. Kelly, Jr.
On the Acoustics of Cocktail Parties1958William R. MacLean
On the Performing Arts: The Anatomy of Their Economic Problems1965W. J. Baumol; W. G. Bowen
On the Complexity of Derivation in Propositional Calculus1966G. S. Tseitin [Tseytin]
Applications of Negative Dimensional Tensors1971Roger Penrose
BLISS: A Language for Systems Programming1971W.A. Wulf; D.B. Russell; A.N. Habermann
Polynomial Evaluation via the division algorithm: the fast Fourier transform revisited1972Charles M. Fiduccia
Self-stabilizing Systems in Spite of Distributed Control1974Edsger W. Dijkstra
Structured Programming with go to Statements1974Donald E. Knuth
An Analysis of Alpha-Beta Pruning1975Donald E. Knuth; Ronald W. Moore
On the Complexity of Timetable and Multicommodity Flow Problems1975S. Even; A. Itai; A. Shamir
Agreeing to Disagree1976Robert J. Aumann
The COMFY 6502 Compiler1976Henry G. Baker
On-the-Fly Garbage Collection: An Exercise in Cooperation1978Leslie Lamport
State the Problem Before Describing the Solution1978Leslie Lamport
System Level Concurrency Control for Distributed Database Systems1978Daniel J. Rosenkrantz; Richard E. Stearns; Philip M. Lewis II
Time, Clocks, and the Ordering of Events in a Distributed System1978Leslie Lamport
Synchronization with Eventcounts and Sequencers1979David P. Reed; Rajendra K. Kanodia
Concurrency Control in a System for Distributed Databases (SDD-1)1980Philip A. Bernstein; David W. Shipman; James B. Rothnie, Jr.
SCOUT: A Simple Game-Searching Algorithm With Proven Optimal Properties1980Judea Pearl
Efficient Locking for Concurrent Operations on B-Trees1981Philip L. Lehman; S. Bing Yao
Wait-Free Synchronization1981Maurice Herlihy
The Analysis of Linear Probing Sort by the Use of a New Mathematical Transform1982Gaston H. Gonnet; J. Ian Munro
Implementing Atomic Actions on Decentralized Data1983David P. Reed
An Implicit Data Structure for the Dictionary Problem that Runs in Polylog Time1984J. Ian Munro
End-to-End Arguments in System Design1984J.H. Saltzer; D.P. Reed; D.D. Clark
Exploiting Regularities in Large Cellular Spaces1984R. Wm. Gosper
Negative Probability1984Richard P. Feynman
Impossibility of Distributed Consensus with One Faulty Process1985Michael J. Fischer; Nancy A. Lynch; Michael S. Paterson
On Generator Matrices of MDS Codes1985Ron M. Roth; Gadiel Seroussi
Data Parallel Algorithms1986W. Daniel Hillis; Guy L. Steele, Jr.
Linear Logic1986Jean-Yves GIRARD
Linear Logic_text1986Jean-Yves GIRARD
Planar Point Location Using Persistent Search Trees1986Neil Sarnak; Robert E. Tarjan
The Complexity of Optimization Problems1986Mark W. Krentel
A Sample of Brilliance1987Jon Bentley; Bob Floyd
Structural Regular Expressions1987Rob Pike
How to Construct Pseudorandom Permutations from Pseudorandom Functions1988Michael Luby; Charles Rackoff
Nondeterministic Space is Closed Under Complementation1988Neil Immerman
The Strong Law of Small Numbers1988Richard K. Guy
A Hundred Impossibility Proofs for Distributed Consensus1989Nancy Lynch
Io: a new programming notation1989Raphael L. Levien
A Fast Algorithm for Optimal Length-Limited Huffman Codes1990Lawrence L. Larmore; Daniel S. Hirschberg
Linearizability: A Correctness Condition for Concurrent Objects1990Maurice P. Herlihy; Jeannette M. Wing
Sharing Memory Robustly in Message-Passing Systems1990Hagit Attiya; Amotz Bar-Noy; Danny Dolev
Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine1992Simon L Peyton Jones
The state complexities of some basic operations on regular languages1992Sheng Yu; Qingyu Zhuang; Kai Salomaa
A Primer on Galois Connections1993M. Erné; J. Koslowski; A. Melton; G. E. Strecker
An Efficient Representation for Sparse Sets1993Preston Briggs; Linda Torczon
Fair Games and Full Completeness for Multiplicative Linear Logic without the MIX-Rule1993J. M. E. Hyland; C.-H. L. Ong
Games and Full Completeness for Multiplicative Linear Logic1993Samson Abramsky; Radha Jagadeesan
Optimal Speedup of Las Vegas Algorithms1993Michael Luby; Alistair Sinclair; David Zuckerman
A New Paradigm for Minimax Search1994Aske Plaat; Jonathan Schaeffer; Wim Pijls; Arie de Bruin
Division by three1994Peter G. Doyle; John Horton Conway
On proof and progress in mathematics1994William P. Thurston
Seven Trees in One1994Andreas Blass
The perception of rhythm in language1994Anne Cutler
A Pixel Is Not A Little Square1995Alvy Ray Smith
Cylindrical Algebraic Decomposition - an Introduction1995Mats Jirstrand
Increasing the Resilience of Atomic Commit, at No Additional Cost1995Idit Keidar; Danny Dolev
Revisiting the relationship between non-blocking atomic commitment and consensus1995Rachid Guerraoui
A constructive game semantics for the language of linear logic1996Giorgi Japaridze
GRASP -- A New Search Algorithm for Satisfiability1996João P. Marques Silva; Karem A. Sakallah
How to Build a Highly Available System Using Consensus1996Butler W. Lampson
LL and LR Translators Need k > 1 Lookahead1996Terence J. Parr; Russell W. Quong
Parallel Collision Search with Cryptanalytic Applications1996Paul C. van Oorschot; Michael J. Wiener
Unreliable Failure Detectors for Reliable Distributed Systems1996Tushar Deepak Chandra; Sam Toueg
A Compacting Garbage Collector for Unidirectional Heaps1997Ken Boortz; Dan Sahlin
COMFY -- A Comfortable Set of Control Primitives for Machine Language Programming1997Henry G. Baker
Calculus for mathematicians1997D. J. Bernstein
Composition: A Way to Make Proofs Harder1997Leslie Lamport
On the Implementation of Minimum Redundancy Prefix Codes1997Alistair Moffat; Andrew Turpin
Recursion from cyclic sharing: traced monoidal categories and models of cyclic lambda calculi1997Masahito Hasegawa
An Overview of Query Optimization in Relational Systems1998Surajit Chaudhuri
Lazy Functional Algorithms for Exact Real Functionals1998Alex K. Simpson
On the Visualisation of Differential Forms1998Dan Piponi
The Part-Time Parliament1998Leslie Lamport
Feline: Fast Elliptical Lines for Anisotropic Texture Mapping1999Joel McCormack; Ronald Perry; Keith I. Farkas; Norman P. Jouppi
On Lowest Density MDS Codes1999Mario Blaum; Ron M. Roth
Succinct Representation of Balanced Parentheses, Static Trees and Planar Graphs1999J. Ian Munro; Venkatesh Raman
Accurate binding-time analysis for imperative languages: flow, context, and return sensitivity2000Luke Hornof; Jacques Noyé
Compiler Construction -- The Art of Niklaus Wirth2000Hanspeter Mössenböck
Dancing Links2000Donald E. Knuth
Generalized Isolation Level Definitions2000Atul Adya; Barbara Liskov; Patrick O'Neil
Generation of LR Parsers by Partial Evaluation2000Michael Sperber; Peter Thiemann
Chaff: Engineering an Efficient SAT Solver2001Matthew W. Moskewicz; Conor F. Madigan; Ying Zhao; Lintao Zhang; Sharad Malik
Hard Sync Without Aliasing2001Eli Brandt
Multidigit multiplication for mathematicians2001Daniel J. Bernstein
Paxos Made Simple2001Leslie Lamport
The ABCD's of Paxos2001Butler W. Lampson
The Power of Two Random Choices: A Survey of Techniques and Results2001Michael Mitzenmacher; Andréa W. Richa; Rameh Sitaraman
A New Algorithm for Decoding Reed-Solomon Codes2002Shuhong Gao
Compactness and Continuity, Constructively Revisited2002Douglas Bridges; Hajima Ishihara; Peter Schuster
Disk Paxos2002Eli Gafni; Leslie Lamport
Efficient Pattern-Matching with Don't Cares2002Adam Kalai
Using Tensor Diagrams to Represent and Solve Geometric Problems2002James F. Blinn
Backjumping is Exception Handling2003Ed Robbins; Andy King; Jacob M. Howe
Dynamic Ordered Sets with Exponential Search Trees2003Arne Andersson; Mikkel Thorup
Obstruction-Free Synchronization: Double-Ended Queues as an Example2003Maurice Herlihy; Victor Luchangco; Mark Moir
Simple Linear Work Suffix Array Construction2003Juka Kärkkäinen; Peter Sanders
A Read-Only Transaction Anomaly Under Snapshot Isolation2004Alan Fekete; Elizabeth O'Neil; Patrick O'neil
A Unified Theory of Garbage Collection2004David F. Bacon; Perry Cheng; V.T. Rajan
An Extensible SAT-solver2004Niklas Eén; Niklas Sörensson
Cheap Paxos2004Leslie Lamport; Mike Massa
Consensus on Transaction Commit2004Jim Gray; Leslie Lamport
DPLL(T): Fast Decision Procedures2004Harald Ganzinger; George Hagen; Robert Nieuwenhuis; Albert Oliveras; Cesare T...
Hazard Pointers: Safe Memory Reclamation for Lock-Free Objects2004Maged M. Michael
Row-Diagonal Parity for Double Disk Failure Correction2004Peter Corbett; Bob English; Atul Goel; Tomislav Grcanac; Steven Kleiman; Jame...
Synthetic topology of data types and classical spaces2004Martín Escardó
Visibly Pushdown Languages2004Rajeev Alur; P. Madhusudan
A SAT Solver Primer2005David G. Mitchell
Abstract DPLL and Abstract DPLL Modulo Theories2005Robert Nieuwenhuis; Albert Oliveras; Cesare Tinelli
Alternatives to Two Classic Data Structures2005Chris Okasaki
Fast Paxos2005Leslie Lamport
Half of a Coin: Negative Probabilities2005Gábor J. Székely
In-Place Calculation of Minimum-Redundancy Codes2005Alistair Moffat; Jyrki Katajainen
One Pass Real-Time Generational Mark-Sweep Garbage Collection2005Joe Armstrong; Robert Virding
Optimizing Cauchy Reed-Solomon Codes for Fault-Tolerant Storage Applications2005James S. Plank
The dual of concatenation2005Alexander Okhotin
What is... a Gröbner Basis?2005Bernd Sturmfels
100 years of Zermelo's axiom of choice: what was the problem with it?2006Per Martin-Löf
Diagonal Arguments and Cartesian Closed Categories2006F. William Lawvere
On the Impossibility of Efficiently Combining Collision Resistant Hash Functions2006Dan Boneh; Xavier Boyen
Solving SAT and SAT Modulo Theories: from an Abstract Davis-Putnam-Logemann-Loveland Procedure to DPLL(T)2006Robert Nieuwenhuis; Albert Oliveras; Cesare Tinelli
Synthetic Differential Geometry2006Michael Shulman
The SMART Way to Migrate Replicated Stateful Services2006Jacob R. Lorch; Atul Adya; William J. Bolosky; Ronnie Chaiken; John R. Douceu...
Dialectica and Chu Constructions: Cousins?2007Valeria de Paiva
Faster Laziness Using Dynamic Pointer Tagging2007Simon Marlow; Alexey Rodriguez Yakushev; Simon Peyton Jones
Infinite sets that admit fast exhaustive search2007Martín Escardó
Paxos Made Live - An Engineering Perspective2007Tushar Chandra; Robert Griesemer; Joshua Redstone
Robust Energy-Efficient Adder Topologies2007Dinesh Patil; Omid Azizi; Mark Horowitz; Ron Ho; Rajesh Ananthraman
Some Classes of Invertible Matrices in GF(2)2007James S. Plank; Adam L. Buchsbaum
The tangent FFT2007Daniel J. Bernstein
A beginner's guide to forcing2008Timothy Y. Chow
Compact Dictionaries for Variable-Length Keys and Data, with Applications2008Daniel K. Blandford; Guy E. Blelloch
Conflict-Driven Clause Learning SAT Solvers2008Joao Marques-Silva; Ines Lynce; Sharad Malik
Differential Forms and Integration2008Terence Tao
Mencius: Building Efficient Replicated State Machines for WANs2008Yanhua Mao; Flavio P. Junqueira; Keith Marzullo
On Asymptotic Notation with Multiple Variables2008Rodney R. Howell
Parsing Mixfix Operators2008Nils Anders Danielsson; Ulf Norell
Succincter2008Mihai Pătraşcu
Deletion Without Rebalancing in Multiway Search Trees2009Siddhartha Sen; Robert E. Tarjan
Extending SAT Solvers to Cryptographic Problems2009Mate Soos; Karsten Nohl; Claude Castelluccia
Hash, displace, and compress2009Djamal Belazzougui; Fabiano C. Botelho; Martin Dietzfelbinger
Improving OLTP concurrency through Early Lock Release2009Manos Athanassoulis; Ryan Johnson; Anastasia Ailamaki; Radu Stoica
Minimizing Learned Clauses2009Niklas Sörensson; Armin Biere
Nucleus: Towards a Unified Dynamics Solver for Computer Graphics2009Jos Stam
Physics, Topology, Logic and Computation: A Rosetta Stone2009John C. Baez; Mike Stay
Successful SAT Encoding Techniques2009Magnus Björk
Two Tricks for the Price of One: Linear Filters and their Transposes2009Dan Piponi
Vertical Paxos and Primary-Backup Replication2009Leslie Lamport; Dahlia Malkhi; Lidong Zhou
A general theory of self-similarity2010Tom Leinster
An Exploration of Optimization Algorithms and Heuristics for the Creation of Encoding and Decoding Sch...2010Catherine D. Schuman
Antichain Algorithms for Finite Automata2010Laurent Doyen; Jean-François Raskin
Classical Mathematics for a Constructive World2010Russell O'Connor
Experiments on Union-Find Algorithms for the Disjoint-Set Data Structure2010Md. Mostofa Ali Patwary; Jean Blair; Fredrik Manne
Flat Combining and the Synchronization-Parallelism Tradeoff2010Danny Hendler; Itai Incze; Nir Shavit; Moran Tzafrir
Species and Functors and Types, Oh My!2010Brent A. Yorgey
The Galois Connection between Syntax and Semantics2010Peter Smith
Between Restarts and Backjumps2011Antonio Ramos; Peter van der Tak; Marijn Heule
Division Algebras and Quantum Theory2011John C. Baez
Efficient Algorithms on Sequence Binary Decision Diagrams for Manipulating Sets of Strings2011Shuhei Denzumi; Ryo Yoshinaka; Shin-ichi Minato; Hiroki Arimura
Empirical Study of the Anatomy of Modern Sat Solvers2011Hadi Katebi; Karem A. Sakallah; João P. Marques-Silva
Fast brief practical DFA minimization2011Antti Valmari
Megastore: Providing Scalable, Highly Available Storage for Interactive Services2011Jason Baker; Chris Bond; James C. Corbett; JJ Furman; Andrey Khorlin; James L...
Minimalism in Cryptography: The Even-Mansour Scheme Revisited2011Orr Dunkelman; Nathan Keller; Adi Shamir
Modern B-Tree Techniques2011Goetz Graefe
Notes on Sequence Binary Decision Diagrams: Relationship to Acyclic Automata and Complexities of Binar...2011Shuhei Denzumi; Ryo Yoshinaka; Hiroki Arimura; Shin-ichi Minato
Relational Transducers for Declarative Networking2011Tom J. Ameloot; Frank Neven; Jan Van den Bussche
Semi-Indexing Semi-Structured Data in Tiny Space2011Giuseppe Ottaviano; Roberto Grossi
XOR's, Lower Bounds and MDS Codes for Storage2011James S. Plank
A Critique of Snapshot Isolation2012Daniel Gómez Ferro; Maysam Yabandeh
Calvin: Fast Distributed Transactions for Partitioned Database Systems2012Alexander Thomson; Thaddeus Diamond; Shu-Chun Weng; Kun Ren; Philip Shao; Dan...
Rethinking set theory2012Tom Leinster
Spanner: Google's Globally-Distributed Database2012James C. Corbett; Jeffrey Dean; Michael Epstein; Andrew Fikes; Christopher Fr...
Viewstamped Replication Revisited2012Barbara Liskov; James Cowling
A Model-Constructing Satisfiability Calculus2013Leonardo de Moura; Dejan Jovanović
A Piggybacking Design Framework for Read-and Download-efficient Distributed Storage Codes2013K. V. Rashmi; Nihar B. Shah; Kanna Ramchandran
Are Lock-Free Concurrent Algorithms Practically Wait-Free?2013Dan Alistarh; Keren Censor-Hillel; Nir Shavit
Copysets: Reducing the Frequency of Data Loss in Cloud Storage2013Asaf Cidon; Stephen M. Rumble; Ryan Stutsman; Sachin Katti; John Ousterhout; ...
Hekaton: SQL Server's Memory-Optimized OLTP Engine2013Cristian Diaconu; Craig Freedman; Erik Ismert; Per-Åke Larson; Pravin Mittal;...
Leapfrog Triejoin: A Simple, Worst-Case Optimal Join Algorithm2013Todd L. Veldhuizen
Most Tensor Problems are NP-Hard2013Christopher J. Hillar; Lek-Heng Lim
SD Codes: Erasure Codes Designed for How Storage Systems Really Fail2013James S. Plank; Mario Blaum; James L. Hafner
Space-Efficient Data Structures for Collections of Textual Data2013Giuseppe Ottaviano
Sparse-Sets for Domain Implementation2013Vianney le Clément de Saint-Marcq; Pierre Chaus; Christine Solnon; Christophe...
Techniques of BDD/ZDD: Brief History and Recent Activity2013Shin-ichi MINATO
The Design and Implementation of the Model Constructing Satisfiability Calculus2013Dejan Jovanović; Clark Barrett; Leonardo de Moura
Asymmetric numeral systems: entropy coding combining speed of Huffman coding with compression rate of ...2014Jarek Duda
Disjoint Set Union with Randomized Linking2014Ashish Goel; Sanjeev Khanna; Daniel H. Larkin; Robert E. Tarjan
Don't stack your Log on my Log2014Jingpei Yang; Ned Plasson; Greg Gillis; Nisha Talagala; Swaminathan Sundraraman
From Parametricity to Conservation Laws, via Noether's Theorem2014Robert Atkey
In Search of an Understandable Consensus Algorithm (Extended Version)2014Diego Ongaro; John Ousterhout
Making Sense of Relativistic Distributed Systems2014Seth Gilbert; Wojciech Golab
Efficient Regular Expression Matching Method Using ZBDDs2014Shinobu Nagayama
The IntSat method for Integer Linear Programming2014Robert Nieuwenhuis
The SPEKE Protocol Revisited2014Feng Hao; Siamak F. Shahandashti
Towards Ultra Rapid Restarts2014Shai Haim; Marijn Heule
Building Consistent Transactions with Inconsistent Replication2015Irene Zhang; Naveen Kr. Sharma; Adriana Szekeres; Arvind Krishnamurthy; Dan R...
Constant-Time Sliding Window Aggregation2015Kanat Tangwongsan; Martin Hirzel; Scott Schneider
Kangaroo Methods for Solving the Interval Discrete Logarithm Problem2015Alex Fowler
Learning Regular Languages via Alternating Automata2015Dana Angluin; Sarah Eisenstat; Dana Fisman
Paxos Made Moderately Complex2015Robbert van Renesse; Deniz Altınbüken
SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers2015Zack Newsham; William Lindsay; Vijay Ganesh; Jia Hui Liang; Sebastian Fischme...
Shape Decomposition for Multi-channel Distance Fields2015Viktor Chlumský
Solving Exists/Forall Problems With Yices2015Bruno Dutertre
A Wait-free Queue as Fast as Fetch-and-Add2016Chaoran Yang; John Mellor-Crummey
BBR: Congestion-Based Congestion Control2016Neal Cardwell; Yuchung Cheng; C. Stephen Gunn; Soheil Hassas Yeganeh; Van Jac...
Consistency in Non-Transactional Distributed Storage Systems2016Paolo Viotti; Marko Vukolić
Flexible Paxos: Quorum Intersection Revisited2016Heidi Howard; Dahlia Malkhi; Alexander Spiegelman
Improving SAT Solvers by Exploiting Empirical Characteristics of CDCL2016Chanseok Oh
Just Say NO to Paxos Overhead: Replacing Consensus with Network Ordering2016Jialin Li; Ellis Michael; Naveen Kr. Sharma; Adrianna Szekeres; Dan R. K. Ports
TicToc: Time Traveling Optimistic Concurrency Control2016Xiangyao Yu; Andrew Pavlo; Daniel Sanchez; Srinivas Devadas
Dancing with Decision Diagrams: A Combined Approach to Exact Cover2017Masaaki Nishino; Norihito Yasuda; Shin-ichi Minato; Masaaki Nagata
GIMLI: a cross-platform permutation2017Daniel J. Bernstein; Stefan Kölbl; Stefan Lucks; Pedro Maat Costa Massolino; ...
Mastering the game of Go without human knowledge2017David Silver; Julian Schrittwieser; Karen Simonyan; Ioannis Antonoglou; Aja H...
Neural Episodic Control2017Alexander Pritzel; Benigno Uria; Sriram Srinivasan; Adria Puigdom; Oriol Viny...
On the Completeness of the Traced Monoidal Category Axioms in (Rel,+)2017Miklós Bartha
Seeing is Believing: A Client-Centric Specification of Database Isolation2017Natacha Crooks; Youer Pu; Lorenzo Alvisi; Allen Clement
WPaxos: Wide Area Network Flexible Consensus2017Ailidani Ailijiang; Aleksey Charapko; Murat Demirbas; Tevfik Kosar
A Unified Form of EVENODD and RDP Codes and Their Efficient Decoding2018Hanxu Hou; Yunghsiang S. Han; Kenneth W. Shum; Hui Li
BDDs Naturally Represent Boolean Functions, and ZDDs Naturally Represent Sets of Sets2018Kensuke Kojima
Beyond binary search: parallel in-place construction of implicit search tree layouts2018Kyle Berney; Henri Casanova; Alyssa Higuchi; Ben Karsin; Nodari Sitchinava
CASPaxos: Replicated State Machines without logs2018Denis Rystsov
Chronological Backtracking2018Alexander Nadel; Vadim Ryvchin
DPaxos: Managing Data Closer to Users for Low-Latency and Mobile Applications2018Faisal Nawab; Divyakant Agrawal; Amr El Abbadi
Extending the Algebraic Manipulability of Differentials2018Jonathan Bartlett; Asatur Zh. Khurshudyan
Faster Population Counts Using AVX2 Instructions2018Wojciech Muła; Nathan Kurz; Daniel Lemire
Linear logic for constructive mathematics2018Michael Shulman
Optimal In-Place Suffix Sorting2018Zhize Li; Jian Li; Hongwei Huo
Protocol-Aware Recovery for Consensus-Based Storage2018Ramnatthan Alagappan; Aishwarya Ganesan; Eric Lee; Aws Albarghouthi; Vijay Ch...
Revisiting Enumerative Instantiation2018Andrew Reynolds; Haniel Barbosa; Pascal Fontaine
SAT132018Donald E. Knuth
SIPT: Speculatively Indexed, Physically Tagged Caches2018Tianhao Zheng; Haishun Zhu; Mattan Erez
Scalable String and Suffix Sorting: Algorithms, Techniques, and Tools2018Timo Bingmann
Single-Agent Policy Tree Search With Guarantees2018Laurent Orseau; Levi H. S. Lelis; Tor Lattimore; Théophane Weber
The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions2018Michael Shulman
Zip Trees2018Robert E. Tarjan; Caleb C. Levy; Stephen Timmel
A fork() in the road2019Andrew Baumann; Jonathan Appavoo; Orran Krieger; Timothy Roscoe
Compact Fenwick trees for dynamic ranking and selection2019Stefano Marchini; Sebastiano Vigna
Compiling with Continuations, or without? Whatever.2019Yoyou Cong; Leo Osvald; Grégory Essrtel; Tiark Rompf
Distributed Transactional Systems Cannot Be Fast2019Diego Didona; Panagiota Fatourou; Rachid Guerraoui; Jingjing Wang; Willy Zwae...
It Is High Time We Let Go Of The Mersenne Twister2019Sebastiano Vigna
Linearizable Quorum Reads in Paxos2019Aleksey Charapko; Ailidani Ailijiang; Murat Demirbas
Matchmaker Paxos: A Reconfigurable Consensus Protocol2019Michael Whittaker; Neil Giridharan; Adriana Szekeres; Joseph M. Hellerstein; ...
Mimalloc: Free List Sharding in Action2019Daan Leijen; Benjamin Zorn; Leonardo de Moura
RecSplit: Minimal Perfect Hashing via Recursive Splitting2019Emmanuel Esposito; Thomas Mueller Graf; Sebastiano Vigna
Brief Announcement: On the Significance of Consecutive Ballots in Paxos2020Eli Goldweber; Nuda Zhang; Manos Kapritsos
Concurrent Reference Counting and Resource Management in Constant Time2020Guy E. Blelloch; Yuanhao Wei
Deciding the Consistency of Non-Linear Real Arithmetic Constraints with a Conflict Driven Search Using...2020Erika Ábrahám; James H. Davenport; Matthew England; Gereon Kremer
Elementary Functions and Approximate Computing2020Jean-Michel Muller
Meerkat: Multicore-Scalable Replicated Transactions Following the Zero-Coordination Principle2020Adriana Szekeres; Michael Whittaker; Jialin Li; Naveen Sharma; Arvind Krishna...
On the Significance of Consecutive Ballots in Paxos2020Eli Goldweber; Nuda Zhang; Manos Kapritsos
Paxos vs Raft: Have we reached consensus on distributed consensus?2020Heidi Howard; Richard Mortier
Polar Stroking: New Theory and Methods for Stroking Paths2020Mark J. Kilgard
Scaling Replicated State Machines with Compartmentalization2020Michael Whittaker; Ailidani Ailijiang; Aleksey Charapko; Muray Demirbas; Neil...
Take A Way: Exploring the Security Implications of AMD's Cache Way Predictors2020Moritz Lipp; Vedad Hadžić; Michael Schwarz; Arthur Perais; Clémentine Maurice...
Decomposing reverse-mode automatic differentiation2021Roy Frostig; Matthew J. Johnson; Dougal Maclaurin; Adam Paszke; Alexey Radul
Fast Flexible Paxos: Relaxing Quorum Intersection for Fast Paxos2021Heidi Howard; Aleksey Charapko; Richard Mortier
Metastable Failures in Distributed Systems2021Nathan Bronson; Abutalib Aghayev; Aleksey Charapko; Timothy Zhu
Nudge: Stochastically Improving upon FCFS2021Isaac Grosof; Kunhe Yang; Ziv Scully; Mor Harchol-Balter
RLIBM-32: High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations2021Jay P. Lim; Santosh Nagarakatte
Releasing Locks As Early As You Can: Reducing Contention of Hotspots by Violating Two-Phase Locking (E...2021Zhihan Guo; Kan Wu; Cong Yan; Xiangyao Yu
SoK: A Generalized Multi-Leader State Machine Replication Tutorial2021Michael Whittaker; Neil Giridharan; Adriana Szekeres; Joseph M. Hellerstein; ...
uiCA: Accurate Throughput Prediction of Basic Blocks on Recent Intel Microarchitectures2021Andreas Abel; Jan Reineke
Convertible Codes: Enabling Efficient Conversion of Coded Data in Distributed Storage2022Francisco Maturana; K. V. Rashmi
Cornus: Atomic Commit for a Cloud DBMS with Storage Disaggregation2022Zhihan Guo; Xinyu Zeng; Kan Wu; Wuh-Chwen Hwan; Ziwei Ren; Xiangyao Yu; Mahes...
Lock-Free Locks Revisited2022Naama Ben-David; Guy E. Blelloch; Yuanhao Wei
New Decoding of Reed-Solomon Codes Based on FFT and Modular Approach2022Nianqi Tang; Yunghsiang S. Han
Tight Bounds for Monotone Minimal Perfect Hashing2022Sepehr Assadi; Martín Farach-Colton; William Kuszmaul
wCQ: A Fast Wait-Free Queue with Bounded Memory Usage2022Ruslan Nikolaev; Binoy Ravindran
Distinct Elements in Streams: An Algorithm for the (Text) Book2023Sourav Chakraborty; N. V. Vinodchandran; Kuldeep S. Meel
Distributed Transactions at Scale in Amazon DynamoDB2023Joseph Idziorek; Alex Keyes; Colin Lazier; Somu Perianayagam; Prithvi Ramanat...
Explaining SAT Solving Using Causal Reasoning2023Jiong Yang; Arijit Shaw; Teodora Baluta; Mate Soos; Kuldeep S. Meel
FIFO can be Better than LRU: the Power of Lazy Promotion and Quick Demotion2023Juncheng Yang; Ziyue Qiu; Yazhuo Zhang; Yao Yue; K. V. Rashmi
QuePaxa: Escaping the Tyranny of Timeouts in Consensus2023Pasindu Tennage; Cristina Băsescu; Lefteris Kokoris-Kogias; Ewe Syta; Philipp...
RowPress: Amplifying Read Disturbance in Modern DRAM Chips2023Haocong Luo; Ataberk Olgun; A. Giray Yağlıkçı; Yahya Can Tuğrul; Steve Rhyner...
Second-Order Quantified Boolean Logic2023Jie-Hong R. Jiang
What Modern NVMe Storage Can Do, And How To Exploit It: High-Performance I/O for High-Performance Stor...2023Gabriel Haas; Viktor Leis
What Cannot be Skipped About the Skiplist: A Survey of Skiplists and Their Applications in Big Data Sy...2024Venkata Sai Pavan Kumar Vadrevu; Lu Xing; Walid G. Aref