Login / Signup
Kristoffer Aalund Søholm
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Regular Expressions
Streaming Data
Finite State Automata
Top Venues
POPL
</>
Publications
</>
Niels Bjørn Bugge Grathwohl
,
Fritz Henglein
,
Ulrik Terp Rasmussen
,
Kristoffer Aalund Søholm
,
Sebastian Paaske Tørholm
Kleenex: compiling nondeterministic transducers to deterministic streaming transducers.
POPL
(2016)