Edd Barrett

According to our database, Edd Barrett authored at least 7 papers between 2010 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2017

Virtual machine warmup blows hot and cold.

Edd Barrett, Carl Friedrich Bolz-Tereick, Rebecca Killick, Sarah Mount, Laurence Tratt

Proc. ACM Program. Lang., 2017

2016

Fine-grained Language Composition: A Case Study (Artifact).

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

Dagstuhl Artifacts Ser., 2016

Fine-grained Language Composition: A Case Study.

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

Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2015

Fine-grained Language Composition.

Edd Barrett, Lukas Diekmann, Laurence Tratt

CoRR, 2015

Approaches to interpreter composition.

Edd Barrett, Carl Friedrich Bolz, Laurence Tratt

Comput. Lang. Syst. Struct., 2015

2012

Range Analysis of Binaries with Minimal Effort.

Edd Barrett, Andy King

Proceedings of the Formal Methods for Industrial Critical Systems, 2012

2010

Range and Set Abstraction using SAT.

Edd Barrett, Andy King

Electron. Notes Theor. Comput. Sci., 2010