My mug

You have landed at the Internet home of Dr. Edd Barrett: Computer scientist, programmer and OpenBSD developer.

I am currently working as a research associate within the Software Development Team of the Department of Informatics, King's College London. I'm working on composing (as in mixing) programming language VMs and Just-In-Time (JIT) compiler performance. For more information on research activity, see the publications page.

What's New?

  • 2016-01-25: Giving "Virtual Machine Warmup Blows Hot and Cold" talk at King's College London.
  • 2016-01-17: Add "Academic Service" section.
  • 2016-09-21: Laurence Tratt posted an article on his blog about our work on fine-grained language composition.
  • 2016-09-27: I will be speaking at SREPLS-4.
  • 2016-08-29: Attended G2K16 in Cambridge.
  • 2016-07-28: Added Talks page.
  • 2016-07-18: Fine-grained Language Composition: A Case Study published in ECOOP.

Selected Publications

  • Fine-grained Language Composition: A Case Study (2016) EE PDF Sig Video

    Edd Barrett, Carl Friedrich Bolz, Lukas Diekmann and Laurence Tratt.

    In The European Conference on Object-Oriented Programming (ECOOP) 2016.

  • Virtual Machine Warmup Blows Hot and Cold (Extended Abstract) (2016) EE PDF Sig

    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.

  • Approaches to Interpreter Composition (2015) EE PDF Sig

    Edd Barrett, Carl Friedrich Bolz and Laurence Tratt.

    In Computer Languages, Systems and Structures (COMLAN), volume 44.

  • Unipycation: A Case Study in Cross-language Tracing (2013) EE PDF Sig

    Edd Barrett, Carl Friedrich Bolz and Laurence Tratt.

    In The ACM Workshop on Virtual Machines and Intermediate Languages (VMIL) 2013.

  • Range Analysis of Binaries with Minimal Effort (2012) EE PDF Sig

    Edd Barrett and Andy King.

    In The International Workshop on Formal Methods for Industrial Critical Systems (FMICS) 2012.

More publications over at the Publications page.

Academic Service

Identity