Follow
Ignacio Tiraboschi
Ignacio Tiraboschi
PhD Student, ENS Paris - INRIA
Verified email at inria.fr
Title
Cited by
Cited by
Year
Sound symbolic execution via abstract interpretation and its application to security
I Tiraboschi, T Rezk, X Rival
International Conference on Verification, Model Checking, and Abstract …, 2023
22023
Generalización de meta-programas con tipado dependiente en Mtac2
I Tiraboschi
FAMAF, UNC, 2020
2020
Generalization of Meta-Programs with Dependent Types in Mtac2 with Mtac2
I Tiraboschi, JO Kaiser, B Ziliani
Workshop on Type-driven Development (TyDe), 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–3