Compiling with Continuations and LLVM. - Kavon Farvardin; John H. Reppy (ML/OCAML, 2016)

A New Backend for Standard ML of New Jersey. - Kavon Farvardin; John H. Reppy (IFL, 2020)

From folklore to fact: comparing implementations of stacks and continuations. - Kavon Farvardin; John H. Reppy (PLDI, 2020)