Olli Saarikivi

Registered user since Wed 10 Jun 2020

Name:Olli Saarikivi

I am currently focused on distributing ML training with semantics-preserving parallelization and advancing private AI with homomorphic encryption. My background is in program analysis, with symbolic methods for test generation, program verification and optimization of stream transformations.

Country:United States
Affiliation:Microsoft Research, Redmond
Research interests:Machine Learning, Homomorphic Encryption, Symbolic Automata


PPoPP 2021 Committee Member in External Review Committee
Author of Synthesizing Optimal Collective Algorithms within the Main Conference-track
PLDI 2020 Author of EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation within the PLDI Research Papers-track