Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

In Memoriam: Richard E. Stearns (1936-2026)

Leverage Code Review for Sustainable AI Coding Development

C Is Not a Low-Level Language (2018)

Pushdown automata in statistical machine translation (2014)

Into the depths of C: Elaborating the de facto standards (2016)

Functional State Machines in Rust: Typestate and Newtype Patterns

AI Is a Harsh Mistress

Context-Aware Inlining: Using Call-Stack Profiles for Fast and Smaller Binaries

Why Google stores billions of lines of code in a single repository (2016)

Functional State Machines in Rust: Typestate and Newtype Patterns

People of ACM – Russ Cox

Programmable Property-Based Testing

Don't Stall Me Now: Hiding Memory Latency in eBPF

Understanding the limitations of Pubsub systems

λλ: A Programming Language for Silicon Photonics

Warnock: Harnessing GPU geometry amplification for vector graphics

Gauguin, Descartes, Bayes: A Diurnal Golem's Brain

Eight Myths on Software Engineering and GenAI

The Economics and Engineering of On-Premises LLMs

MAGIC: Malicious Aging in Circuits/Cores

Machine-Generated, Machine-Checked Proofs for a Verified Compiler (Experience Report)

Why Are Women Leaving Computer Science?

Twenty Years of Bigtable

A fresh look at CPU silent data corruption in modern data centers

Goodbye, and Thanks for All the Bikesheds

Goodhart's Law Comes for Every Benchmark You Trust

Now is the time to give LLMs access to the ACM digital library

Epistemic Parity: Reproducibility as an Evaluation Metric for Differential Privacy

Google's Beyond Zero: Enterprise Security for the AI Era

Superoptimizer – A Look at the Smallest Program (1987) [pdf]

More →