-
-
Notifications
You must be signed in to change notification settings - Fork 204
/
papers.yml
659 lines (637 loc) · 26.1 KB
/
papers.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
- title: Von Neumann's First Computer Program
author: Knuth
year: 1970
link: https://dl.acm.org/doi/pdf/10.1145/356580.356581
topics: [Computer History, Early Programming]
related:
- title: The Education of a Computer
author: Hopper
year: 1952
link: https://people.cs.umass.edu/~emery/classes/cmpsci691st/readings/PL/p243-hopper.pdf
- title: Programming Considered as a Human Activity
author: Dijkstra
year: 1965
link: https://www.cs.utexas.edu/~EWD/transcriptions/EWD01xx/EWD117.html
- title: Goto Statement Considered Harmful
author: Dijkstra
year: 1968
link: https://homepages.cwi.nl/~storm/teaching/reader/Dijkstra68.pdf
- title: Recursive Programming
author: Dijkstra
year: 1960
link: https://www.ics.uci.edu/~jajones/INF102-S18/readings/07_dijkstra.pdf
- title: Program development by stepwise refinement
author: Wirth
year: 1971
link: https://dl.acm.org/doi/pdf/10.1145/362575.362577
- title: The paradigms of programming
author: Floyd
year: 1979
link: https://dl.acm.org/doi/pdf/10.1145/1283920.1283934
- title: Computer Programming as an Art
author: Knuth
year: 1974
link: http://www.cs.bilkent.edu.tr/~canf/knuth1974.pdf
- title: Literate Programming
author: Knuth
year: 1984
link: http://www.literateprogramming.com/knuthweb.pdf
- title: The Humble Programmer
author: Dijkstra
year: 1972
link: http://rkka21.ru/docs/turing-award/ed1972e.pdf
- title: Computing Machinery and Intelligence
author: Turing
year: 1950
link: https://www.csee.umbc.edu/courses/471/papers/turing.pdf
topics: [Early Artificial Intelligence]
related:
- title: ELIZA—a computer program for the study of natural language communication between man and machine
author: Weizenbaum
year: 1966
link: http://web.stanford.edu/class/cs124/p36-weizenabaum.pdf
- title: Some Moral and Technical Consequences of Automation
author: Wiener
year: 1960
link: https://nissenbaum.tech.cornell.edu/papers/Wiener.pdf
- title: Steps towards Artificial Intelligence
author: Minsky
year: 1960
link: http://worrydream.com/refs/Minsky%20-%20Steps%20Toward%20Artificial%20Intelligence.pdf
- title: A Theory of the Learnable
author: Valiant
year: 1984
link: https://people.mpi-inf.mpg.de/~mehlhorn/SeminarEvolvability/ValiantLearnable.pdf
- title: A Method for the Construction of Minimum-Redundancy Codes
author: Huffman
year: 1952
link: http://compression.ru/download/articles/huff/huffman_1952_minimum-redundancy-codes.pdf
topics: [Information Theory]
related:
- title: Fifty Years of Shannon Theory
author: Verdú
year: 1998
link: https://monoskop.org/images/7/78/Verdu_Sergio_1998_Fifty_Years_of_Shannon_Theory.pdf
- title: A Universal Algorithm for Sequential Data Compression
author: Ziv, Lempel
year: 1977
link: https://courses.cs.duke.edu/spring03/cps296.5/papers/ziv_lempel_1977_universal_algorithm.pdf
- title: Engineering a Sort Function
author: Bentley, McIlroy
year: 1993
link: https://cs.fit.edu/~pkc/classes/writing/samples/bentley93engineering.pdf
topics: [Data Structures, Algorithms]
related:
- title: Quicksort
author: Hoare
year: 1962
link: https://academic.oup.com/comjnl/article-pdf/5/1/10/1111445/050010.pdf
- title: "Programming pearls: Algorithm design techniques"
author: Bentley
year: 1984
link: https://dl.acm.org/doi/pdf/10.1145/358234.381162
- title: "Programming pearls: The back of the envelope"
author: Bentley
year: 1984
link: https://dl.acm.org/doi/pdf/10.1145/357994.381168
- title: On the Shortest Spanning Subtree of a Graph and the Traveling Salesman Problem
author: Kruskal
year: 1956
link: https://www.ams.org/proc/1956-007-01/S0002-9939-1956-0078686-7/S0002-9939-1956-0078686-7.pdf
- title: A Note on Two Problems in Connexion with Graphs
author: Dijkstra
year: 1959
link: https://jmvidal.cse.sc.edu/library/dijkstra59a.pdf
- title: The Ubiquitous B-Tree
author: Comer
year: 1979
link: http://carlosproal.com/ir/papers/p121-comer.pdf
- title: Space/Time Trade-offs in Hash Coding with Allowable Errors
author: Bloom
year: 1970
link: https://dl.acm.org/doi/pdf/10.1145/362686.362692
- title: Making data structures persistent
author: Driscoll et al
year: 1986
link: https://dl.acm.org/doi/pdf/10.1145/12130.12142
- title: A Design Methodology for Reliable Software Systems
author: Liskov
year: 1972
link: https://dl.acm.org/doi/pdf/10.1145/1479992.1480018
topics: [Software Design]
related:
- title: On the Criteria To Be Used in Decomposing Systems into Modules
author: Parnas
year: 1971
link: https://www.win.tue.nl/~wstomv/edu/2ip30/references/criteria_for_modularization.pdf
- title: Information Distribution Aspects of Design Methodology
author: Parnas
year: 1972
link: https://cseweb.ucsd.edu/~wgg/CSE218/Parnas-IFIP71-information-distribution.PDF
- title: Software Aging
author: Parnas
year: 1994
link: https://dl.acm.org/doi/pdf/10.5555/257734.257788
- title: Designing Software for Ease of Extension and Contraction
author: Parnas
year: 1979
link: https://courses.cs.washington.edu/courses/cse503/08wi/parnas-1979.pdf
- title: Programming as Theory Building
author: Naur
year: 1985
link: https://pages.cs.wisc.edu/~remzi/Naur.pdf
- title: Towards a Theory of Conceptual Design for Software
author: Jackson
year: 2015
link: https://groups.csail.mit.edu/sdg/pubs/2015/concept-essay.pdf
- title: Programming with Abstract Data Types
author: Liskov, Zilles
year: 1974
link: https://dl.acm.org/doi/pdf/10.1145/942572.807045
topics: [Abstract Data Types, Object-Oriented Programming]
related:
- title: On understanding types, data abstraction, and polymorphism
author: Cardelli, Wegner
year: 1985
link: https://dl.acm.org/doi/pdf/10.1145/6041.6042
- title: "SELF: The Power of Simplicity"
author: Ungar, Smith
year: 1991
link: https://people.eecs.berkeley.edu/~fateman/264/papers/selfpower.ps
- title: The Smalltalk-76 Programming System Design and Implementation
author: Ingalls
year: 1978
link: https://dl.acm.org/doi/pdf/10.1145/512760.512762
- title: A Theory of Type Polymorphism in Programming
author: Milner
year: 1978
link: https://homepages.inf.ed.ac.uk/wadler/papers/papers-we-love/milner-type-polymorphism.pdf
- title: Why Functional Programming Matters
author: Hughes
year: 1990
link: https://www.cs.kent.ac.uk/people/staff/dat/miranda/whyfp90.pdf
topics: [Functional Programming]
related:
- title: Can Programming Be Liberated from the von Neumann Style?
author: Backus
year: 1978
link: https://dl.acm.org/doi/pdf/10.1145/359576.359579
- title: The Semantic Elegance of Applicative Languages
author: Turner
year: 1981
link: http://nsl.com/misc/sasl/paraffins-turner.pdf
- title: Recursive Functions of Symbolic Expressions and Their Computation by Machine
author: McCarthy
year: 1960
link: http://jmc.stanford.edu/articles/recursive/recursive.pdf
- title: "QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs"
author: Claessen, Hughes
year: 2000
link: https://dl.acm.org/doi/pdf/10.1145/351240.351266
- title: The essence of functional programming
author: Wadler
year: 1992
link: https://dl.acm.org/doi/pdf/10.1145/143165.143169
- title: Church's Thesis and Functional Programming
author: Turner
year: 2006
link: https://kar.kent.ac.uk/88944/1/ctfp.pdf_nocoversheet
- title: The Semantics of Predicate Logic as a Programming Language
author: Van Emden, Kowalski
year: 1976
link: https://dl.acm.org/doi/pdf/10.1145/321978.321991
- title: An Incremental Approach to Compiler Construction
author: Ghuloum
year: 2006
link: http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf
topics: [Language Design, Compilers]
related:
- title: "Programming pearls: little languages"
author: Bentley
year: 1986
link: https://dl.acm.org/doi/pdf/10.1145/6424.315691
- title: A Nanopass Framework for Compiler Education
author: Sarkar, Waddell, Dybvig
year: 2005
link: https://legacy.cs.indiana.edu/~dyb/pubs/nano-jfp.pdf
- title: "LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation"
author: Lattner, Adve
year: 2004
link: https://llvm.org/pubs/2004-01-30-CGO-LLVM.pdf
- title: Bringing the Web up to Speed with WebAssembly
year: 2017
author: Haas
link: https://dl.acm.org/doi/pdf/10.1145/3062341.3062363
- title: A Brief History of Just-In-Time
author: Aycock
year: 2003
link: https://user.it.uu.se/~kostis/Teaching/KT2-04/jit_survey.pdf
- title: The Essence of Compiling with Continuations
author: Flanagan et al
year: 1993
link: https://dl.acm.org/doi/pdf/10.1145/173262.155113
- title: The Next 700 Programming Languages
author: Landin
year: 1966
link: https://www.cs.cmu.edu/~crary/819-f09/Landin66.pdf
- title: A Unified Theory of Garbage Collection
author: Bacon, Cheng, Rajan
year: 2004
link: https://courses.cs.washington.edu/courses/cse590p/05au/p50-bacon.pdf
- title: "No Silver Bullet: Essence and Accidents of Software Engineering"
author: Brooks
year: 1987
link: http://worrydream.com/refs/Brooks-NoSilverBullet.pdf
topics: [Software Engineering, Project Management]
related:
- title: The Mythical Man Month
author: Brooks
year: 1975
link: https://www.cs.virginia.edu/~evans/greatworks/mythical.pdf
- title: How do committees invent?
author: Conway
year: 1968
link: https://www.melconway.com/Home/pdf/committees.pdf
- title: Managing the Development of Large Software Systems
author: Royce
year: 1970
link: https://www.praxisframework.org/files/royce1970.pdf
- title: The Cathedral and the Bazaar
author: Raymond
year: 1998
link: http://users.ece.utexas.edu/~perry/education/382v-s08/papers/raymond.pdf
- title: On Building Systems That Will Fail
author: Corbató
year: 1991
link: https://dl.acm.org/doi/pdf/10.1145/114669.114686
- title: Out of the Tar Pit
author: Moseley, Marks
year: 2006
link: http://curtclifton.net/papers/MoseleyMarks06a.pdf
- title: Communicating sequential processes
author: Hoare
year: 1978
link: https://www.cs.cmu.edu/~crary/819-f09/Hoare78.pdf
topics: [Concurrency]
related:
- title: Solution Of a Problem in Concurrent Program Control
author: Dijkstra
year: 1965
link: https://dl.acm.org/doi/pdf/10.1145/365559.365617
- title: On the Duality of Operating System Structures
author: Lauer, Needham
year: 1978
link: https://dl.acm.org/doi/pdf/10.1145/850657.850658
- title: "Monitors: An operating system structuring concept"
author: Hoare
year: 1974
link: https://dl.acm.org/doi/pdf/10.1145/355620.361161
- title: Software Transactional Memory
author: Shavit, Touitou
year: 1997
link: https://groups.csail.mit.edu/tds/papers/Shavit/ShavitTouitou.pdf
- title: The UNIX Time- Sharing System
author: Ritchie, Thompson
year: 1974
link: https://dsf.berkeley.edu/cs262/unix.pdf
topics: [Operating Systems]
related:
- title: The Structure of the \"THE\"-Multiprogramming System
author: Dijkstra
year: 1968
link: https://www.eecs.ucf.edu/~eurip/papers/dijkstra-the68.pdf
- title: The nucleus of a multiprogramming system
author: Hansen
year: 1970
link: http://www.brinch-hansen.net/papers/1970a.pdf
- title: An Experimental Time-Sharing System
author: Corbató, Merwin Daggett, Daley
year: 1962
link: http://larch-www.lcs.mit.edu:8001/~corbato/sjcc62/
- title: Reflections on Trusting Trust
author: Thompson
year: 1984
link: https://www.cs.cmu.edu/~rdriley/487/papers/Thompson_1984_ReflectionsonTrustingTrust.pdf
- title: The Design and Implementation of a Log-Structured File System
author: Rosenblum, Ousterhout
year: 1991
link: https://people.eecs.berkeley.edu/~brewer/cs262/LFS.pdf
- title: A Relational Model of Data for Large Shared Data Banks
author: Codd
year: 1970
link: https://www.seas.upenn.edu/~zives/03f/cis550/codd.pdf
topics: [Databases]
related:
- title: Access Path Selection in a Relational Database Management System
author: Selinger et al
year: 1979
link: https://courses.cs.duke.edu/compsci516/cps216/spring03/papers/selinger-etal-1979.pdf
- title: Granularity of Locks and Degrees of Consistency in a Shared Data Base
author: Gray et al
year: 1975
link: https://www.cs.cmu.edu/~natassa/courses/15-721/papers/GrayLocks.pdf
- title: "The Transaction Concept: Virtues and Limitations"
author: Gray
year: 1981
link: https://jimgray.azurewebsites.net/papers/theTransactionConcept.pdf
- title: The design of POSTGRES
author: Stonebraker, Rowe
year: 1986
link: https://dl.acm.org/doi/pdf/10.1145/16856.16888
- title: Rules of Thumb in Data Engineering
author: Gray, Shenay
year: 1999
link: http://research.microsoft.com/en-us/um/people/gray/papers/ms_tr_99_100_rules_of_thumb_in_data_engineering.pdf
- title: A Protocol for Packet Network Intercommunication
author: Cerf, Kahn
year: 1974
link: https://www.cs.princeton.edu/courses/archive/fall06/cos561/papers/cerf74.pdf
topics: [Networking]
related:
- title: The Design Philosophy of the DARPA Internet Protocols
author: Clark
year: 1988
link: http://ccr.sigcomm.org/archive/1995/jan95/ccr-9501-clark.pdf
- title: "Ethernet: Distributed packet switching for local computer networks"
author: Metcalfe, Boggs
year: 1978
link: https://dl.acm.org/doi/pdf/10.1145/360248.360253
- title: End-To-End Arguments in System Design
author: Saltzer, Reed, Clark
year: 1984
link: https://groups.csail.mit.edu/ana/Publications/PubPDFs/End-to-End%20Arguments%20in%20System%20Design.pdf
- title: An algorithm for distributed computation of a Spanning Tree in an Extended LAN
author: Perlman
year: 1985
link: https://dl.acm.org/doi/pdf/10.1145/319056.319004
- title: "TOR: The second generation onion router"
author: Dingledine et al
year: 2004
link: https://svn-archive.torproject.org/svn/projects/design-paper/tor-design.pdf
- title: Why the Internet only just works
author: Handley
year: 2006
link: http://www0.cs.ucl.ac.uk/staff/m.handley/papers/only-just-works.pdf
- title: The Network is Reliable
author: Bailis, Kingsbury
year: 2014
link: https://queue.acm.org/detail.cfm?id=2655736
- title: New Directions in Cryptography
author: Diffie, Hellman
year: 1976
link: https://ee.stanford.edu/~hellman/publications/24.pdf
topics: [Cryptography]
related:
- title: A Method for Obtaining Digital Signatures and Public-Key Cryptosystems
author: Rivest, Shamir, Adleman
year: 1978
link: https://dl.acm.org/doi/pdf/10.1145/359340.359342
- title: How To Share A Secret
author: Shamir
year: 1979
link: https://web.mit.edu/6.857/OldStuff/Fall03/ref/Shamir-HowToShareASecret.pdf
- title: A Digital Signature Based on a Conventional Encryption Function
author: Merkle
year: 1987
link: https://people.eecs.berkeley.edu/~raluca/cs261-f15/readings/merkle.pdf
- title: The Salsa20 family of stream ciphers
author: Bernstein
year: 2007
link: https://cr.yp.to/snuffle/salsafamily-20071225.pdf
- title: Time, Clocks, and the Ordering of Events in a Distributed System
author: Lamport
year: 1978
link: https://lamport.azurewebsites.net/pubs/time-clocks.pdf
topics: [Distributed Systems]
related:
- title: The Byzantine Generals Problem
author: Lamport, Shostak, Pease
year: 1982
link: https://lamport.azurewebsites.net/pubs/byz.pdf
- title: Impossibility of Distributed Consensus With One Faulty Process
author: Fisher, Lynch, Patterson
year: 1985
link: https://groups.csail.mit.edu/tds/papers/Lynch/jacm85.pdf
- title: Self-stabilizing systems in spite of distributed control
author: Dijkstra
year: 1974
link: https://dl.acm.org/doi/pdf/10.1145/361179.361202
- title: Paxos made simple
author: Lamport
year: 2001
link: https://lamport.azurewebsites.net/pubs/paxos-simple.pdf
- title: "Paxos made live - An Engineering Perspective"
author: Chandra, Griesemer, Redstone
year: 2007
link: https://www.cs.utexas.edu/users/lorenzo/corsi/cs380d/papers/paper2-1.pdf
- title: In Search of an Understandable Consensus Algorithm
author: Ongaro, Ousterhout
year: 2014
link: https://raft.github.io/raft.pdf
- title: "Implementing Fault-Tolerant Services Using the State Machine Approach: A Tutorial"
author: Schneider
year: 1990
link: https://www.cs.cornell.edu/fbs/publications/SMSurvey.pdf
- title: Practical Byzantine Fault Tolerance
author: Castro, Liskov
year: 1999
link: https://pmg.csail.mit.edu/papers/osdi99.pdf
- title: "Designing for Usability: Key Principles and What Designers Think"
author: Gould, Lewis
year: 1985
link: https://dl.acm.org/doi/pdf/10.1145/3166.3170
topics: [Human-Computer Interaction, User Interfaces]
related:
- title: As We May Think
author: Bush
year: 1945
link: https://web.mit.edu/STS.035/www/PDFs/think.pdf
- title: Man-Computer symbiosis
author: Licklider
year: 1958
link: http://worrydream.com/refs/Licklider%20-%20Man-Computer%20Symbiosis.pdf
- title: Some Thoughts About the Social Implications of Accessible Computing
author: David, Fano
year: 1965
link: https://dl.acm.org/doi/pdf/10.1145/1463891.1463917
- title: Tutorials for the First-Time Computer User
author: Al-Awar, Chapanis, Ford
year: 1981
link: https://drive.google.com/file/d/1zA4LkSHoanjjhOVCwYzrkdkdzgPbKWJ9/view?usp=sharing
- title: "The star user interface: an overview"
author: Smith, Irby, Kimball
year: 1982
link: https://www.tech-insider.org/star/research/acrobat/8206.pdf
- title: Design Principles for Human-Computer Interfaces
author: Norman
year: 1983
link: https://dl.acm.org/doi/pdf/10.1145/800045.801571
- title: "Human-Computer Interaction: Psychology as a Science of Design"
author: Carroll
year: 1997
link: https://home.cs.colorado.edu/~martin/Csci6402/Papers/carroll97.pdf
- title: The anatomy of a large-scale hypertextual Web search engine
author: Brin, Page
year: 1998
link: https://storage.googleapis.com/gweb-research2023-media/pubtools/pdf/334.pdf
topics: [Information Retrieval, World-Wide Web]
related:
- title: A Statistical Interpretation of Term Specificity in Retrieval
author: Spärck Jones
year: 1972
link: http://openlib.org/home/krichel/courses/lis618/readings/spaerk-jones72.pdf
- title: "The PageRank Citation Ranking: Bringing Order to the Web"
author: Page, Brin, Motwani
year: 1998
link: http://www.eecs.harvard.edu/~michaelm/CS222/pagerank.pdf
- title: "World-Wide Web: Information Universe"
author: Berners-Lee et al
year: 1992
link: https://www.w3.org/History/1992/ENRAP/Article_9202.pdf
- title: Dynamo, Amazon’s Highly Available Key-value store
author: DeCandia et al
year: 2007
link: https://www.allthingsdistributed.com/files/amazon-dynamo-sosp2007.pdf
topics: [Internet Scale Data Systems]
related:
- title: The Google File System
author: Ghemawat, Gobioff, Leung
year: 2003
link: https://storage.googleapis.com/gweb-research2023-media/pubtools/pdf/035fc972c796d33122033a0614bc94cff1527999.pdf
- title: "MapReduce: Simplified Data Processing on Large Clusters"
author: Dean, Ghemawat
year: 2004
link: https://storage.googleapis.com/gweb-research2023-media/pubtools/pdf/16cb30b4b92fd4989b8619a61752a2387c6dd474.pdf
- title: "Bigtable: A Distributed Storage System for Structured Data"
author: Chang et al
year: 2006
link: https://storage.googleapis.com/gweb-research2023-media/pubtools/pdf/68a74a85e1662fe02ff3967497f31fda7f32225c.pdf
- title: "CAP Twelve Years Later: How the \"Rules\" Have Changed"
author: Brewer
year: 2012
link: https://sites.cs.ucsb.edu/~rich/class/cs293b-cloud/papers/brewer-cap.pdf
- title: "Kafka: a Distributed Messaging System for Log Processing"
author: Kreps, Narkhede, Rao
year: 2011
link: http://notes.stephenholiday.com/Kafka.pdf
- title: "ZooKeeper: wait-free coordination for internet scale systems"
author: Hunt et al
year: 2010
link: https://www.usenix.org/legacy/event/atc10/tech/full_papers/Hunt.pdf
- title: The Hadoop Distributed File System
author: Shvachko et al
year: 2010
link: https://cse.buffalo.edu/~okennedy/courses/papers/hdfs.pdf
- title: "Amazon Aurora: Design Considerations for High Throughput Cloud-Native Relational Databases"
author: Verbitski et al
year: 2017
link: https://pages.cs.wisc.edu/~yxy/cs764-f20/papers/aurora-sigmod-17.pdf
- title: On Designing and Deploying Internet Scale Services
author: Hamilton
year: 2007
link: https://s3.amazonaws.com/systemsandpapers/papers/hamilton.pdf
topics: [Operations, Reliability, Fault-tolerance]
related:
- title: Ironies of Automation
author: Bainbridge
year: 1983
link: https://ckrybus.com/static/papers/Bainbridge_1983_Automatica.pdf
- title: Why do computers stop and what can be done about it?
author: Gray
year: 1985
link: https://jimgray.azurewebsites.net/papers/TandemTR85.7_WhyDoComputersStop.pdf
- title: "Recovery Oriented Computing (ROC): Motivation, Definition, Techniques, and Case Studies"
author: Patterson et al
year: 2002
link: http://www2.eecs.berkeley.edu/Pubs/TechRpts/2002/CSD-02-1175.pdf
- title: Crash-Only Software
author: Candea, Fox
year: 2003
link: https://research.cs.wisc.edu/areas/os/ReadingGroup/os-old/Papers/HotOSIX/Candea-CrashOnlySoftware.pdf
- title: Building on Quicksand
author: Helland, Campbell
year: 2009
link: https://arxiv.org/ftp/arxiv/papers/0909/0909.1788.pdf
- title: "Thinking Methodically about Performance"
author: Gregg
year: 2012
link: https://queue.acm.org/detail.cfm?id=2413037
topics: [Performance]
related:
- title: Thinking Clearly about Performance
author: Millsap
year: 2010
link: https://queue.acm.org/detail.cfm?id=1854041
- title: Performance Anti-Patterns
author: Smaalders
year: 2006
link: https://queue.acm.org/detail.cfm?id=1117403
- title: Bitcoin, A peer-to-peer electronic cash system
author: Nakamoto
year: 2008
link: https://bitcoin.org/bitcoin.pdf
topics: [Decentralized Distributed Systems, Peer-to-peer systems]
related:
- title: "Operational transformation in real-time group editors: issues, algorithms, and achievements"
author: Sun, Ellis
year: 1998
link: https://dl.acm.org/doi/pdf/10.1145/289444.289469
- title: Conflict-free Replicated Data Types
author: Shapiro et al
year: 2011
link: https://pages.lip6.fr/Marc.Shapiro/papers/RR-7687.pdf
- title: "Incentives Build Robustness in BitTorrent"
author: Cohen
link: https://www.bittorrent.org/bittorrentecon.pdf
year: 2003
- title: "IPFS - Content Addressed, Versioned, P2P File System"
year: 2014
author: Benet
link: https://raw.githubusercontent.com/ipfs/papers/master/ipfs-cap2pfs/ipfs-p2p-file-system.pdf
- title: "Kademlia: A Peer-to-Peer Information System Based on the XOR Metric"
link: https://pdos.csail.mit.edu/~petar/papers/maymounkov-kademlia-lncs.pdf
year: 2002
author: Maymounkov, Mazières
- title: "Local-First Software: You Own Your Data, in spite of the Cloud"
year: 2019
author: Kleppmann et al
link: https://www.inkandswitch.com/local-first/static/local-first.pdf
- title: "Ethereum: A Next-Generation Smart Contract and Decentralized Application Platform"
author: Buterin
year: 2014
link: https://ethereum.org/content/whitepaper/whitepaper-pdf/Ethereum_Whitepaper_-_Buterin_2014.pdf
- title: A Few Useful Things to Know About Machine Learning
author: Domingos
year: 2012
link: https://homes.cs.washington.edu/~pedrod/papers/cacm12.pdf
topics: [Machine Learning]
related:
- title: Deep Learning
author: LeCun, Bengio, Hinton
year: 2015
link: https://www.cs.toronto.edu/~hinton/absps/NatureDeepReview.pdf
- title: "Statistical Modeling: The Two Cultures"
author: Breiman
year: 2001
# link: http://www2.math.uu.se/~thulin/mm/breiman.pdf
link: https://projecteuclid.org/journalArticle/Download?urlId=10.1214%2Fss%2F1009213726
- title: The Unreasonable Effectiveness of Data
author: Halevy, Norvig, Pereira
year: 2009
link: https://storage.googleapis.com/gweb-research2023-media/pubtools/pdf/35179.pdf
- title: Attention Is All You Need
author: Vaswani et al
year: 2017
link: https://arxiv.org/pdf/1706.03762.pdf
- title: Generative Adversarial Nets
author: Goodfellow et al
year: 2014
link: https://proceedings.neurips.cc/paper_files/paper/2014/file/5ca3e9b122f61f8f06494c97b1afccf3-Paper.pdf
- title: ImageNet Classification with Deep Convolutional Neural Networks
author: Krizhevsky, Sutskever, Hinton
year: 2012
link: https://papers.nips.cc/paper_files/paper/2012/file/c399862d3b9d6b76c8436e924a68c45b-Paper.pdf
- title: Playing Atari with Deep Reinforcement Learning
author: Mnih et al
year: 2013
link: https://arxiv.org/pdf/1312.5602.pdf