Research output per year
Research output per year
Personal profile
Research interests
Programming language design and implementation and Domain specific languages.
Research interests (short)
Programming language design and implementation and domain specific languages.
Fingerprint
Dive into the research topics where Laurence Tratt is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
The Impact of Meta-Tracing on VM Design and Implementation
Bolz, C. F. & Tratt, L., 1 Feb 2015, In: SCIENCE OF COMPUTER PROGRAMMING. 98, 3, p. 408-421 14 p.Research output: Contribution to journal › Article › peer-review
27 Citations (Scopus) -
Domain specific language implementation via compile-time meta-programming
Tratt, L., Oct 2008, In: ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS. 30, 6, 31.Research output: Contribution to journal › Article › peer-review
74 Citations (Scopus) -
Dynamically Typed Languages
Tratt, L., 1 Jan 2009, Advances in Computers. Vol. 77. p. 149-184 36 p.Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution
42 Citations (Scopus) -
Program logics for homogeneous meta-programming
Berger, M. & Tratt, L., 2010, Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference. Clarke, EM. & Voronkov, A. (eds.). BERLIN: Springer, Vol. 6355. p. 64-81 18 p. (Lecture Notes in Computer Science; vol. 6355).Research output: Chapter in Book/Report/Conference proceeding › Chapter
10 Citations (Scopus) -
Picking a CHERI Allocator: Security and Performance Considerations
Bramley, J., Jacob, D., Lascu, A., Singer, J. & Tratt, L., 6 Jun 2023, In: International Symposium on Memory Management, ISMM. p. 111-123 13 p.Research output: Contribution to journal › Conference paper › peer-review
Open Access
-
Open-source release of "hardware tracing" software
EPSRC Engineering and Physical Sciences Research Council
1/07/2023 → 30/06/2024
Project: Research
-
-
-
CapableVMs
EPSRC Engineering and Physical Sciences Research Council
13/07/2020 → 27/02/2025
Project: Research
-