Loading...

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

Program analysis using random interpretation (2005) [pdf]

My first fifteen compilers (2019)

AI models need a virtual machine

AI models need a virtual machine

How to Give a Good Talk

The Missing Mentoring Pillar

Parametric Subtyping for Structural Parametric Polymorphism

Evaluating Human Factors Beyond Lines of Code

Prompts are Programs

WITS (Workshop on the Implementation of Type Systems) 2025 @ POPL 2025: Call for Participation

Rust Received the SIGPLAN Programming Languages Software Award 2024

ACM SIGPLAN OpenTOC: Free access to a lot of papers

A DSL for Implementing Math Functions

Eio 1.0 – Effects-based IO for OCaml 5

ACM Sigplan ICFP will be in Seattle, WA, USA on 4–9 September 2023

Better Together: Unifying Datalog and Equality Saturation

SSA Translation is an Abstract Interpretation

Undefined Behavior deserves a better reputation (2021)

Language Design in the Real World

Provably space-efficient parallel functional programming

Undefined Behavior deserves a better reputation

PL Notation is a Barrier to Entry

Story of the Flash Fill Feature in Excel

Finding Bugs in C and C++ Compilers using YARPGen

High Performance Correctly Rounded Math Libraries for 32-Bit Floating Point

Defunctionalization: Everybody Does It, Nobody Talks About It (2019)

Reflective Towers of Interpreters

Programming Languages + Human-Computer Interaction: SPLASH 2020

Developer and User-Transparent Compiler Optimization for Interactive Applications

Circuit Synthesis for Analog Computing

More →