Yet another programming blog. Thoughts on software and related misadventures.

Introduction
Since last summer, I've been looking on and off into a weird and hard to
reproduce crash bug in PyPy. It was
manifesting only on CI, and it seemed to always happen in the AST rewriting
ph

Binary Analysis Platform. Contribute to BinaryAnalysisPlatform/bap development by creating an account on GitHub.

I work at Red Hat on GCC, the GNU Compiler Collection. For the last five releases of GCC, I've been working on -fanalyzer, a static analysis pass that tries to identify various problems at

Asymptotic speedup via effect handlers - Volume 34

A simple program specializer (based on partial evaluation) for a subset of Scheme. It includes a binding time analyzer, a residual program generator and an arity raiser. Imported from Google Code. ...

Ulrich Drepper recently approached us asking if we would be interested in publishing a lengthy [...]

In this paper we describe the LaTTe proof assistant, a software that promotes the Lisp notation for the formalization of and reasoning about mathematical contents. LaTTe is based on type theory and implemented as a Clojure library with top-level forms for…

A highly accurate partial evaluator for LLVM bitcode

Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode - lifting-bits/mcsema