Laura Titolo

Registered user since Mon 27 Nov 2017

Name: Laura Titolo

Country: Italy

Affiliation: National Institute of Aerospace, USA

Personal website:

Research interests: Abstract Interpretation, Static Analysis, Formal Methods


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

POPL 2018-profile
View general profile