Mak Andrlon

Orcid: 0000-0002-5873-2699

According to our database¹, Mak Andrlon authored at least 4 papers between 2019 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2023

Finding Normal Binary Floating-Point Factors Efficiently.

[BibT_eX]

[DOI]

Mak Andrlon

J. Autom. Reason., March, 2023

2021

Finding normal binary floating-point factors in constant time.

[BibT_eX]

[DOI]

Mak Andrlon

CoRR, 2021

2019

Constraint Programming for Dynamic Symbolic Execution of JavaScript.

[BibT_eX]

[DOI]

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

Optimal Bounds for Floating-Point Addition in Constant Time.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE Symposium on Computer Arithmetic, 2019

Mak Andrlon

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...