Archives/papers-we-love_papers-we-love
1
0
Fork 0
mirror of https://github.com/papers-we-love/papers-we-love.git synced 2024-10-27 20:34:20 +00:00
Code Issues Projects Releases Wiki Activity
363 Commits 1 Branch 0 Tags 428 MiB
ed3d1b2d1a
Commit Graph

363 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Diogo Moitinho de Almeida
4531574237 Adding "Making Reliable Distributed Systems in the Presence of Software Errors" Erlang paper 2014-09-20 15:01:46 -07:00
Simon Thornington
2a2524218b Added time-series section and Zumbach&Muller's paper on inhomogeneous operators 2014-09-20 12:39:21 -07:00
Jeremy Heiler
3adcf16e17 Merge pull request #177 from tokenrove/taxonomy-of-saca 
Add reference to A Taxonomy of SACAs
 2014-09-18 15:09:15 -04:00
Zeeshan Lakhani
1012a0c30f Merge pull request #178 from shrayasr/patch-1 
Fixing broken link to Bangalore meetup group
 2014-09-16 00:39:23 -04:00
Shrayas Rajagopal
f0cc03762a Fixing broken link to Bangalore meetup group 
Schema was missing
 2014-09-16 10:04:51 +05:30
Zeeshan Lakhani
a6df3610ea Quick Edit for Consistency 2014-09-16 00:23:50 -04:00
Julian Squires
3db08a50db Add reference to A Taxonomy of SACAs 
This also adds a new category, stringology, for papers on the algorithms
and data structures of string processing.
 2014-09-15 21:00:12 -04:00
Jeremy Heiler
6c00084022 Merge pull request #142 from vu3rdd/master 
Add link to the Bangalore chapter
 2014-09-15 18:05:19 -04:00
Ramakrishnan Muthukrishnan
babe364a07 README.md: add Bangalore chapter 2014-09-14 16:04:10 +05:30
Zeeshan Lakhani
03ba6ffdfc Merge pull request #174 from papers-we-love/@pburka-papers 
add papers from peter burka, including the one he'll present in nyc, *cr...
 2014-09-08 13:28:22 -04:00
Zeeshan Lakhani
a11304ef41 add papers from peter burka, including the one he'll present in nyc, *crossing-the-gap* 2014-09-08 13:21:56 -04:00
arushs
0f4891f991 Important as it shows with formal proofs how to classify sequences into different levels of difficulty based on computability 2014-09-02 23:03:51 -07:00
Jeremy Heiler
bba6759214 Merge pull request #172 from 3rdman/master 
Add a link to https://lobste.rs/t/pdf
 2014-09-02 16:03:18 -04:00
Jeremy Heiler
488aaf2306 Merge pull request #170 from csaunders/master 
Adds Caching paper on 2Q algorithm
 2014-09-02 16:01:42 -04:00
Chris Saunders
1eeef6a6c0 updates reference to paper 2014-09-02 13:15:07 +00:00
Ryan Dooley
614d83c04d Add a link to https://lobste.rs/t/pdf 2014-09-01 21:06:43 -07:00
Chris Saunders
407a433a82 Adds Caching paper on 2Q algorithm 
The algorithm was referenced in an article about
improving buffer cache replacement in OpenBSD.

http://www.tedunangst.com/flak/post/2Q-buffer-cache-algorithm

The article was found on the vldb.org website via a google
search.

http://www.vldb.org/conf/1994/P439.PDF
 2014-09-01 13:33:54 +00:00
Ines Sombra
74687e3308 Merge pull request #168 from lpradel/experimental_algorithmics 
Introduced new category "experimental algorithmics"
 2014-08-29 11:40:41 -07:00
lpradel
f704270f45 Introduced new category "experimental algorithmics" and included Johnson's well-known and excellent paper on the experimental analysis of algorithms. 2014-08-29 15:50:30 +02:00
Jeremy Heiler
143285884a Merge pull request #165 from ashleygwilliams/master 
Add resources from PWLBOS Aug2014
 2014-08-26 16:07:30 -04:00
ashley williams
d474edc085 add pdf and link for a note on distributed computing, cmeik's paper for pwlbos aug2014 
add scroll emoji
 2014-08-26 15:51:49 -04:00
Jeremy Heiler
25f958f262 Merge pull request #164 from videlalvaro/master 
adds Sammet PL history paper
 2014-08-26 13:46:42 -04:00
Alvaro Videla
79dd7656d0 adds Sammet PL history paper 2014-08-26 18:59:44 +02:00
Zeeshan Lakhani
127e8fac90 Merge pull request #163 from videlalvaro/master 
adds link to SDD1 paper
 2014-08-25 18:33:21 -07:00
Alvaro Videla
3020673e75 adds link to SDD1 paper 2014-08-26 03:22:02 +02:00
Jeremy Heiler
0cd070241c Merge branch 'ethangunderson-patch-1' 2014-08-21 00:16:16 -04:00
Jeremy Heiler
5d30a30605 Fix merge conflict for adding Chicago chapter 2014-08-21 00:15:47 -04:00
Jeremy Heiler
65c09a90b7 Merge pull request #161 from vaslabs/master 
Added Alan Turing's morphogenesis in biocomputing
 2014-08-19 15:28:55 -04:00
Vasilis Nicolaou
1b58affbb9 Alan Turing's morphogenesis description 2014-08-19 20:25:24 +01:00
Vasilis Nicolaou
d45da95de4 Alan Turing's morphogenesis 2014-08-19 20:21:38 +01:00
Jeremy Heiler
e146795174 Merge pull request #160 from notthetup/master 
added link to the PWL singapore group
 2014-08-19 15:05:21 -04:00
Jeremy Heiler
2c143e8d2d Merge pull request #157 from papers-we-love/race-condition-testing 
Add QuickCheck race conditions paper
 2014-08-19 11:57:31 -04:00
Chinmay Pendharkar
b2b0b90420 added link to the PWL singapore group, and an Game AI paper and the Google paper presented during the first meetup 2014-08-19 12:59:02 +08:00
Jeremy Heiler
2df1de2cbc Add QuickCheck race conditions paper 2014-08-11 11:21:05 -04:00
Jeremy Heiler
b4627cc109 Merge pull request #156 from aleksandar-todorovic/master 
Added some papers to the security section.
 2014-08-08 11:59:47 -04:00
Aleksandar Todorović
bddf166b92 Added some papers to the security section. 2014-08-08 16:02:11 +02:00
Jeremy Heiler
53f10739a1 Merge pull request #154 from krisajenkins/patch-1 
Correcting a typo.
 2014-08-07 12:18:43 -04:00
Kris Jenkins
768b924479 Correcting a typo. 2014-08-07 17:12:22 +01:00
Ines Sombra
927d23d95e Merge pull request #152 from stevelydford/master 
Added Orleans paper
 2014-08-06 17:07:41 +00:00
Steve Lydford
a5f5e175bb Added Orleans paper 2014-08-06 14:46:32 +01:00
Jeremy Heiler
b39322f6c3 Merge pull request #151 from 3rdman/master 
Add Research Papers from Robert Haper
 2014-08-05 20:20:48 -04:00
Ryan Dooley
23a56be18f Add Research Papers from Robert Haper 
Research papers around Type Theory, Proof Theory, and Category
Theory.

* Types and Language Design
* Types and Compilation
* Certifying Compilers
* Logical Frameworks
* Scientific Computing
* Computation and Information Grids
* Self-Adjusting Computation
* Security
 2014-08-05 11:46:59 -07:00
Jeremy Heiler
9e7ee7f961 Merge pull request #149 from 3rdman/secpapers 
Add a reference to security papers.
 2014-08-02 15:08:01 -04:00
Zeeshan Lakhani
69dc4f19fe Merge pull request #150 from brandonbloom/patch-1 
Fix typo
 2014-08-01 08:28:11 -04:00
Brandon Bloom
5819c87457 Fix typo 2014-07-31 13:02:50 -04:00
Ryan Dooley
851f8687e2 Add a reference to security papers. 
This is a link to collected security papers by @jason_trost.
 2014-07-30 12:18:11 -07:00
Brian Bowman
5e83805ff7 Merge pull request #148 from papers-we-love/chapter_link 
added link for chapter list
 2014-07-27 00:58:03 -04:00
Ines Sombra
b2cc07912a added link for chapter list 2014-07-25 15:23:10 -07:00
Ines Sombra
d60e78a78c Merge pull request #145 from papers-we-love/@skamille-papers 
add papers referred to by @skamille
 2014-07-17 22:00:38 -07:00
Zeeshan Lakhani
cbbf33c11a add papers referred to by @skamille 2014-07-17 23:03:12 -05:00