Papers (including additional drafts) can also be found on Google Scholar, DBLP and SoftDev.

I have provided cryptographic signatures for all PDFs. See the Crypto page for more information.

Academic articles ordered newest first:

  • [EE PDF Sig Video ]: Fine-grained Language Composition: A Case Study (2016) Edd Barrett, Carl Friedrich Bolz, Lukas Diekmann and Laurence Tratt, In The European Conference on Object-Oriented Programming (ECOOP) 2016.

  • [EE PDF Sig ]: Virtual Machine Warmup Blows Hot and Cold (Extended Abstract) (2016) Edd Barrett, Carl Friedrich Bolz, Rebecca Killick, Vincent Knight, Sarah Mount and Laurence Tratt, In The Implementation, Compilation and Optimization of Object-Oriented Languages, Programs and Systems Workshop (ICOOOLPS) 2016.

  • [EE PDF Sig ]: Approaches to Interpreter Composition (2015) Edd Barrett, Carl Friedrich Bolz and Laurence Tratt, In Computer Languages, Systems and Structures (COMLAN), volume 44.

  • [PDF Sig ]: Range Analysis of Binaries with Decision Procedures (PhD Thesis) (2013) Edd Barrett.

  • [EE PDF Sig ]: Unipycation: A Case Study in Cross-language Tracing (2013) Edd Barrett, Carl Friedrich Bolz and Laurence Tratt, In The ACM Workshop on Virtual Machines and Intermediate Languages (VMIL) 2013.

  • [EE PDF Sig ]: Range Analysis of Binaries with Minimal Effort (2012) Edd Barrett and Andy King, In The International Workshop on Formal Methods for Industrial Critical Systems (FMICS) 2012.

  • [EE PDF Sig ]: Range and Set Abstraction using SAT (2010) Edd Barrett and Andy King, In Electronic Notes in Theoretical Computer Science (ENTCS), volume 267.

  • [EE PDF Sig ]: 3c: A JIT Compiler with LLVM (BSc Dissertstion) (2009) Edd Barrett.