Vojtěch Havlena
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 6 in the filters
who talks about the same things
- Lukáš Holík9 talks
- Yu-Fang Chen10 talks
- Ondřej Lengál8 talks
- David Chocholatý2 talks
- Michal Hečko2 talks
- Zhilei Han2 talks
| title | conference | date |
|---|---|---|
| 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… | ||
| Solving String Constraints with Lengths by Stabilization | OOPSLA 2023 | 2023-10-23 |
Combines a fast automata-based stabilization solver for equations+regular constraints with an align-and-split module to extract lengths, implements both in Z3… | ||
| nothing matches | ||