Publications

Sort publications: chronologically, by subject area.

My complete list of publications, in reverse chronological order (plus citations, where available, so that you can track related work):

2023

Picking a CHERI Allocator: Security and Performance Considerations Jacob Bramley, Dejice Jacob, Andrei Lascu, Jeremy Singer, Laurence Tratt ISMM, June 2023

2020

Don't Panic! Better, Fewer, Syntax Errors for LR Parsers Lukas Diekmann, Laurence Tratt ECOOP, July 2020

2019

Default Disambiguation for Online Parsers Lukas Diekmann, Laurence Tratt SLE, October 2019

2017

Virtual Machine Warmup Blows Hot and Cold Edd Barrett, Carl Friedrich Bolz, Rebecca Killick, Sarah Mount, Laurence Tratt OOPSLA, October 2017
Modelling Homogeneous Generative Meta-programming Martin Berger, Laurence Tratt, Christian Urban ECOOP, June 2017

2016

Fine-grained Language Composition: A Case Study Edd Barrett, Carl Friedrich Bolz, Lukas Diekmann, Laurence Tratt ECOOP 2016, July 2016
Making an Embedded DBMS JIT-friendly Carl Friedrich Bolz, Darya Kurilova, Laurence Tratt ECOOP, July 2016
An Experimental Search-based Approach to Cohesion Metric Evaluation Mel Ó Cinnéide, Iman Hemati Moghadam, Mark Harman, Steven Counsell, Laurence Tratt Empirical Software Engineering, March 2016

2015

Evaluating and Comparing Language Workbenches Sebastian Erdweg, Tijs van der Storm, Markus Völter, Laurence Tratt, Remi Bosman, William R Cook, Albert Gerritsen, Angelo Hulshout, Steven Kelly, Alex Loh, Gabriël Konat, Pedro J Molina, Martin Palatnik, Risto Pohjonen, Eugen Schindler, Klemens Schindler, Riccardo Solmi, Vlad Vergu, Eelco Visser, Kevin van der Vlist, Guido Wachsmuth, Jimi van der Woning Computer Languages, Systems, and Structures, 44(A):24-47, August 2015
Approaches to Interpreter Composition Edd Barrett, Carl Friedrich Bolz, Laurence Tratt Computer Languages, Systems, and Structures, March 2015
Program Logics for Homogeneous Generative Run-Time Meta-Programming Martin Berger, Laurence Tratt Logical Methods in Computer Science, 11(1:5), March 2015
The Impact of Meta-tracing on VM Design and Implementation Carl Friedrich Bolz, Laurence Tratt Science of Computer Programming, 98(3):408-421, February 2015

2014

Eco: A Language Composition Editor Lukas Diekmann, Laurence Tratt Software Language Engineering (SLE), pages 82-101, September 2014

2013

Detecting Ambiguity in Programming Language Grammars Laurence Tratt, Naveneetha Vasudevan Software Language Engineering (SLE), pages 157-176, October 2013
Storage Strategies for Collections in Dynamically Typed Languages Carl Friedrich Bolz, Lukas Diekmann, Laurence Tratt Object-Oriented Programming, Systems, Languages & Applications (OOPSLA), pages 167-182, October 2013
Unipycation: A Case Study in Cross-language Tracing Edd Barrett, Carl Friedrich Bolz, Laurence Tratt Virtual Machines and Intermediate Languages (VMIL), October 2013
State-based model slicing: a survey Kelly Androutsopoulos, David Clark, Mark Harman, Jens Krinke, Laurence Tratt ACM Surveys, 45(4), August 2013
Amorphous Slicing of Extended Finite State Machines Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li, Laurence Tratt IEEE Transactions on Software Engineering (TSE), 39(7):892-909, July 2013
Parsing Composed Grammars with Language Boxes Lukas Diekmann, Laurence Tratt Scalable Language Specification (SLS), June 2013

2012

Experimental assessment of software metrics using automated refactoring Mel Ó Cinnéide, Laurence Tratt, Mark Harman, Steven Counsell, Iman Hemati Moghadam Empirical Software Engineering and Management (ESEM), pages 49-58, September 2012
Search-Based ambiguity detection in context-free grammars Naveneetha Vasudevan, Laurence Tratt Imperial College Computing Student Workshop (ICCSW), pages 142-148, September 2012

2011

ICMT 2010 special section Laurence Tratt, Martin Gogolla Journal of Object Technology, 10, July 2011
Parsing: the solved problem that isn't Laurence Tratt Hacker Monthly, issue 13, pages 37-42, June 2011

2010

Direct left-recursive parsing expression grammars Laurence Tratt Technical report EIS-10-01, School of Engineering and Information Sciences, Middlesex University, October 2010
Experiences with an Icon-like expression evaluation system Laurence Tratt Dynamic Languages Symposium, pages 73-80, October 2010
Formalizing homogeneous language embeddings Tony Clark, Laurence Tratt Language Descriptions Tools and Applications (LDTA) 2009, ENTCS vol. 253, issue 7, pages 75-88, September 2010
Theory and Practice of Model Transformations Laurence Tratt, Martin Gogolla Edited proceedings, Third International Conference, ICMT 2010, July 2010
Program logics for homogeneous meta-programming Martin Berger, Laurence Tratt International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR), pages 64-81, May 2010
Comparative study of DSL tools Naveneetha Vasudevan, Laurence Tratt Workshop on Generative Technologies, ENTCS vol. 264, issue 5, pages 103-121, March 2010
Semantic malware detection Khalid Alzarouni, David Clark, Laurence Tratt Technical report TR-10-03, Department of Computer Science, King's College London, February 2010

2009

Language factories Tony Clark, Laurence Tratt Onward!, pages 949-955, October 2009
A theoretical and empirical study of EFSM dependence Kelly Androutsopoulos, Nicolas Gold, Mark Harman, Zheng Li, Laurence Tratt International Conference on Software Maintenance (ICSM), pages 287-296, September 2009
Dynamically typed languages Laurence Tratt Advances in Computers, vol. 77, pages 149-184, July 2009
Control dependence for extended finite state machines Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li, Laurence Tratt Fundamental Approaches to Software Engineering (FASE), pages 216-230, March 2009

2008

Evolving a DSL implementation Laurence Tratt Generative and Transformational Techniques in Software Engineering (GTTSE) II, LNCS vol. 5235, pages 425-441, December 2008
Domain specific language implementation via compile-time meta-programming Laurence Tratt ACM Transactions on Programming Languages and Systems (TOPLAS), 30(6):1-40, October 2008
A change propagating model transformation language Laurence Tratt Journal of Object Technology, 7(3):107-126, March 2008

2007

Model transformations in MT Laurence Tratt Science of Computer Programming, 68(3):169-186, October 2007
Guest editors' introduction: dynamically typed languages Laurence Tratt, Roel Wuyts IEEE Software, 24(5):28-30, September 2007
Contrasting compile-time meta-programming in Metalua and Converge Fabien Fleutot, Laurence Tratt Workshop on Dynamic Languages and Applications, July 2007
Pareto optimal search based refactoring at the design level Mark Harman, Laurence Tratt Genetic and Evolutionary Computation Conference (GECCO), pages 1106-1113, July 2007

2006

A change propagating model transformation language Laurence Tratt Technical report TR-06-07, Department of Computer Science, King's College London, August 2006
The MT model transformation language Laurence Tratt ACM Symposium on Applied Computing, pages 1296-1303, April 2006

2005

Compile-time meta-programming in a dynamically typed OO language Laurence Tratt Dynamic Languages Symposium, pages 49-64, October 2005
Model transformations in practice workshop Jean Bezivin, Bernhard Rumpe, Andy Schürr, Laurence Tratt Satellite Events at the MoDELS 2005 Conference, LNCS vol. 3844, pages 120-127, October 2005
MOF QVT final adopted specification Wim Bast, Mariano Belaunde, Xavier Blanc, Keith Duddy, Catherine Griffin, Simon Helsen, Michael Lawley, Michael Murphree, Sreedhar Reddy, Shane Sendall, Jim Steel, Laurence Tratt, R. Venkatesh, Didier Vojtisek OMG document ptc/05-11-01, October 2005
An extensible dynamically typed object orientated language with an application to model transformations Laurence Tratt PhD thesis, King's College London, August 2005
Model transformations and tool integration Laurence Tratt Journal of Software and Systems Modelling, 4(2):112-122, May 2005
The MT model transformation language Laurence Tratt Technical report TR-05-02, Department of Computer Science, King's College London, May 2005
The Converge programming language Laurence Tratt Technical report TR-05-01, Department of Computer Science, King's College London, February 2005

2004

Compile-time meta-programming in Converge Laurence Tratt Technical report TR-04-11, Department of Computer Science, King's College London, December 2004

2003

Issues surrounding model consistency and QVT Laurence Tratt, Tony Clark Technical report TR-03-08, Department of Computer Science, King's College London, December 2003
A Pattern based model driven approach to model transformations Biju K. Appukuttan, Tony Clark, Sreedhar Reddy, Laurence Tratt, R. Venkatesh Metamodelling for MDA 2003, pages 110-128, November 2003
A model driven approach to building implementable model transformations Biju K. Appukuttan, Tony Clark, Sreedhar Reddy, Laurence Tratt, R. Venkatesh Presented at WiSME 2003, October 2003
Model transformations in Converge Laurence Tratt, Tony Clark Presented at WiSME 2003, October 2003
QVT-Partners revised submission to MOF 2.0 Query/View/Transformations RFP Biju K. Appukuttan, Tony Clark, Andy Evans, Girish Maskeri, Sreedhar Reddy, Paul Sammut, Laurence Tratt, R. Venkatesh, James S. Willans OMG Document ad/03-08-08, August 2003
A model driven approach to model transformations Biju K. Appukuttan, Tony Clark, Sreedhar Reddy, Laurence Tratt, R. Venkatesh Model Driven Architecture: Foundations and Applications 2003, pages 7-18, June 2003
Initial submission to MOF 2.0 Query/View/Transformations RFP Biju K. Appukuttan, Tony Clark, Andy Evans, Girish Maskeri, Sreedhar Reddy, Paul Sammut, Laurence Tratt, R. Venkatesh, James S. Willans OMG Document ad/03-03-27, March 2003

2002

Enhancing the template mechanism Laurence Tratt, Tony Clark Presented at WiSME 2002, October 2002
Unambiguous UML submission to UML 2 Infrastructure RFP Biju K. Appukuttan, Tony Clark, Andy Evans, Stuart Kent, Girish Maskeri, Paul Sammut, Laurence Tratt, James S. Willans OMG Document ad/2002-06-14, September 2002
Modelling generalization and other class-to-parent relationships Laurence Tratt, Tony Clark, Andy Evans Technical report TR-02-05, Department of Computer Science, King's College London, July 2002
A pattern based approach to defining the dynamic infrastructure of UML 2.0 Biju K. Appukuttan, Tony Clark, Andy Evans, Girish Maskeri, Paul Sammut, Laurence Tratt, James S. Willans Fourth workshop on Rigorous Object Oriented Methods (ROOM), March 2002