Robert Schenck
where else to find them
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 9 in the filters
who talks about the same things
- Martin Elsman16 talks
- Klaus von Gleissenthall5 talks
- Robin Webbers2 talks
- Michel Steuwer17 talks
- Troels Henriksen16 talks
- Zachary Kincaid9 talks
| title | conference | date |
|---|---|---|
| Pantomime: Constructive Leakage Proofs via Simulation | PLDI 2026 | 2026-06-15 |
Claims a constructive alternative to non-interference: build a simulator circuit that reproduces all attacker-observable timing using only the censored secret… | ||
| AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming | OOPSLA 2024 | 2024-10-20 |
Automatic insertion of maps and replicates makes rank-polymorphic calls type-check by encoding per-application rank choices as integer variables and solving a… | ||
| Mechanical Proofs in an Array-Combinator Language | ARRAY 2024 | 2024-06-25 |
Prototype system converts functional data parallel programs into index functions that map indices to values and generates algebraic queries proving properties… | ||
| AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming | ARRAY 2024 | 2024-06-25 |
Automatic insertion of map/rep annotations reduces array boilerplate by encoding rank differences as constraints, linearizing them into integer linear… | ||
| nothing matches | ||