Registered user since Mon 27 Nov 2017

Name: Laura Titolo

Country: Italy

Affiliation: National Institute of Aerospace, USA

Personal website: http://users.dimi.uniud.it/~laura.titolo/Laura/Home_Page.html

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