Daniele Nantes-Sobrinho
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 9 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Compositional Symbolic Execution for the Next 700 Memory Models | OOPSLA 2025 | 2025-10-16 |
Presents a mechanized formal foundation for memory-model‑parametric compositional symbolic execution, claiming soundness for both separation logic and… | ||
| Unified Compositional Formal Methods: Exact Separation Logic and the Gi... | Incorrectness 2024 | 2024-01-17 |
Claims a single exact separation logic (ESL) that is sound for both over‑approximate verification and under‑approximate bug finding, formalizes an… | ||
| Termination in Concurrency, Revisited | PPDP 2023 | 2023-10-22 |
Compares three session-typed termination disciplines by building compositional encodings of processes and types into a Vasconcelos-style baseline, formalizing… | ||
| nothing matches | ||