Just some links

Twitter, Pinboard, Resumé, Google Scholar

Microblog

[June 9th 2025] The code is the chain-of-thought for programming. So successive iterations over the code are the reasoning tokens for programming.

[June 9th 2025] Neural concrete interpretation at scale is indistinguishable from neural abstract interpretation.

[July 24th 2022] List of all my papers and tech reports here

[June 14th 2022] Hello World!