Tachio Terauchi
where else to find them
what they talk about
where they keep going back
- POPL2 editions2023–2024
on a stage with
- Hiroshi Unno2×
- Eric Koskinenonce
- Fuga Kawamataonce
all 6 in the filters
who talks about the same things
- Hiroshi Unno18 talks
- Taro Sekiyama12 talks
- Takeshi Tsukada16 talks
- Eric Koskinen13 talks
- Naoki Kobayashi17 talks
- Ryosuke Sato10 talks
| title | conference | date |
|---|---|---|
| Answer Refinement Modification: Refinement Type System for Algebraic Effects and... | POPL 2024 | 2024-01-14 |
Proposes a refinement type system that tracks how delimited-continuation effects change return types via answer refinement modification, formalizes ATM/ARM… | ||
| Repairing Regular Expressions for Extraction | PLDI 2023 | 2023-06-17 |
A tool called R3 implements the first PBE-based synthesis and repair for extraction, supporting real-world extensions like backreferences and lookarounds. It… | ||
| Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification | POPL 2023 | 2023-01-15 |
Reduces μCLP validity to a predicate-constraint problem and leverages an existing solver to give a sound and relatively-complete decision method, then improves… | ||
| nothing matches | ||