Mak Andrlon

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 4

Top Topics

Constraint Solver

Instruction Set

Sparse Matrices

Top Venues

J. Autom. Reason.

Publications

Mak Andrlon
Finding Normal Binary Floating-Point Factors Efficiently. J. Autom. Reason. 67 (1) (2023)
Mak Andrlon
Finding normal binary floating-point factors in constant time. CoRR (2021)
Roberto Amadini, Mak Andrlon, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Constraint Programming for Dynamic Symbolic Execution of JavaScript. CPAIOR (2019)
Mak Andrlon, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Optimal Bounds for Floating-Point Addition in Constant Time. ARITH (2019)