Edd Barrett
Edd Barrett
Software Development Team, Informatics, King's College London
Verified email at kcl.ac.uk - Homepage
Cited by
Cited by
Virtual machine warmup blows hot and cold
E Barrett, CF Bolz-Tereick, R Killick, S Mount, L Tratt
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-27, 2017
Approaches to interpreter composition
E Barrett, CF Bolz, L Tratt
Computer Languages, Systems & Structures 44, 199-217, 2015
Unipycation: A case study in cross-language tracing
E Barrett, CF Bolz, L Tratt
Proceedings of the 7th ACM workshop on Virtual machines and intermediate …, 2013
Range and set abstraction using SAT
E Barrett, A King
Electronic Notes in Theoretical Computer Science 267 (1), 17-27, 2010
Fine-grained language composition: A case study
E Barrett, CF Bolz, L Diekmann, L Tratt
arXiv preprint arXiv:1503.08623, 2015
Range analysis of binaries with minimal effort
E Barrett, A King
International Workshop on Formal Methods for Industrial Critical Systems, 93-107, 2012
Fine-grained language composition
E Barrett, L Diekmann, L Tratt
CoRR, abs/1503.08623, 2015
Fine-grained Language Composition: A Case Study (Artifact)
E Barrett, CF Bolz, L Diekmann, L Tratt
DARTS-Dagstuhl Artifacts Series 2, 2016
The system can't perform the operation now. Try again later.
Articles 1–8