Wen Kokke
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 11 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Compiling higher-order specifications to SMT solvers: how to deal with rejection ... | CPP 2023 | 2023-01-16 |
Claims a verified pipeline that compiles higher-order Vehicle specifications to SMT while giving pinpointed rejections, implemented for Marabou-style backends… | ||
| Featherweight Go | OOPSLA 2020 | 2020-11-15 |
Defines a minimal core language Featherweight Go (FG) and its generic extension Featherweight Generic Go (FGG), proves a semantics-by-translation claim that… | ||
| nothing matches | ||