Ignacio Tiraboschi

Registered user since Tue 15 Jan 2019

Name:Ignacio Tiraboschi
Country:Argentina
Affiliation:Inria, France / ENS, France
Research interests:Programming Languanges, Abstract Interpretation, Metaprogramming, Security, Formal verification

Contributions

VMCAI 2023 Sound Symbolic Execution via Abstract Interpretation and its Application to Security
Show activities from other conferences

POPL 2023-profile
View general profile