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​

Papers

Higher-order logic programming in Prolog

Last modified 3yr ago