Kanae Tsushima
where else to find them
what they talk about
where they keep going back
no series more than once — all 4 in the filters
on a stage with
- Bach Nguyen Trongonce
- Francisco Ribeiroonce
- João Saraivaonce
all 8 in the filters
who talks about the same things
nobody close enough yet
| 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… | ||
| GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models... | SLE 2023 | 2023-10-23 |
Uses GPT-3 to generate OCaml repairs by building rich prompts from source-code analysis (candidate locations via a magic function, inlining, and type… | ||
| Towards Type Debugging using Partial Evaluation | PEPM 2023 | 2023-01-16 |
Method executes ill-typed programs by freeze likely-error sites using compiler type-inferencer error reports, then iteratively reduce frozen regions with type… | ||
| Introduction of PROLEG (PROlog-based LEGal reasoning support system) | Programming Languages and the Law 2022 (ProLaLa 2022) | 2022-01-16 |
PROLEG is a Prolog-based legal reasoning system that encodes the Japanese Presupposed Ultimate Fact theory and runs rule-based judgment and subsumption… | ||
| nothing matches | ||