AI fabricates 21 out of 23 citations lawyer sanctioned reported to state bar [pdf]

Finding and Understanding Bugs in C Compilers (2011) [pdf]

Picat: A Logic-based Multi-paradigm Language (2014) [pdf]

Integer Programming (1977) [pdf]

How to Prove False Statements: Practical Attacks on Fiat-Shamir

The Linux Process Journey (2023) [pdf]

Apple sued by 2 authors over use of books in AI training [pdf]

The File System Belongs in the Kernel (1991)

Privacy and Security Risks in the eSIM Ecosystem [pdf]

macOS Tahoe is certified Unix 03 [pdf]

Tetris is NP-hard even with O(1) rows or columns (2020) [pdf]

Strategically Holding Back Bugs and Patches

Some observations concerning large programming efforts (1964)

The Revised Report on Scheme or An UnCommon Lisp (1985) [pdf]

The Diary of a Datum (2005)

Advanced Scheme Techniques (2004) [pdf]

How People Use ChatGPT [pdf]

The Economic Impacts of AI: A Multidisciplinary, Multibook Review [pdf]

Evolving the OCaml Programming Language (2025) [pdf]

Analyzing the memory ordering models of the Apple M1

Opinion United States of America v. Google LLC (1:20-cv-03010) [pdf]

Kernel Security in the Wild: Side-Channel-Assisted Exploit Techniques, Kernel-Level Defenses, and Real-World Analysis

"The open web is already in rapid decline"–Misleading Quote [pdf]

Engineering a High-Performance Go PDF Microservice

Limits of Instruction-Level Parallelism (1991, pdf)

Wolves in the Repository: A Software Engineering Analysis of the XZ Utils Supply Chain Attack

Editable pdf with disk access

Extract complex bracket structure from pdf

7 Free Python PDF Libraries You Should Know in 2025

I thought I'd give away my Python eBook (pdf) for free.

More →