Bach Nguyen Trong
where else to find them
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
- Kanae Tsushimaonce
- Zhenjiang Huonce
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular E... | LOPSTR 2023 | 2023-10-23 |
Designs Datalog templates that let ProIn plus Z3 synthesize paired get/put programs from one tabular example and a supplied schema with functional… | ||
| nothing matches | ||