Static Basic Block Versioning

Large Language Models: Compilers for the 4th Gen of Programming Languages? [pdf]

A Tour of Gallifrey, a Language for Geodistributed Programming [pdf] (2019)

Report on Secure Compilation Research

A Hitchhiker's Guide to Reinventing a Prolog Machine

Compiling Tree Transforms to Operate on Packed Representations (2017)

Dagstuhl: Network Latency Control in Data Centers

Worst-case complexity of TimSort finally unveiled

Formal Language Recognition with the Java Type Checker (2016)

Fine-grained Language Composition: Case Study (2016)

Go Meta! - A Case for Generative Programming and DSL's in Performance-Critical Systems

Automatic generation of Java Fluent APIs

Modelling Homogeneous Generative Meta-Programming

Proceedings Up for the 2016 European Conference on Object-Oriented Programming

Implementing Python for DrRacket (2014)

Global Sequence Protocol: A Robust Abstraction for Replicated Shared State

Go Meta! A Case for Generative Programming and DSLs in Performance Critical Systems [PDF]

Machine Learning for InfoSec [pdf]