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 - 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