Tomáš Vojnar
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
- Adam Rogalewiczonce
- Christian Wimmeronce
- Codrut Stancuonce
all 12 in the filters
who talks about the same things
- Olli Saarikivi3 talks
- Margus Veanes6 talks
- Lukáš Holík9 talks
- Ondřej Lengál8 talks
- Anthony W. Lin8 talks
- Matthew Hague3 talks
| title | conference | date |
|---|---|---|
| Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration(…) | TPSA 2025 | 2025-01-19 |
Introduces Shared Abduction that maintains one shared precondition across multiple current states so biabduction discovers a single sound precondition for… | ||
| Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image | MPLR 2023 | 2023-10-22 |
GraalVM Native Image replaces heavyweight points-to analysis with a prototype parallel, incremental RTA that integrates heap snapshotting and uses serialized… | ||
| Regex Matching with Counting-Set Automata | OOPSLA 2020 | 2020-11-15 |
Paper builds a counting-set automata implementation (a CA prototype in Microsoft’s automata library) that determinises regexes with counters without exploding… | ||
| nothing matches | ||