Tiago Carvalho
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
- João Bispoonce
- Tiago Silvaonce
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| Foundations for a Rust-Like Borrow Checker for C | LCTES 2024 | 2024-06-24 |
Claim: Rust's MIR borrow checker is replicated for C by normalizing C, building a MIR-like CFG, and running a lifetime/ownership analysis that flags… | ||
| nothing matches | ||