The End of Programming

Separation Logic

Software Developer Shortage Is Coming – ACM

Why Did We Ever Think the First Programming Language Didn't Matter?

Collusion Rings Threaten the Integrity of Computer Science Research

50 Years of Pascal by Niklaus Wirth

Reboot the Computing-Research Publication Systems

Keeping CALM: When Distributed Consistency Is Easy

Publish and Perish

Scaling Static Analyses at Facebook

Attack of the Killer Microseconds

A New Golden Age for Computer Architecture

A Look at the Design of Lua

Possibly by 2020, the world's first quantum Internet will connect the Dutch cities Delft, Den Haag, Leiden and Amsterdam.

Why Google Stores Billions of Lines of Code in a Single Repository

The Binary System Was Created Long Before Leibniz