# Computer Science

* Where to find good Computer Science papers?
  * <https://github.com/papers-we-love/papers-we-love>

## Operating systems

* [ ] [The Case for Writing Network Drivers in High-Level Languages](https://www.net.in.tum.de/fileadmin/bibtex/publications/papers/the-case-for-writing-network-drivers-in-high-level-languages.pdf) - Some interesting discussions regarding these results, - <https://news.ycombinator.com/item?id=20945819>&#x20;
* [ ] [DTrace](https://www.usenix.org/legacy/event/usenix04/tech/general/cantrill.html)

## Software Engineering

* [x] [The Rise of Worse is Better - Richard P. Gabriel](https://web.mit.edu/6.033/www/papers/Worse_is_Better.pdf) - [notes](https://wiki.dewaka.com/papers/cs/rise-of-worse-is-better)
* [ ] [Advantages and Disadvantages of a Monolithic Repository](https://people.engr.ncsu.edu/ermurph3/papers/seip18.pdf) - [notes](https://wiki.dewaka.com/papers/cs/monorepos-seip18)
* [x] [Coccinelle: 10 Years of Automated Evolution in the Linux Kernel](https://hal.inria.fr/hal-01853271/document) - [notes](https://wiki.dewaka.com/papers/cs/coccinelle)
* [x] [Semantic Patches for Java Program Transformation](https://drops.dagstuhl.de/opus/volltexte/2019/10814/pdf/LIPIcs-ECOOP-2019-22.pdf) - [notes](https://wiki.dewaka.com/papers/cs/coccinelle)

## Data Structures and Algorithms

* [ ] [Adaptive Software Cache Management](https://dl.acm.org/doi/10.1145/3274808.3274816)

## Functional programming

* [ ] [Total Functional Programming](http://www.jucs.org/jucs_10_7/total_functional_programming/jucs_10_07_0751_0768_turner.pdf) - [notes](https://wiki.dewaka.com/papers/cs/total-fp-turner)

## Concurrency

* [ ] [Everything You Always Wanted to Know About Synchronization but Were Afraid to Ask](http://sigops.org/s/conferences/sosp/2013/papers/p33-david.pdf) - [notes](https://github.com/dewaka/wiki/tree/4fb61c7326010cc5fc9ca448acbe3274579f8016/papers/cs/everything-about-synchronization.md)

## Programming Languages

* [ ] [Stacked Borrows - An Aliasing Model for Rust](https://plv.mpi-sws.org/rustbelt/stacked-borrows/)
* [ ] [Java and Scala's type system is unsound](https://dl.acm.org/doi/pdf/10.1145/3022671.2984004)&#x20;
* [ ] [Scalable Component Abstractions](https://lampwww.epfl.ch/~odersky/papers/ScalableComponent.pdf) - [notes](https://wiki.dewaka.com/papers/cs/scalable-component-abstractions)
* [ ] [A Path To DOT: Formalizing Fully Path-Dependent Types](https://arxiv.org/pdf/1904.07298.pdf)