Range and Set Abstraction using SAT. - Edd Barrett; Andy King (NSAD@SAS, 2010)

Range Analysis of Binaries with Minimal Effort. - Edd Barrett; Andy King (FMICS, 2012)

Unipycation: a case study in cross-language tracing. - Edd Barrett; Carl Friedrich Bolz; Laurence Tratt (VMIL@SPLASH, 2013)

Approaches to interpreter composition. - Edd Barrett; Carl Friedrich Bolz; Laurence Tratt (Comput. Lang. Syst. Struct., 2015)

Fine-grained Language Composition. - Edd Barrett; Lukas Diekmann; Laurence Tratt (CoRR, 2015)

Fine-grained Language Composition: A Case Study. - Edd Barrett; Carl Friedrich Bolz; Lukas Diekmann; Laurence Tratt (ECOOP, 2016)

Fine-grained Language Composition: A Case Study (Artifact). - Edd Barrett; Carl Friedrich Bolz; Lukas Diekmann; Laurence Tratt (Dagstuhl Artifacts Ser., 2016)

Virtual machine warmup blows hot and cold. - Edd Barrett; Carl Friedrich Bolz-Tereick; Rebecca Killick; Sarah Mount; Laurence Tratt (Proc. ACM Program. Lang., 2017)