Yu Gu
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
- Hiroshi Unno2×
- Chungkuk Yooonce
- Eric Koskinenonce
all 8 in the filters
who talks about the same things
- Hiroshi Unno18 talks
- Takeshi Tsukada16 talks
- Tachio Terauchi4 talks
- Sharon Shoham13 talks
- Eric Koskinen13 talks
- Oded Padon11 talks
| title | conference | date |
|---|---|---|
| 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… | ||
| Optimal CHC Solving via Termination Proofs | POPL 2023 | 2023-01-15 |
Presents a new optimality checker that reduces CHC maximality to program termination, encodes termination-argument synthesis (angelic strategy and… | ||
| SymmetriSense: Enabling Near-Surface Interactivity on Glossy Surfaces using a Single Commodity ... | CHI 2016 | 2016-05-07 |
SymmetriSense localizes a fingertip in 3D above glossy surfaces using only a single commodity smartphone (Galaxy S5) and mirror reflection geometry, not extra… | ||
| nothing matches | ||