REF № 203/PAPERS-WE-LOVE:MAIN
INDEXED: 203 DOCS
papers we love
An architectural index of seminal computer science publications directly extracted from the live GitHub repository tree with FAANG System Design interview specifications.
203DOCUMENTS
CLICK ENTRY TO INSPECT
#001/affective_computing
Theories Methods and Current Research on Emotions
Theories-Methods-and-Current-Research-on-Emotions.pdf•432.4 KB
#004/artificial_intelligence
3 Bayesian Network Inference Algorithm
3-bayesian-network-inference-algorithm.pdf•285.6 KB
#005/artificial_intelligence
Efficient Selectivity and Backup Operators in Monte Carlo Tree Search
efficient-selectivity-and-backup-operators-in-monte-carlo-tree-search.pdf•133.6 KB
#006/audio_comp_sci
an Ethnographic and Technological Study of Breakbeats
an-ethnographic-and-technological-study-of-breakbeats.pdf•35.6 MB
#011/caching
2q a Low Overhead High Performance Buffer Management Replacement Algorithm
2q-a-low-overhead-high-performance-buffer-management-replacement-algorithm.pdf•1 MB
#012/caching
a Constant Algorithm for Implementing the Lfu Cache Eviction Scheme
a-constant-algorithm-for-implementing-the-lfu-cache-eviction-scheme.pdf•214 KB
#013/caching
a Program Optimization for Automatic Database Result Caching
a-program-optimization-for-automatic-database-result-caching.pdf•417.9 KB
#014/comp_sci_fundamentals_and_history
Axiomatic Basis Computer Programming
axiomatic-basis-computer-programming.pdf•643.1 KB
#015/comp_sci_fundamentals_and_history
Early Lisp History 1956 1959 Herbert Stoyan Html Rendering
early-lisp-history-1956-1959-herbert-stoyan-html-rendering.pdf•133.5 KB
#016/comp_sci_fundamentals_and_history
Hints for Computer System Design
hints-for-computer-system-design.pdf•87.4 KB
#017/comp_sci_fundamentals_and_history
Recursive Functions of Symbolic Expressions and Their Computation By Machine Parti
recursive-functions-of-symbolic-expressions-and-their-computation-by-machine-parti.pdf•214.4 KB
#018/comp_sci_fundamentals_and_history
Story of Squeak a Practical Smalltalk Written in Itself
story-of-squeak-a-practical-smalltalk-written-in-itself.pdf•1 MB
#019/computational_creativity
Mexica a Computer Model of a Cognitive Account of Creativing Writing
mexica-a-computer-model-of-a-cognitive-account-of-creativing-writing.pdf•187.9 KB
#020/computer_education
Framework for Automated Generation of Questions Across Formal Domains
framework-for-automated-generation-of-questions-across-formal-domains.pdf•237.7 KB
#021/computer_graphics
Digital Video Stabilization and Rolling Shutter Correction Using Gyroscopes
digital_video_stabilization_and_rolling_shutter_correction_using_gyroscopes.pdf•5 MB
#022/computer_graphics
Imaging Vector Fields Using Line Integral Convolution
imaging_vector_fields_using_line_integral_convolution.pdf•1.4 MB
#024/cryptography
Communication Theory of Secrecy Systems
communication-theory-of-secrecy-systems.pdf•549.4 KB
#026/data_compression
Error Controlled Lossy Compression Optimized for High Compression Ratios of Scientific Datasets
Error-Controlled_Lossy_Compression_Optimized_for_High_Compression_Ratios_of_Scientific_Datasets.pdf•4.8 MB
#027/data_compression
Significantly Improving Lossy Compression for Scientific Data Sets Based on Multidimensional Prediction and Error Controlled Quantization
Significantly_Improving_Lossy_Compression_for_Scientific_Data_Sets_Based_on_Multidimensional_Prediction_and_Error-Controlled_Quantization.pdf•956.1 KB
#029/data_compression
Fast Error Bounded Lossy Hpc Data Compression with Sz
fast_error_bounded_Lossy_hpc_data_compression_with_sz.pdf•920.9 KB
#030/data_compression
Fixed Rate Compressed Floating Point Arrays
fixed-rate_compressed_floating_point_arrays.pdf•5.7 MB
#031/data_compression
Fpc a High Speed Compressor for Double Precision Floating Point Data
fpc_a_high_speed_compressor_for_double_precision_floating_point_data.pdf•4.3 MB
#032/data_fusion
a New Approach to Linear Filtering and Prediction Problems
a-new-approach-to-linear-filtering-and-prediction-problems.pdf•167.5 KB
#033/data_replication
a Comprehensive Study of Convergent and Communative Replicated Data Types
a-comprehensive-study-of-convergent-and-communative-replicated-data-types.pdf•1.5 MB
#040/datastoresFAANG GUIDE
Bigtable a Distributed Storage System for Structured Data
bigtable-a-distributed-storage-system-for-structured-data.pdf•216 KB
#041/datastores
Database Metatheory Asking the Big Queries
database-metatheory--asking-the-big-queries.pdf•246.2 KB
#042/datastoresFAANG GUIDE
Dynamo Amazons Highly Available Key Value Store
dynamo-amazons-highly-available-key-value-store.pdf•831.6 KB
#043/datastores
Elle Inferring Isolation Anomalies From Experimental Observations
elle-inferring-isolation-anomalies-from-experimental-observations.pdf•1.5 MB
#045/datastores
Freenet a Distributed Anonymous Information and Retrieval System
freenet-a-distributed-anonymous-information-and-retrieval-system.pdf•209.3 KB
#046/datastores
Megastore Providing Scalable Highly Available Storage for Interactive Services
megastore-providing-scalable-highly-available-storage-for-interactive-services.pdf•930.7 KB
#047/datastores
Network Challenges of Data Recovery in Erasure Coded Distributed Storage Systems
network-challenges-of-data-recovery-in-erasure-coded-distributed-storage-systems.pdf•190.8 KB
#048/datastores
Rados a Scalable Reliable Storage Service for Petabyte Scale Storage Clusters
rados-a-scalable-reliable-storage-service-for-petabyte-scale-storage-clusters.pdf•213.4 KB
#049/datastoresFAANG GUIDE
Spanner Google's Globally Distributed Database
spanner-google's-globally-distributed-database.pdf•436.2 KB
#050/datastores
Spartan a Distributed Array Framework with Smart Tiling
spartan-a-distributed-array-framework-with-smart-tiling.pdf•674.3 KB
#051/datastores
Stasis Flexible Transactional Storage
stasis-flexible-transactional-storage.pdf•328.1 KB
#053/datastoresFAANG GUIDE
the Google File System
the-google-file-system.pdf•269.5 KB
#054/datastores
Transactional Storage for Geo Replicated Systems
transactional-storage-for-geo-replicated-systems.pdf•303.6 KB
#055/datastores
Warp Multi Key Transactions for Key Value Stores
warp-multi-key-transactions-for-key-value-stores.pdf•276.8 KB
#060/distributed_systems
a History of the Virtual Synchrony Replication Model
a-history-of-the-virtual-synchrony-replication-model.pdf•399.3 KB
#061/distributed_systems
a Hundred Impossibility Proofs for Distributed Computing
a-hundred-impossibility-proofs-for-distributed-computing.pdf•2.8 MB
#063/distributed_systems
a Response to Cheriton and Skeens Criticism of Causal and Totally Ordered Communication
a-response-to-cheriton-and-skeens-criticism-of-causal-and-totally-ordered-communication.pdf•258 KB
#064/distributed_systems
a Universal Modular Actor Formalism for Artificial Intelligence
a-universal-modular-actor-formalism-for-artificial-intelligence.pdf•1.1 MB
#065/distributed_systems
a Versatile Scheme for Routing Highly Variable Traffic in Service Overlays and IP
a-versatile-scheme-for-routing-highly-variable-traffic-in-service-overlays-and-ip.pdf•250.5 KB
#066/distributed_systems
Beehive Lookup Performance for Power Law Query Distributions in Peer to Peer Overlays
beehive-lookup-performance-for-power-law-query-distributions-in-peer-to-peer-overlays.pdf•622.5 KB
#069/distributed_systems
Byzantine Fault Tolerant Distributed Commit Protocol
byzantine-fault-tolerant-distributed-commit-protocol.pdf•172.2 KB
#070/distributed_systems
Chain Replication for Supporting High Throughput and Availability
chain-replication-for-supporting-high-throughput-and-availability.pdf•213.2 KB
#071/distributed_systems
Commodifying Replicated State Machines with Openreplica
commodifying-replicated-state-machines-with-openreplica.pdf•219.6 KB
#072/distributed_systems
Consensus in Presence of Partial Synchrony
consensus-in-presence-of-partial-synchrony.pdf•3 MB
#073/distributed_systems
Consistent Global States of Distributed Systems Fundamental Concepts and Mechanisms
consistent-global-states-of-distributed-systems-fundamental-concepts-and-mechanisms.pdf•223.7 KB
#074/distributed_systems
Consistent Hashing and Random Trees
consistent-hashing-and-random-trees.pdf•179.9 KB
#075/distributed_systems
Copysets Reducing the Frequency of Data Loss in Cloud Storage
copysets-reducing-the-frequency-of-data-loss-in-cloud-storage.pdf•2.6 MB
#076/distributed_systems
Dapper a Large Scale Distributed Tracing Infrastructure
dapper-a-large-scale-distributed-tracing-infrastructure.pdf•1.5 MB
#077/distributed_systems
Distributed Snapshots Determining Global States of Distributed Systems
distributed-snapshots-determining-global-states-of-distributed-systems.pdf•968.8 KB
#078/distributed_systems
Eluding Carnivores File Sharing with Strong Anonymity
eluding-carnivores-file-sharing-with-strong-anonymity.pdf•73 KB
#079/distributed_systems
End to End Arguments in System Design
end-to-end-arguments-in-system-design.pdf•36.9 KB
#080/distributed_systems
Epidemic Algorithms for Replicated Database Maintenance
epidemic-algorithms-for-replicated-database-maintenance.pdf•2.1 MB
#081/distributed_systems
Harvest Yield and Scalable Tolerant Systems
harvest-yield-and-scalable-tolerant-systems.pdf•54.4 KB
#082/distributed_systems
Herbivore a Scalable and Efficient Protocol for Anonymous
herbivore-a-scalable-and-efficient-protocol-for-anonymous.pdf•301.7 KB
#083/distributed_systems
High Level Specifications Lessons From Industry
high-level-specifications--lessons-from-industry.pdf•181.2 KB
#084/distributed_systems
How the Hidden Hand Shapes the Market for Software Reliability
how-the-hidden-hand-shapes-the-market-for-software-reliability.pdf•62.5 KB
#085/distributed_systems
Implementing the Omega Failure Detector in Crash Recovery Failure Model
implementing-the-omega-failure-detector-in-crash-recovery-failure-model.pdf•250.2 KB
#086/distributed_systems
Impossibility of Consensus with One Faulty Process
impossibility-of-consensus-with-one-faulty-process.pdf•708.7 KB
#087/distributed_systemsFAANG GUIDE
in Search of an Understandable Consensus Algorithm
in-search-of-an-understandable-consensus-algorithm.pdf•513.4 KB
#088/distributed_systems
IronFleet Proving Practical Distributed Systems Correct
ironFleet-proving-practical-distributed-systems-correct.pdf•463.3 KB
#090/distributed_systems
Kelips Building an Efficient and Stable P2P DHT Through Increased Memory and Background Overhead
kelips-building-an-efficient-and-stable-p2p-dht-through-increased-memory-and-background-overhead.pdf•214.5 KB
#091/distributed_systems
Large Scale Incremental Processing Using Distributed Transactions and Notifications
large-scale-incremental-processing-using-distributed-transactions-and-notifications.pdf•218.6 KB
#092/distributed_systems
Life Beyond Distributed Transactions an Apostates Opinion
life-beyond-distributed-transactions-an-apostates-opinion.pdf•860.3 KB
#093/distributed_systemsFAANG GUIDE
Mapreduce Simplified Data Processing on Large Clusters
mapreduce-simplified-data-processing-on-large-clusters.pdf•186.2 KB
#094/distributed_systems
Mesos a Platform for Fine Grained Resource Sharing in the Data Center
mesos-a-platform-for-fine-grained-resource-sharing-in-the-data-center.pdf•829 KB
#095/distributed_systems
Oblivious Routing of Highly Variable Traffic in Service Overlays and IP Backbones
oblivious-routing-of-highly-variable-traffic-in-service-overlays-and-ip-backbones.pdf•939.9 KB
#096/distributed_systems
on Proof and Progress in Mathematics
on-proof-and-progress-in-mathematics.pdf•162.5 KB
#097/distributed_systems
P5 a Protocal for Scalable Anonymous Communication
p5-a-protocal-for-scalable-anonymous-communication.pdf•189.5 KB
#098/distributed_systems
Pastry Scalable Decentralized Object Location and Routing for Large Scale Peer to Peer Systems
pastry-scalable-decentralized-object-location-and-routing-for-large-scale-peer-to-peer-systems.pdf•164.4 KB
#101/distributed_systems
Self Stabilizing Systems in Spite of Distributed Control
self-stabilizing-systems-in-spite-of-distributed-control.pdf•210.1 KB
#102/distributed_systemsFAANG GUIDE
Sift Design and Analysis of a Fault Tolerant Computer for Aircraft Contro
sift-design-and-analysis-of-a-fault-tolerant-computer-for-aircraft-contro.pdf•1.7 MB
#103/distributed_systems
Signal & Collect Graph Algorithms for the (semantic) Web
signal-&-collect-graph-algorithms-for-the-(semantic)-web.pdf•537.6 KB
#104/distributed_systems
Simple Testing Can Prevent Most Critical Failures
simple-testing-can-prevent-most-critical-failures.pdf•605.2 KB
#105/distributed_systems
Solution of a Problem in Concurrent Programming Control
solution-of-a-problem-in-concurrent-programming-control.pdf•114.8 KB
#107/distributed_systems
Stronger Semantics for Low Latency Geo Replicated Storage
stronger-semantics-for-low-latency-geo-replicated-storage.pdf•485.1 KB
#109/distributed_systems
the Chubby Lock Service for Loosely Coupled Distributed Systems
the-chubby-lock-service-for-loosely-coupled-distributed-systems.pdf•114.9 KB
#110/distributed_systems
the Dining Cryptographers Problem
the-dining-cryptographers-problem.pdf•701 KB
#111/distributed_systems
Tiered Replication a Cost Effective Alternative to Full Cluster Geo Replication
tiered-replication-a-cost-effective-alternative-to-full-cluster-geo-replication.pdf•676.4 KB
#112/distributed_systems
Tor the Second Generation Onion Router
tor-the-second-generation-onion-router.pdf•171.1 KB
#113/distributed_systems
Towards a Cloud Computing Research Agenda
towards-a-cloud-computing-research-agenda.pdf•304.8 KB
#114/distributed_systems
Understanding the Limitations of Causally and Totally Ordered Communication
understanding-the-limitations-of-causally-and-totally-ordered-communication.pdf•64.5 KB
#115/distributed_systems
Viewing Control Structures As Patterns of Passing Messages
viewing-control-structures-as-patterns-of-passing-messages.pdf•11.1 MB
#116/distributed_systems
Zab High Performance Broadcast for Primary Backup Systems
zab-high-performance-broadcast-for-primary-backup-systems.pdf•1.1 MB
#117/distributed_systems
Zookeeper Wait Free Coordination for Internet Scale Systems
zookeeper-wait-free-coordination-for-internet-scale-systems.pdf•2.3 MB
#119/experimental_algorithmics
a Theoreticians Guide to the Experimental Analysis of Algorithms
a-theoreticians-guide-to-the-experimental-analysis-of-algorithms.pdf•224.5 KB
#120/faults_and_verification
Epitaxis a System for Syntactic and Semantic Software Queries
epitaxis-a-system-for-syntactic-and-semantic-software-queries.pdf•336 KB
#121/gamification
Gamification in Education What How Why Bother
gamification-in-education-what-how-why-bother.pdf•124.2 KB
#122/gamification
Why Students Engage in Gaming the System Behavior in Interactive Learning Environments
why-students-engage-in-gaming-the-system-behavior-in-interactive-learning-environments.pdf•580.1 KB
#123/garbage_collection
Incremental Mature Garbage Collection Using the Train Algorithm
incremental_mature_garbage_collection_using_the_train_algorithm.pdf•11.8 MB
#124/garbage_collection
Parallel Generational Copying Garbage Collection with a Block Structured Heap
parallel_generational_copying_garbage_collection_with_a_block_structured_heap.pdf•599.4 KB
#126/information_retrieval
Authoritative Sources in a Hyperlinked Environment
authoritative-sources-in-a-hyperlinked-environment.pdf•256.3 KB
#129/information_retrieval
the Pagerank Citation Ranking Bringing Order to the Web
the-pagerank-citation-ranking-bringing-order-to-the-web.pdf•299.7 KB
#130/information_theory
a Mathematical Theory of Communication 1948
a-mathematical-theory-of-communication-1948.pdf•357.7 KB
#131/languages-paradigms
Concatenative Programming an Overlooked Paradigm
concatenative-programming-an-overlooked-paradigm.pdf•307.7 KB
#132/languages-paradigms
Equal Rights for Functional Objects
equal-rights-for-functional-objects.pdf•106.7 KB
#133/languages-paradigms
Functional Programming with Bananas Lenses Envelops and Barbed Wire
functional-programming-with-bananas-lenses-envelops-and-barbed-wire.pdf•259.9 KB
#134/languages-paradigms
Optimal Purely Functional Priority Queues
optimal-purely-functional-priority-queues.pdf•428 KB
#135/languages-paradigms
Organizing Programs Without Classes
organizing-programs-without-classes.pdf•54.5 KB
#136/languages-paradigms
Purely Functional Data Structures
purely-functional-data-structures.pdf•614.1 KB
#137/languages-paradigms
Why Functional Programming Matters
why-functional-programming-matters.pdf•162 KB
#138/languages-paradigms
a Survey of Functional Reactive Programming
a-survey-of-functional-reactive-programming.pdf•180 KB
#139/languages-paradigms
Deprecating the Observer Pattern
deprecating-the observer-pattern.pdf•204.6 KB
#142/languages-paradigms
Ray Integrating Rx and Async for Direct Style Reactive Streams
ray-integrating-rx-and-async-for-direct-style-reactive-streams.pdf•86.6 KB
#143/languages-paradigms
Cognitive Computing Programming Paradigm Corelet Language
cognitive-computing-programming-paradigm-corelet-language.pdf•1.7 MB
#144/languages-theory
Composable and Compilable Macros You Want It When
composable-and-compilable-macros-you-want-it-when.pdf•139 KB
#145/languages-theory
Fundamental Concepts in Programming Languages
fundamental-concepts-in-programming-languages.pdf•178.5 KB
#147/languages-theory
on Understanding Types Data Abstraction Polymorphism
on-understanding-types-data-abstraction-polymorphism.pdf•121.2 KB
#149/languages-theory
Principal Type Schemes for Functional Programs
principal-type-schemes-for-functional-programs.pdf•131.7 KB
#150/languages-theory
Programming Languages Application and Interpretation
programming-languages-application-and-interpretation.pdf•842.4 KB
#152/languages-theory
the Derivative of a Regular Type One Hole Contexts
the-derivative-of-a-regular-type-one-hole-contexts.pdf•105.8 KB
#154/languages
a Practical Optional Type System for Clojure
a-practical-optional-type-system-for-clojure.pdf•430.2 KB
#156/languages
Making a Fast Curry Push Enter Versus Eval Apply for Higher Order Languages
making-a-fast-curry-push-enter-versus-eval-apply-for-higher-order-languages.pdf•405.2 KB
#157/languages
Tackling the Awkward Squad Monadic Input Output Concurrency Exceptions and Foreign Language Calls in Haskell
tackling-the-awkward-squad-monadic-input-output-concurrency-exceptions-and-foreign-language-calls-in-haskell.pdf•330.1 KB
#160/logic_and_programming
on the Meanings of the Logical Constants
on-the-meanings-of-the-logical-constants.pdf•336.6 KB
#161/logic_and_programming
Representing Game Dialogue As Expressions in First Order Logic
representing-game-dialogue-as-expressions-in-first-order-logic.pdf•1.4 MB
#162/machine_learning
General Self Similarity an Overview
General-self-similarity--an-overview.pdf•261 KB
#163/machine_learning
Understanding Deep Convolutional Networks
Understanding-Deep-Convolutional-Networks.pdf•1.5 MB
#164/machine_learning
a Sparse Johnson Lindenstrauss Transform
a-sparse-johnson-lindenstrauss-transform.pdf•219.9 KB
#165/machine_learning
Toward a Unified Theory of Sparse Dimensionality Reduction in Euclidean Space
toward-a-unified-theory-of-sparse-dimensionality-reduction-in-euclidean-space.pdf•676.4 KB
#167/mathematics
Graph Isomorphism and Representation Theory
graph-isomorphism-and-representation-theory.pdf•215.1 KB
#168/mathematics
Intro to Tropical Algebraic Geometry
intro-to-tropical-algebraic-geometry.pdf•242.2 KB
#171/memory_management
Making Lockless Synchronization Fast
making-lockless-synchronization-fast.pdf•482.8 KB
#172/memory_management
Scatteralloc Massively Parallel Dynamic Memory Allocation for the GPU
scatteralloc-massively-parallel-dynamic-memory-allocation-for-the-gpu.pdf•1.2 MB
#173/non_blocking_algorithms
a Wait Free Queue As Fast As Fetch and Add
a-wait-free-queue-as-fast-as-fetch-and-add.pdf•893.2 KB
#176/operating_systems
Jails Confining the Omnipotent Root.
jails-confining-the-omnipotent-root..pdf•46.6 KB
#177/operating_systems
Solaris Zones Operating System Support for Consolidating Commercial Workloads
solaris-zones-operating-system-support-for-consolidating-commercial-workloads.pdf•233.7 KB
#181/pattern_matching
Compiling Pattern Matching to Good Decision Trees
compiling-pattern-matching-to-good-decision-trees.pdf•292 KB
#182/pattern_matching
Extensible Pattern Matching Extensible Language
extensible-pattern-matching-extensible-language.pdf•113.9 KB
#185/physics
on the Attraction of Two Perfectly Conducting Plates
on-the-attraction-of-two-perfectly-conducting-plates.pdf•805.6 KB
#186/physics
on the Electrodynamics of Moving Bodies
on-the-electrodynamics-of-moving-bodies.pdf•242.3 KB
#187/processes
Communicating Sequential Processes Paper
communicating-sequential-processes-paper.pdf•1.1 MB
#189/quantum_computing
Advance in Quantum Machine Learning
advance_in_quantum_machine_learning.pdf•971.8 KB
#193/security
Macaroons Cookies with Contextual Caveats
macaroons-cookies-with-contextual-caveats.pdf•700.7 KB
#195/software_engineering_orgs
Common Ground and Coordination in Joint Activity
common-ground-and-coordination-in-joint-activity.pdf•894 KB
#196/sports_analytics
2014 Ssac Pointwise Predicting Points and Valuing Decisions in Real Time
2014-ssac-pointwise-predicting-points-and-valuing-decisions-in-real-time.pdf•1.1 MB
#197/sublinear_algorithms
1985 Flajolet Probabilistic Counting
1985-Flajolet-Probabilistic-counting.pdf•1011.2 KB
#198/sublinear_algorithms
an Elementary Proof of a Theorem of Johnson and Lindenstrauss
An-Elementary-Proof-of-a-Theorem-of-Johnson-and-Lindenstrauss.pdf•79.1 KB
#199/systematic_review
Systematic Review in Software Engineering
systematic-review-in-software-engineering.pdf•346.3 KB
#200/time_series
Operators on Inhomogeneous Time Series
operators-on-inhomogeneous-time-series.pdf•354.6 KB
#202/virtual_machines
Kvm Linux Virtual Machines Monitor
kvm-linux-virtual-machines-monitor.pdf•5.8 MB