Olli Saarikivi
Olli Saarikivi
Microsoft Research
Email verificata su microsoft.com - Home page
Titolo
Citata da
Citata da
Anno
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
422019
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
322012
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
322012
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
302011
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
192013
Unfolding based automated testing of multithreaded programs
K Kähkönen, O Saarikivi, K Heljanko
Automated Software Engineering 22 (4), 475-515, 2015
172015
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
142018
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
82020
Fusing Effectful Comprehensions
O Saarikivi, M Veanes, T Mytkowicz, M Musuvathi
PLDI, 2017
82017
Minimization of symbolic transducers
O Saarikivi, M Veanes
International Conference on Computer Aided Verification, 176-196, 2017
62017
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
52015
Symbolic regex matcher
O Saarikivi, M Veanes, T Wan, E Xu
International Conference on Tools and Algorithms for the Construction and …, 2019
42019
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
32017
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
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
Scaling Distributed Training with Adaptive Summation
S Maleki, M Musuvathi, T Mytkowicz, O Saarikivi, T Xu, V Eksarevskiy, ...
Proceedings of Machine Learning and Systems 3, 2021
2021
Synthesizing optimal collective algorithms
Z Cai, Z Liu, S Maleki, M Musuvathi, T Mytkowicz, J Nelson, O Saarikivi
Proceedings of the 26th ACM SIGPLAN Symposium on Principles and Practice of …, 2021
2021
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20