Kento Tanahashi
where else to find them
no profile links on file
what they talk about
their talks carry no tags yet
where they keep going back
no series more than once — all 1 in the filters
on a stage with
- Naoki Kobayashionce
- Ryosuke Satoonce
- Takeshi Tsukadaonce
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| HFL(Z) Validity Checking for Automated Program Verification | POPL 2023 | 2023-01-15 |
Proposes an automated validity checker for HFL(Z) formulas that encodes higher-order program verification (termination, nontermination, fair variants… | ||
| nothing matches | ||