Registered user since Mon 27 Nov 2017

Name: Laura Titolo

Country: Italy

Affiliation: National Institute of Aerospace, USA

Personal website: https://lauratitolo.github.io/

Research interests: Abstract Interpretation, Static Analysis, Formal Methods

Contributions

VMCAI 2018Author of An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs within the VMCAI 2018-track
Show activities from other conferences

POPL 2018-profile
View general profile