Position paper: the science of boxing. - Martin Mariusz Lester (PLAS, 2013)

Information Flow Analysis for a Dynamically Typed Functional Language with Staged Metaprogramming - Martin Lester 001; C.-H. Luke Ong; Max Schäfer (CoRR, 2013)

Control Flow Analysis for SF Combinator Calculus. - Martin Lester 001 (VPT@ETAPS, 2015)

Verifying information flow and metaprogramming in dynamically typed languages. - Martin Mariusz Lester (2015)

Information flow analysis for a dynamically typed language with staged metaprogramming. - Martin Mariusz Lester; Luke Ong; Max Schäfer (J. Comput. Secur., 2016)

Analysis of MiniJava programs via translation to ML. - Martin Mariusz Lester (FTfJP@ECOOP, 2019)

Understanding the Expressive Power of Unhygienic Substitution in Metaprogramming via Combinatory Logic. - Martin Lester 001 (CoRR, 2019)

ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive Fiction Games. - Martin Mariusz Lester (TAP@STAF, 2020)

Verifying Liveness Properties of ML Programs. - Martin Lester 001; Robin P. Neatherway; C.-H. Luke Ong; Steven J. Ramsay (CoRR, 2020)

What can a 1980s BASIC programming textbook teach us today? - Martin Lester 001 (CoRR, 2020)

Solving Interactive Fiction Games via Partial Evaluation and Bounded Model Checking. - Martin Mariusz Lester (CoRR, 2020)

Scheduling Reach Mahjong Tournaments Using Pseudoboolean Constraints. - Martin Mariusz Lester (SAT, 2021)

Pseudo-Boolean optimisation for RobinX sports timetabling. - Martin Mariusz Lester (J. Sched., 2022)

CoPTIC: Constraint Programming Translated Into C. - Martin Mariusz Lester (TACAS (2), 2023)

Learning a Strategy for Preference Elicitation in Conversational Recommender Systems. - Aleksandra Makarova; Muhammad Shahzad; Xia Hong 001; Martin Lester 001 (IJCNN, 2024)

Cutting the Cake into Crumbs: Verifying Envy-Free Cake-Cutting Protocols Using Bounded Integer Arithmetic. - Martin Mariusz Lester (PADL, 2024)

Which algorithm to select in sports timetabling? - David Van Bulck; Dries R. Goossens; Jan-Patrick Clarner; Angelos Dimitsas; George H. G. Fonseca; Carlos Lamas-Fernandez; Martin Mariusz Lester; Jaap Pedersen; Antony E. Phillips; Roberto Maria Rosati (Eur. J. Oper. Res., 2024)