Ignacio Tiraboschi
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Beta Zilianionce
- Jan-Oliver Kaiseronce
- Tamara Rezkonce
all 5 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Sound Symbolic Execution via Abstract Interpretation and its Application to Sec... | VMCAI 2023 | 2023-01-15 |
Combines symbolic execution with abstract interpretation to get sound proofs plus bounded counterexample pairs, claiming a formally proven analyzer called… | ||
| Generalization of meta programs with dependent types in mtac2 with mtac2 | TyDe 2020 | 2020-08-23 |
Presents a concrete tool that automatically transforms meta-functions to expose dependent arguments: lift analyzes a function’s signature (via a ty tree) and… | ||
| nothing matches | ||