Registered user since Wed 10 Jun 2020
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.
|PLDI 2020||EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation|
|Show activities from other conferences|
View general profile