Jon M. Aytac
where else to find them
no profile links on file
what they talk about
where they keep going back
- LAFI2 editions2024–2025
on a stage with
- Amal Ahmedonce
- Anthony D'Arienzoonce
- Blake C. Rawlingsonce
all 12 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Reasoning About Sampling Without Sampling: Atomic Machines for Contextual Equivalence(…) | LAFI 2025 | 2025-01-19 |
Claims an abstract-machine semantics for probabilistic programs that treats sampling as deterministic up to atomic equivalence, using atomic sheaf / forcing… | ||
| Towards a Categorical Model of the Lilac Separation Logic | LAFI 2024 | 2024-01-14 |
Constructs two categories—a probabilistic “sheaf/topos–style” category and a nominal-style category—and proves they are equivalent, so Lilac’s independent… | ||
| Q: A Sound Verification Framework for Statecharts and Their Implementations | FTSCS 2022 | 2022-12-07 |
The Q Framework compiles Stateflow-style statecharts into SMV and generates ACSL contracts for a constrained C subset, proving a refinement relation between… | ||
| nothing matches | ||