Follow
Mak Andrlon
Mak Andrlon
School of Computing and Information Systems, The University of Melbourne
Verified email at student.unimelb.edu.au
Title
Cited by
Cited by
Year
Constraint programming for dynamic symbolic execution of JavaScript
R Amadini, M Andrlon, G Gange, P Schachte, H Søndergaard, PJ Stuckey
Integration of Constraint Programming, Artificial Intelligence, and …, 2019
162019
Optimal Bounds for Floating-Point Addition in Constant Time
M Andrlon, P Schachte, H Søndergaard, PJ Stuckey
2019 IEEE 26th Symposium on Computer Arithmetic (ARITH), 159-166, 2019
12019
Finding Normal Binary Floating-Point Factors Efficiently
M Andrlon
Journal of Automated Reasoning 67 (1), 11, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–3