Marc Andrysco

According to our database, Marc Andrysco authored at least 4 papers between 2015 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Towards Verified, Constant-Time Floating-Point Operations.

Marc Andrysco

PhD thesis, 2019

2018

Towards Verified, Constant-time Floating Point Operations.

Marc Andrysco, Andres Nötzli, Fraser Brown, Ranjit Jhala, Deian Stefan

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2016

Printing floating-point numbers: a faster, always correct method.

Marc Andrysco, Ranjit Jhala, Sorin Lerner

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2015

On Subnormal Floating Point and Abnormal Timing.

Marc Andrysco, David Kohlbrenner, Keaton Mowery, Ranjit Jhala, Sorin Lerner, Hovav Shacham

Proceedings of the 2015 IEEE Symposium on Security and Privacy, 2015