Publications
My complete list of publications, by subject area (plus citations, where available, so that you can track related work). Please note that some papers cross subject areas, thus appearing more than once:
Programming language design and implementation
2017
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
|
2014
2013
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
|
| 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
|
2009
| Dynamically typed languages
Laurence Tratt
Advances in Computers, vol. 77, pages 149-184, July 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
|
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
|
2005
| Compile-time meta-programming in a dynamically typed OO language
Laurence Tratt
Dynamic Languages Symposium, pages 49-64, 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
|
| 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
|
Security
2023
Parsing
2020
2019
2014
2013
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
| 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
|
Modelling
2013
2011
2010
| Theory and Practice of Model Transformations
Laurence Tratt, Martin Gogolla
Edited proceedings, Third International Conference, ICMT 2010, July 2010
|
2009
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
|
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
| 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
|
| 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
|
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
|
| 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
| 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
|
Malware detection
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
|
Search-based software engineering
2016
2012
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
|