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 | 60 | 2017 |
Approaches to interpreter composition E Barrett, CF Bolz, L Tratt Computer Languages, Systems & Structures 44, 199-217, 2015 | 23 | 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 | 20 | 2013 |
Range and set abstraction using SAT E Barrett, A King Electronic Notes in Theoretical Computer Science 267 (1), 17-27, 2010 | 19 | 2010 |
Fine-grained language composition: A case study E Barrett, CF Bolz, L Diekmann, L Tratt arXiv preprint arXiv:1503.08623, 2015 | 11 | 2015 |
Range analysis of binaries with minimal effort E Barrett, A King International Workshop on Formal Methods for Industrial Critical Systems, 93-107, 2012 | 3 | 2012 |
Fine-grained language composition E Barrett, L Diekmann, L Tratt CoRR, abs/1503.08623, 2015 | 2 | 2015 |
Fine-grained Language Composition: A Case Study (Artifact) E Barrett, CF Bolz, L Diekmann, L Tratt DARTS-Dagstuhl Artifacts Series 2, 2016 | | 2016 |