![Laura Titolo](https://pldi20.sigplan.org/getProfileImage/lauratitolo/81d7545c-c2eb-42ad-8b26-709fb15c596b/small.jpg?1711472526000)
Registered user since Mon 27 Nov 2017
Name:Laura Titolo
Country:United States
Affiliation:NIA/NASA LaRC
Personal website: https://lauratitolo.github.io/
Research interests:Abstract Interpretation, Static Analysis, Formal Methods
Contributions
PLDI 2020-profile
View general profile
View general profile