A resource management approach to web browser security. - Jun Li 001; Dongting Yu; Luke Maurer (ICNC, 2012)

Continuations, Processes, and Sharing. - Paul Downen; Luke Maurer; Zena M. Ariola; Daniele Varacca (PPDP, 2014)

Sequent calculus as a compiler intermediate language. - Paul Downen; Luke Maurer; Zena M. Ariola; Simon Peyton Jones (ICFP, 2016)

Compiling without continuations. - Luke Maurer; Paul Downen; Zena M. Ariola; Simon L. Peyton Jones (PLDI, 2017)

Weird Machines as Insecure Compilation. - Jennifer Paykin; Eric Mertens; Mark Tullsen; Luke Maurer; Benoît Razet; Alexander Bakst; Scott Moore 001 (CoRR, 2019)