João Bispo
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 M. P Cardosoonce
- Tiago Carvalhoonce
- Tiago Santosonce
all 4 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| (WIP) A Flexible-Granularity Task Graph Representation and its Generation from C(…) | LCTES 2024 | 2024-06-24 |
Proposes an extended task graph built as an AST overlay and generated by a source‑to‑source compiler that normalizes C into a two‑type function form… | ||
| 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 | ||