Ignacio Tiraboschi -

Registered user since Tue 15 Jan 2019

Name:Ignacio Tiraboschi

Country:Argentina

Affiliation:Inria, France / ENS, France

GitHub: https://github.com/ignatirabo

Research interests:Programming Languanges, Abstract Interpretation, Metaprogramming, Security, Formal verification

Contributions

2023

VMCAI

Author of Sound Symbolic Execution via Abstract Interpretation and its Application to Security within the VMCAI 2023-track

2020

TyDe

Author of Generalization of Meta-Programs with Dependent Types in Mtac2 with Mtac2 (Extended Abstract) within the TyDe 2020-track