• Sign in
  • Sign up
conf.researchr.org / Olli Saarikivi
  • 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
xFri 23 Apr 10:51
using conf.researchr.org (v1.45.0)
Support page
Sign Up