Tomas Diaz
where else to find them
no profile links on file
what they talk about
all 6 in the filters
where they keep going back
no series more than once — all 4 in the filters
on a stage with
all 11 in the filters
who talks about the same things
- Kenji Maillard11 talks
- Nicolas Tabareau14 talks
- Éric Tanter12 talks
- Armando Solar-Lezama18 talks
- Işıl Dillig21 talks
- Matthieu Sozeau14 talks
| title | conference | date |
|---|---|---|
| Bounded Sort Polymorphism with Elimination Constraints | POPL 2026 | 2026-01-11 |
Extends sort polymorphism with elimination constraints that record which sorts may eliminate into which, implements the system in the Rocq prover, and proves… | ||
| Flexible and Expressive Typed Path Patterns for GQL | OOPSLA 2025 | 2025-10-16 |
Defines FPPC — a formal type calculus for a core GQL fragment that adds property filters and imprecise (unknown) types, and statically flags queries that are… | ||
| Incremental Certified Programming | OOPSLA 2025 | 2025-10-16 |
Claims a formal framework that makes specifications monotone over partial programs by defining a completion refinement relation and a notion of completeness… | ||
| Crowd dynamics, RL and Unity: A Journey | Strange Loop 2021 | 2021-09-30 |
Claims that reinforcement learning with a Kalman‑based reward produces usable crowd agents, implemented with PPO in Unity-ML-Agents (PyTorch) and deployed via… | ||
| GraphCoQL: A mechanized formalization of GraphQL in Coq | CPP 2020 | 2020-01-20 |
Mechanized formalization of GraphQL in Coq that defines a graph data model, implements a normalization algorithm and proves it correct and semantics-preserving… | ||
| nothing matches | ||