Olli Saarikivi
Olli Saarikivi
Microsoft Research
Verified email at microsoft.com - Homepage
Title
Cited by
Cited by
Year
CHET: an optimizing compiler for fully-homomorphic neural-network inferencing
R Dathathri, O Saarikivi, H Chen, K Laine, K Lauter, S Maleki, ...
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
352019
Improving dynamic partial order reductions for concolic testing
O Saarikivi, K Kähkönen, K Heljanko
2012 12th International Conference on Application of Concurrency to System …, 2012
312012
LCT: An open source concolic testing tool for Java programs
K Kähkönen, T Launiainen, O Saarikivi, J Kauttio, K Heljanko, I Niemelä
Proceedings of the 6th Workshop on Bytecode Semantics, Verification …, 2011
292011
Using unfoldings in automated testing of multithreaded programs
K Kähkönen, O Saarikivi, K Heljanko
Proceedings of the 27th IEEE/ACM International Conference on Automated …, 2012
282012
LCT: A parallel distributed testing tool for multithreaded Java programs
K Kähkönen, O Saarikivi, K Heljanko
Electronic Notes in Theoretical Computer Science 296, 253-259, 2013
172013
Chet: Compiler and runtime for homomorphic evaluation of tensor programs
R Dathathri, O Saarikivi, H Chen, K Laine, K Lauter, S Maleki, ...
arXiv preprint arXiv:1810.00845, 2018
152018
Unfolding based automated testing of multithreaded programs
K Kähkönen, O Saarikivi, K Heljanko
Automated Software Engineering 22 (4), 475-515, 2015
152015
Fusing Effectful Comprehensions
O Saarikivi, M Veanes, T Mytkowicz, M Musuvathi
PLDI, 2017
82017
Eva: An encrypted vector arithmetic language and compiler for efficient homomorphic computation
R Dathathri, B Kostova, O Saarikivi, W Dai, K Laine, M Musuvathi
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
72020
Minimization of symbolic transducers
O Saarikivi, M Veanes
International Conference on Computer Aided Verification, 176-196, 2017
62017
Symbolic regex matcher
O Saarikivi, M Veanes, T Wan, E Xu
International Conference on Tools and Algorithms for the Construction and …, 2019
42019
Unfolding based minimal test suites for testing multithreaded programs
HP de León, O Saarikivi, K Kähkönen, K Heljanko, J Esparza
2015 15th International Conference on Application of Concurrency to System …, 2015
42015
LCTD: Test-guided proofs for C programs on LLVM
O Saarikivi, K Heljanko
Journal of Logical and Algebraic Methods in Programming 85 (6), 1292-1317, 2016
32016
Minimizing test suites with unfoldings of multithreaded programs
O Saarikivi, H Ponce-De-León, K Kähkönen, K Heljanko, J Esparza
ACM Transactions on Embedded Computing Systems (TECS) 16 (2), 1-24, 2017
22017
Test-guided proofs for C programs on LLVM
O Saarikivi
Aalto University School of Science, 2013
22013
Succinct Determinisation of Counting Automata via Sphere Construction
L Holík, O Lengál, O Saarikivi, L Turoňová, M Veanes, T Vojnar
Asian Symposium on Programming Languages and Systems, 468-489, 2019
12019
Translating C# to Branching Symbolic Transducers
O Saarikivi, M Veanes
LPAR, 2017
12017
Regex matching with counting-set automata
L Turoňová, L Holík, O Lengál, O Saarikivi, M Veanes, T Vojnar
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020
2020
Synthesizing Optimal Collective Algorithms
Z Cai, Z Liu, S Maleki, M Musuvathi, T Mytkowicz, J Nelson, O Saarikivi
arXiv preprint arXiv:2008.08708, 2020
2020
Scaling Distributed Training with Adaptive Summation
S Maleki, M Musuvathi, T Mytkowicz, O Saarikivi, T Xu, V Eksarevskiy, ...
arXiv preprint arXiv:2006.02924, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20