Scaling out speculative execution of finite-state machines with parallel merge.

Yang Xia Peng Jiang Gagan Agrawal

Published in: PPoPP (2020)

Keyphrases

finite state machines
speculative execution
model checking
finite state automata
parallel processing
regular expressions
shared memory
hidden markov models
parallel implementation
computer systems
parallel computation
databases
pattern matching
massively parallel
parallel programming
transactional memory