• 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 - Some interesting discussions regarding these results, - https://news.ycombinator.com/item?id=20945819

• ​DTrace​

Software Engineering

• ​The Rise of Worse is Better - Richard P. Gabriel - notes​

• ​Advantages and Disadvantages of a Monolithic Repository - notes​

• ​Coccinelle: 10 Years of Automated Evolution in the Linux Kernel - notes​

• ​Semantic Patches for Java Program Transformation - notes​

Data Structures and Algorithms

• ​Adaptive Software Cache Management​

Functional programming

• ​Total Functional Programming - notes​

Concurrency

• ​Everything You Always Wanted to Know About Synchronization but Were Afraid to Ask - notes​

Programming Languages

• ​Stacked Borrows - An Aliasing Model for Rust​

• ​Java and Scala's type system is unsound

• ​Scalable Component Abstractions - notes​

• ​A Path To DOT: Formalizing Fully Path-Dependent Types​