Angelica Aparecida Moreira
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 2 in the filters
on a stage with
all 7 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Kuiper: verified and efficient GPU programming | ARRAY 2025 | 2025-06-17 |
Kuiper is a verified GPU language that uses dependent types and concurrent separation logic (built on F★/Pulse) to guarantee memory safety and race freedom for… | ||
| VESPA: Static Profiling for Binary Optimization | OOPSLA 2021 | 2021-10-17 |
Claims a static profiler that replaces runtime counters in BOLT and produces measurable speedups by predicting branch probabilities via a regression DNN from… | ||
| nothing matches | ||