Sandro Stucki
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 3 in the filters
on a stage with
- Amir Shaikhhaonce
- Bor-Yuh Evan Changonce
- Christoph E. Kochonce
all 14 in the filters
who talks about the same things
- Olivier Blanvillain2 talks
- Steve Zdancewic19 talks
- Michael Carbin14 talks
- Pascal Weisenburger11 talks
- Fengyun Liu4 talks
- Aggelos Biboudis3 talks
| title | conference | date |
|---|---|---|
| Yin-Yang: Concealing the Deep Embedding of DSLs (Most Influential Paper) | GPCE 2024 | 2024-10-21 |
Framework automatically translates user-friendly shallow EDSL programs to fast deep EDSLs using Scala macros and a type-translation scheme that guarantees… | ||
| Lifting On-Demand Analysis to Higher-Order Languages | SAS 2023 | 2023-10-22 |
Claims an on-demand algorithm that bootstraps call graph construction by interleaving two on-demand data‑flow queries, formalizes the method as an… | ||
| Reconciling Shannon and Scott with a Lattice of Computable Information | POPL 2023 | 2023-01-15 |
Introduces a concrete construction called the Lattice of Computable Information whose elements are complete preorders (equivalence classes ordered by… | ||
| nothing matches | ||