Philipp Rümmer
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
- Amanda Stjernaonce
- Chencheng Liangonce
- Fabian Franz Dießlonce
all 12 in the filters
who talks about the same things
- Amanda Stjerna3 talks
- Lukáš Holík9 talks
- Matthew Hague3 talks
- Ondřej Lengál8 talks
- Anthony W. Lin8 talks
- Yu-Fang Chen10 talks
| title | conference | date |
|---|---|---|
| Verification of E-Voting Algorithms in Dafny | Dafny 2026 | 2026-01-11 |
A verified open-source library implements Score Voting, Instant-Runoff Voting, Borda Count, and Single Transferable Vote in Dafny, with 2,385 lines of code —… | ||
| A Constraint Solving Approach to Parikh Images of Regular Languages | OOPSLA 2024 | 2024-10-20 |
Presents a constraint-solving reframing of Parikh-image extraction: build PC calculus and a standalone tool Catra tool* that ties to the Princess SMT engine… | ||
| Boosting Constrained Horn Solving by Unsat Core Learning | VMCAI 2024 | 2024-01-15 |
Built a relational hyper‑graph neural network called R-HyGNN and a framework MUSHyperNet that predicts Minimal Unsatisfiable Subsets (MUSes) of Constrained… | ||
| nothing matches | ||