Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/nitinprakash96/papers-i-like

A list of academic papers I like to read every once in a while.
https://github.com/nitinprakash96/papers-i-like

Last synced: 27 days ago
JSON representation

A list of academic papers I like to read every once in a while.

Awesome Lists containing this project

README 

        
This repository is a list of computer science academic papers that I admire and keep going back to for references. In no way it is one of those _awesome curated list_.



### Table of Content



1. [Language paradigm](#language-paradigm)

2. [Programming languages](#programming-languages)

3. [Programming concepts](#programming-concepts)

4. [Software architecture](#software-architecture)

5. [Databases](#Databases)

6. [Miscellaneous](#Miscellaneous)



### Language paradigm



- [Why functional programming matters](https://www.cs.kent.ac.uk/people/staff/dat/miranda/whyfp90.pdf)



- [Can programming be liberated from the Von Neumann Style?](http://worrydream.com/refs/Backus-CanProgrammingBeLiberated.pdf)



### Programming languages



Somedays, I just like to understand the ideology behind a language in terms of its design space and compromises it had to be built upon.



- [Lisp: A language for stratified design](https://dspace.mit.edu/bitstream/handle/1721.1/6064/AIM-986.pdf?sequence=2&isAllowed=y)



- [A History of Clojure](https://download.clojure.org/papers/clojure-hopl-iv-final.pdf)



- [A History of Haskell: Being Lazy With Class](https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/history.pdf)



- [Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I](http://jmc.stanford.edu/articles/recursive/recursive.pdf)



### Programming concepts



This section contains paper that introduced or comprehensively laid down concepts that programmers use extensively.

Note: The following list has a lot of functional programming related papers because that's what I code in.



- [Functional Pearl: I am not a Number—I am a Free Variable](https://www.cs.ru.nl/~james/RESEARCH/haskell2004.pdf)



- [Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell](https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/mark.pdf?from=http%3A%2F%2Fresearch.microsoft.com%2Fen-us%2Fum%2Fpeople%2Fsimonpj%2Fpapers%2Fmarktoberdorf%2Fmark.pdf)



- [Comprehending Monads](https://ncatlab.org/nlab/files/WadlerMonads.pdf)



- [Cache-oblivious Algorithms and Data structures](https://erikdemaine.org/papers/BRICS2002/paper.pdf)



- [Applicative programming with effects](https://www.staff.city.ac.uk/~ross/papers/Applicative.pdf)



- [How to make ad-hoc polymorphism less ad hoc](https://www.researchgate.net/profile/Stephen-Blott/publication/2710954_How_to_Make_Ad-Hoc_Polymorphism_Less_Ad_Hoc/links/553e01f20cf2fbfe509b81f8/How-to-Make-Ad-Hoc-Polymorphism-Less-Ad-Hoc.pdf)



- [Type Classes with Functional Dependencies](https://web.cecs.pdx.edu/~mpj/pubs/fundeps-esop2000.pdf)



### Software architecture



Some really helpful papers regarding software architecture and other related patterns.



- [Scaling Memcache at Facebook](https://www.usenix.org/system/files/conference/nsdi13/nsdi13-final170_update.pdf)



- [Composable Memory Transactions](https://www.microsoft.com/en-us/research/wp-content/uploads/2005/01/2005-ppopp-composable.pdf)



- [Towards Scalable Dataframe Systems](https://arxiv.org/pdf/2001.00888.pdf)



### Databases



These include designs of some popular storage engines. Some even explore unconventional methods of writing bits and pieces of a storage engine.



- [The design of Postgres storage system](https://dsf.berkeley.edu/papers/ERL-M87-06.pdf)



- [The Adaptive Radix Tree: ARTful Indexing for Main-Memory Databases](https://db.in.tum.de/~leis/papers/ART.pdf)



### Miscellaneous



- [Everything You Always Wanted To Know About Mathematics](https://www.math.cmu.edu/~jmackey/151_128/bws_book.pdf)



- [An Industrial-Strength Audio Search Algorithm](https://www.ee.columbia.edu/~dpwe/papers/Wang03-shazam.pdf)



- [A symbolic analysis of Relay and Switching Circuits](https://www.cs.virginia.edu/~evans/greatworks/shannon38.pdf) - This is the start of information theory!