Olli Saarikivi
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
- Margus Veanes2×
- Aashaka Shahonce
- Dan Moseleyonce
all 19 in the filters
who talks about the same things
- Margus Veanes6 talks
- Tomáš Vojnar4 talks
- Alexis Le Glaunec4 talks
- Ian Erik Varatalu2 talks
- Ondřej Lengál8 talks
- Konstantinos Mamouras11 talks
| title | conference | date |
|---|---|---|
| Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics | PLDI 2023 | 2023-06-17 |
A derivative-based algorithm produces input-linear matching without actual backtracking while preserving PC (backtracking) semantics and supporting anchors and… | ||
| TACCL: Guiding Collective Algorithm Synthesis using Communication Sketches | NSDI 2023 | 2023-04-17 |
TACCL is a synthesizer that uses communication sketches to prune an MILP search and generate concrete ALLGATHER/ALLREDUCE/ALLTOALL algorithms tuned to DGX‑2… | ||
| 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 | ||