Michal Hečko
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
all 7 in the filters
who talks about the same things
- Yu-Fang Chen10 talks
- Jyun-Ao Lin5 talks
- Ondřej Lengál8 talks
- Lukáš Holík9 talks
- Oded Padon11 talks
- Wei-Lun Tsai6 talks
| title | conference | date |
|---|---|---|
| Parameterized Verification of Quantum Circuits | POPL 2026 | 2026-01-11 |
Presents a fully automatic framework that verifies relational properties of size‑parameterized quantum programs by modeling infinite families of quantum states… | ||
| A Uniform Framework for Handling Position Constraints in String Solving | PLDI 2025 | 2025-06-16 |
Introduces a decision procedure that avoids encoding to word equations and instead reduces position constraints to integer constraints extracted from the… | ||
| nothing matches | ||