Edd Barrett
Edd Barrett
Software Development Team, Informatics, King's College London
Vahvistettu sähköpostiosoite verkkotunnuksessa kcl.ac.uk - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
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
602017
Approaches to interpreter composition
E Barrett, CF Bolz, L Tratt
Computer Languages, Systems & Structures 44, 199-217, 2015
202015
Range and set abstraction using SAT
E Barrett, A King
Electronic Notes in Theoretical Computer Science 267 (1), 17-27, 2010
192010
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
182013
Fine-grained language composition: A case study
E Barrett, CF Bolz, L Diekmann, L Tratt
arXiv preprint arXiv:1503.08623, 2015
112015
Range analysis of binaries with minimal effort
E Barrett, A King
International Workshop on Formal Methods for Industrial Critical Systems, 93-107, 2012
32012
Fine-grained language composition
E Barrett, L Diekmann, L Tratt
CoRR, abs/1503.08623, 2015
12015
Fine-grained Language Composition: A Case Study (Artifact)
E Barrett, CF Bolz, L Diekmann, L Tratt
DARTS-Dagstuhl Artifacts Series 2, 2016
2016
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–8