Marc Andrysco
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2015–2018
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | CCS | Towards Verified, Constant-time Floating Point Operations. | Marc Andrysco, Andres Ntzli, Fraser Brown, Ranjit Jhala, Deian Stefan |
| 2016 | POPL | Printing floating-point numbers: a faster, always correct method. | Marc Andrysco, Ranjit Jhala, Sorin Lerner |
| 2015 | SP | On Subnormal Floating Point and Abnormal Timing. | Marc Andrysco, David Kohlbrenner, Keaton Mowery, Ranjit Jhala, Sorin Lerner, Hovav Shacham |