Publications

. From folklore to fact: Comparing implementations of stacks and continuations. In Programming Language Design and Implementation (PLDI), 2020.

PDF

. Compiling with Continuations and LLVM. In Electronic Proceedings in Theoretical Computer Science (EPTCS), 2018.

PDF

. Weighing Continuations for Concurrency. Master's Thesis, 2017.

PDF Slides

. Compiling with Continuations and LLVM. In ML Workshop, 2016.

PDF Slides Video

. Spread-Spectrum Organization for Concurrent Pools. Unpublished, 2016.

Preprint

Talks

atJIT: an online, feedback-directed optimizer for C++
Oct 17, 2018
Native Support for Explicit Stacks in LLVM
Sep 9, 2017
Practical Conversion from CPS to Direct Style
Dec 4, 2016

Miscellany