Logicism and the Meanings of Logical Constants [2016]

By: P. J. Young

https://github.com/papers-we-love/papers-we-love/blob/master/logic_and_programming/on-the-meanings-of-the-logical-constants.pdf
https://www.semanticscholar.org/paper/54b4a4cd2343daa9cb820f78c8d45bec2f863481

Practical Optional Types for Clojure [2016]

By: Ambrose Bonnaire-Sergeant, Rowan Davies, S. Tobin-Hochstadt

https://github.com/papers-we-love/papers-we-love/blob/master/languages/clojure/a-practical-optional-type-system-for-clojure.pdf
https://www.semanticscholar.org/paper/8f98a34a2ac0a399c5d11955e68522b0ef47579f

Tracking via Geotagged Social Media Data [2020]

By: A. Hardy

https://github.com/papers-we-love/papers-we-love/blob/master/api_design/api-design.pdf
https://www.semanticscholar.org/paper/c1d01edd5ae60ba186474f6e7673053e6e1252ad

Dynamo: amazon's highly available key-value store [2007]

By: Giuseppe deCandia, Deniz Hastorun, M. Jampani, et al.

https://github.com/papers-we-love/papers-we-love/blob/master/datastores/dynamo-amazons-highly-available-key-value-store.pdf
https://www.semanticscholar.org/paper/7d906f6632f8740b540ce4d710f53ab0f97cfd5b

Security with privacy - A research agenda [2014]

By: E. Bertino, Bharath K. Samanthula

https://github.com/papers-we-love/papers-we-love/blob/master/distributed_systems/towards-a-cloud-computing-research-agenda.pdf
https://www.semanticscholar.org/paper/ab08945b087284e2ca14a3918a617a6f18c14874

Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services [2002]

By: Seth Gilbert, N. Lynch

https://github.com/papers-we-love/papers-we-love/blob/master/distributed_systems/brewers-conjecture.pdf
https://www.semanticscholar.org/paper/bbe7a291e74d12d0bcad6f623d8a13e084b83255

A program optimization for automatic database result caching [2017]

By: Ziv Scully, A. Chlipala

https://github.com/papers-we-love/papers-we-love/blob/master/caching/a-program-optimization-for-automatic-database-result-caching.pdf
https://www.semanticscholar.org/paper/c84e6cc11d1a18d7f792bdefaf064dfe7c734728

Fast Error-Bounded Lossy HPC Data Compression with SZ [2016]

By: Sheng Di, F. Cappello

https://github.com/papers-we-love/papers-we-love/blob/master/data_compression/fast_error_bounded_Lossy_hpc_data_compression_with_sz.pdf
https://www.semanticscholar.org/paper/093fc19d440f33247e545ec6c047e0aa0afb0863

Significantly Improving Lossy Compression for Scientific Data Sets Based on Multidimensional Prediction and Error-Controlled Quantization [2017]

By: Dingwen Tao, Sheng Di, Zizhong Chen, et al.

https://github.com/papers-we-love/papers-we-love/blob/master/data_compression/Significantly_Improving_Lossy_Compression_for_Scientific_Data_Sets_Based_on_Multidimensional_Prediction_and_Error-Controlled_Quantization.pdf
https://www.semanticscholar.org/paper/4370744924f3bd3915a0baa8b4d1d217d4dc4649

Byzantine Chain Replication [2012]

By: R. V. Renesse, Chi Ho, Nicolas Schiper

https://github.com/papers-we-love/papers-we-love/blob/master/distributed_systems/byzantine-chain-replication.pdf
https://www.semanticscholar.org/paper/d6e2f645f41502b1f8c12935918d4d2642dab629

The Least Common Ancestor Problem [2003]

By: S. Kiefer

https://github.com/papers-we-love/papers-we-love/blob/master/data_structures/lca-revisited.pdf
https://www.semanticscholar.org/paper/a1e3488135a9c0dd78755f6522dbcce0de0aa8e8

An O(1) algorithm for implementing the LFU cache eviction scheme [2021]

By: Dhruv Mátáni, K. Shah

https://github.com/papers-we-love/papers-we-love/blob/master/caching/a-constant-algorithm-for-implementing-the-lfu-cache-eviction-scheme.pdf
https://www.semanticscholar.org/paper/6718cc5cd4e1484990ee79a8c3cffaad6d7271c3

Logicism and the Meanings of Logical Constants [2016]

By: P. J. Young

https://github.com/papers-we-love/papers-we-love/blob/master/logic_and_programming/on-the-meanings-of-the-logical-constants.pdf
https://www.semanticscholar.org/paper/54b4a4cd2343daa9cb820f78c8d45bec2f863481

On understanding types, data abstraction, and polymorphism [1985]

By: L. Cardelli, P. Wegner

https://github.com/papers-we-love/papers-we-love/blob/master/languages-theory/on-understanding-types-data-abstraction-polymorphism.pdf
https://www.semanticscholar.org/paper/baaf79bc08c8565deb740e44d368ee9f9d0c9ce2

SIFT: Design and analysis of a fault-tolerant computer for aircraft control [1978]

By: J. Wensley, L. Lamport, J. Goldberg, et al.

https://github.com/papers-we-love/papers-we-love/blob/master/distributed_systems/sift-design-and-analysis-of-a-fault-tolerant-computer-for-aircraft-contro.pdf
https://www.semanticscholar.org/paper/f7fbc22d361fb9e4b53f2168a9d4968956e5ce16

A History of the Virtual Synchrony Replication Model [2010]

By: K. Birman

https://github.com/papers-we-love/papers-we-love/blob/master/distributed_systems/a-history-of-the-virtual-synchrony-replication-model.pdf
https://www.semanticscholar.org/paper/acb07a26a7003fd9ddda31a5a0ae6b855557d608

Large-scale Incremental Processing Using Distributed Transactions and Notifications [2010]

By: Daniel Peng, F. Dabek

https://github.com/papers-we-love/papers-we-love/blob/master/distributed_systems/large-scale-incremental-processing-using-distributed-transactions-and-notifications.pdf
https://www.semanticscholar.org/paper/edc0e6a71118624d5ce887657301c6bf39df39df

Principal type-schemes for functional programs [1982]

By: L. Damas, R. Milner

https://github.com/papers-we-love/papers-we-love/blob/master/languages-theory/principal-type-schemes-for-functional-programs.pdf
https://www.semanticscholar.org/paper/9c97b176ad594a24b923129218c5880a580fcb8b

Design Principles Behind Smalltalk [2006]

By: D. Ingalls

https://github.com/papers-we-love/papers-we-love/blob/master/languages/smalltalk/Design-Principles-Behind-Smalltalk.pdf
https://www.semanticscholar.org/paper/374463f1237bb89c3c898aec0b88f76c0d98d87e