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
2019
APLAS
Author of Succinct Determinisation of Counting Automata via Sphere Construction within the Research Papers-track
PLDI
Author of CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing within the PLDI Research Papers-track
ETAPS
Author of Credential Scanning powered by Symbolic Regex Matching within the Posters-track
TACAS
Author of Symbolic Regex Matcher within the TACAS 2019-track
2017
PLDI
Author of Fusing Effectful Comprehensions within the PLDI Research Papers-track
Share
x
Fri 12 Dec 23:10