Vasileios Koutavas
where else to find them
what they talk about
their talks carry no tags yet
where they keep going back
no series more than once — all 2 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Fully Abstract Normal Form Bisimulation for Call-by-Value PCF | GALOP 2024 | 2024-01-14 |
Presents the first fully abstract normal form bisimulation for call-by-value PCF, built from an LTS that mixes applicative, environmental and game-semantic… | ||
| Hobbit: A Tool for Contextual Equivalence Checking Using Bisimulation Up-to Techniques | ML 2021 | 2021-08-26 |
Hobbit is a bounded model checker that verifies contextual equivalence for higher-order programs with local state by combining symbolic environmental… | ||
| nothing matches | ||