Running the “Reflections on Trusting Trust” Compiler: Revisiting Ken Thompson’s sourceless backdoor

The Science of Detecting LLM-Generated Text (2024)

The Tears of Donald Knuth (2015)

The Windows 95 user interface: A case study in usability engineering (1996)

35th ACM SIGPLAN International Conference on Compiler Construction (CC 2026)

Inventing the Lisa user interface – Interactions

Finding forall-exists Hyperbugs using Symbolic Execution

What Every Experimenter Must Know About Randomization

UPP: Universal Predicate Pushdown to Smart Storage

Language Protection by Trademark ill-advised (Communications of the ACM Volume 11, Issue 3, 1968) 😂