Cristina David
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
- PROPL2 editions2024–2025
on a stage with
all 11 in the filters
who talks about the same things
- Daniel Kroening2 talks
- Meng Wang16 talks
- Zhenjiang Hu15 talks
- Kazutaka Matsuda3 talks
- Xiaokun Luan2 talks
- Vu Le9 talks
| title | conference | date |
|---|---|---|
| Authoring Tools for Transparent Climate Reporting | PROPL 2025 | 2025-10-13 |
Built a prototype called Fluid transparent programming language that tracks data flow to make charts and supporting text queryable and provenance-visible… | ||
| Scalable, Validated Code Translation of Entire Projects using Large Language Models | PLDI 2025 | 2025-06-16 |
An LLM-based pipeline translates whole Go repositories to Rust by partitioning code into functions/types, prompting with predefined feature mapping rules (e.g… | ||
| Fluid: towards transparent, self-explanatory research outputs | PROPL 2024 | 2024-01-20 |
Fluid implements a bidirectional dynamic dependency analysis in an untyped functional language runtime that emits a dynamic dependence graph alongside results… | ||
| Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches | OOPSLA 2021 | 2021-10-17 |
Synbit synthesizes well behaved bidirectional programs in HOBiT from a unidirectional get plus a few I/O examples by converting get into a partial sketch… | ||
| nothing matches | ||