Martin Lester

According to our database, Martin Lester authored at least 16 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Cutting the Cake into Crumbs: Verifying Envy-Free Cake-Cutting Protocols Using Bounded Integer Arithmetic.

Martin Mariusz Lester

Proceedings of the Practical Aspects of Declarative Languages, 2024

2023

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

CoRR, 2023

CoPTIC: Constraint Programming Translated Into C.

Martin Mariusz Lester

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2022

Pseudo-Boolean optimisation for RobinX sports timetabling.

Martin Mariusz Lester

J. Sched., 2022

2021

Scheduling Reach Mahjong Tournaments Using Pseudoboolean Constraints.

Martin Mariusz Lester

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

2020

Solving Interactive Fiction Games via Partial Evaluation and Bounded Model Checking.

Martin Mariusz Lester

CoRR, 2020

What can a 1980s BASIC programming textbook teach us today?

Martin Lester

CoRR, 2020

Verifying Liveness Properties of ML Programs.

Martin Lester, Robin P. Neatherway, C.-H. Luke Ong, Steven J. Ramsay

CoRR, 2020

ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive Fiction Games.

Martin Mariusz Lester

Proceedings of the Tests and Proofs - 14th International Conference, 2020

2019

Understanding the Expressive Power of Unhygienic Substitution in Metaprogramming via Combinatory Logic.

Martin Lester

CoRR, 2019

Analysis of MiniJava programs via translation to ML.

Martin Mariusz Lester

Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs, 2019

2016

Information flow analysis for a dynamically typed language with staged metaprogramming.

Martin Mariusz Lester, Luke Ong, Max Schäfer

J. Comput. Secur., 2016

2015

Verifying information flow and metaprogramming in dynamically typed languages.

Martin Mariusz Lester

PhD thesis, 2015

Control Flow Analysis for SF Combinator Calculus.

Martin Lester

Proceedings of the Third International Workshop on Verification and Program Transformation, 2015

2013

Information Flow Analysis for a Dynamically Typed Functional Language with Staged Metaprogramming

Martin Lester, C.-H. Luke Ong, Max Schäfer

CoRR, 2013

Position paper: the science of boxing.

Martin Mariusz Lester

Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, 2013