Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Olli Saarikivi
conf.researchr.org general profile
APLAS 2019 profile
ETAPS 2019 profile
PLDI 2019 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
Registered user since Sat 24 Sep 2016
Name:
Olli Saarikivi
Contributions
APLAS 2019
Author of Succinct Determinisation of Counting Automata via Sphere Construction within the Research Papers-track
TACAS 2019
Author of Symbolic Regex Matcher within the TACAS 2019-track
ETAPS 2019
Author of Credential Scanning powered by Symbolic Regex Matching within the Posters-track
PLDI 2019
Author of CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing within the PLDI Research Papers-track
PLDI 2017
Author of Fusing Effectful Comprehensions within the PLDI Research Papers-track
Share
x
Wed 1 Apr 14:01