Optimal Bounds for Floating-Point Addition in Constant Time. - Mak Andrlon; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (ARITH, 2019)

Constraint Programming for Dynamic Symbolic Execution of JavaScript. - Roberto Amadini; Mak Andrlon; Graeme Gange; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (CPAIOR, 2019)

Finding normal binary floating-point factors in constant time. - Mak Andrlon (CoRR, 2021)

Efficient interval reasoning for floating-point arithmetic. - Mak Andrlon (2023)

Finding Normal Binary Floating-Point Factors Efficiently. - Mak Andrlon (J. Autom. Reason., 2023)