The Many Faces of Resilience

AI's Jurassic Park Moment, a real and imminent threat to the fabric of society

The End of Programming

The Legacy of Peer-to-Peer Systems

The End of Programming

Donald Knuth's 2022 'Christmas Tree' Lecture Is About Trees

The Evolution of Mathematical Software

Is There a Lack of Market Incentives for Cybersecurity?

Building the Shakti Microprocessor

Not Your Grandmother's Textbook Exercise

Deconstructing the Bakery to Build a Distributed State Machine

Separation Logic

Separation Logic

CACM special issue on Lisp (1991)

AI-generated text is not yet at the stage of being a reliable co-author for your writing projects

The Keys to the Kingdom

InnovateFPGA: Wrong Strategy Drives One of the Best FPGA Dev Contests to Crisis

The Software Industry Is Still the Problem

The Go Programming Language and Environment

Static Analysis at GitHub

Why is it difficult for developers to learn another programming language? (2020)

Technology’s Impact on Morality

ACM, Ethics, and Corporate Behavior

MadMax: Analyzing the Out-of-Gas World of Smart Contracts

Reimagining Chess with AlphaZero

Abstractions, Their Algorithms, and Their Compilers

How We Lost the Women in Computing

Scalable Linear Algebra on a Relational Database System (2020)

The Possibility of the Impossible

The Hardware Lottery

More →