Registered user since Wed 10 Jun 2020
Name:Olli Saarikivi
Bio:
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
Personal website:https://www.microsoft.com/en-us/research/people/olsaarik/
Research interests:Machine Learning, Homomorphic Encryption, Symbolic Automata
Contributions
| PLDI 2023 | Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile