Martin Mariusz Lester

14 papers A 1C 2Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2025 C conf
Fault Robustness and Lightweight Error Correction for Low-Precision Posit Neural Networks in Safety-Critical Systems.
ICMLA
Suleiman Junaidu Sadiq, Martin Mariusz Lester
2024 C conf
Cutting the Cake into Crumbs: Verifying Envy-Free Cake-Cutting Protocols Using Bounded Integer Arithmetic.
PADL
Martin Mariusz Lester
2024 J jnl
Which algorithm to select in sports timetabling?
Eur. J. Oper. Res.
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
2023 — conf
CoPTIC: Constraint Programming Translated Into C.
TACAS (2)
Martin Mariusz Lester
2023 J jnl
Which algorithm to select in sports timetabling?
CoRR
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
2022 J jnl
Pseudo-Boolean optimisation for RobinX sports timetabling.
J. Sched.
Martin Mariusz Lester
2021 A conf
Scheduling Reach Mahjong Tournaments Using Pseudoboolean Constraints.
SAT
Martin Mariusz Lester
2020 J jnl
Analysis of MiniJava Programs via Translation to ML.
CoRR
Martin Mariusz Lester
2020 — conf
ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive Fiction Games.
TAP@STAF
Martin Mariusz Lester
2020 J jnl
Solving Interactive Fiction Games via Partial Evaluation and Bounded Model Checking.
CoRR
Martin Mariusz Lester
2019 — conf
Analysis of MiniJava programs via translation to ML.
FTfJP@ECOOP
Martin Mariusz Lester
2016 J jnl
Information flow analysis for a dynamically typed language with staged metaprogramming.
J. Comput. Secur.
Martin Mariusz Lester, Luke Ong, Max Schäfer
2015 — —
Verifying information flow and metaprogramming in dynamically typed languages.
Martin Mariusz Lester
2013 — conf
Position paper: the science of boxing.
PLAS
Martin Mariusz Lester