Lingkun Kong
where else to find them
what they talk about
where they keep going back
- OOPSLA3 editions2020–2024
on a stage with
who talks about the same things
- Alexis Le Glaunec4 talks
- Konstantinos Mamouras11 talks
- Margus Veanes6 talks
- Agnishom Chattopadhyay3 talks
- Rajeev Alur5 talks
- Olli Saarikivi3 talks
| title | conference | date |
|---|---|---|
| HybridSA: GPU Acceleration of Multi-Pattern Regex Matching using Bit Parallelism | OOPSLA 2024 | 2024-10-20 |
HybridSA is a heterogeneous CPU–GPU engine that compiles regexes (Glushkov NFAs) into bit masks and runs bit-parallel shift-and extensions as many small CUDA… | ||
| Regular Expression Matching using Bit Vector Automata | OOPSLA 2023 | 2023-10-23 |
Presents a new automaton model called NBVA that simulates nondeterministic counter automata by manipulating per-state bit vectors, using rotations, single-bit… | ||
| StreamQL: A Query Language for Processing Streaming Time Series | OOPSLA 2020 | 2020-11-15 |
StreamQL presents an algebra of stream transformations (monotone As→Bs functions) that composes relational, dataflow and temporal operators so a pipeline like… | ||
| nothing matches | ||