Weird Machines as Insecure Compilation.
CoRR, 2019
Compiling without continuations.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017
Sequent calculus as a compiler intermediate language.
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016
Continuations, Processes, and Sharing.
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014
A resource management approach to web browser security.
Proceedings of the International Conference on Computing, Networking and Communications, 2012