Naoki Iwayama
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
all 4 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| A New Refinement Type System for Automated nu-HFLZ Validity Checkin | SPLASH 2022 | 2022-12-05 |
A refinement type system targets validity checking for a fragment of vHFLZ (no least fixpoints) and produces template-based constraints that are solved to… | ||
| Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking | SAS 2020 | 2020-11-18 |
Proposes an algorithm that combines νHFL(ℤ) predicate abstraction with predicate abstraction and CEGAR to decide higher‑order CHC/νHFL(ℤ) validity, implements… | ||
| nothing matches | ||