Olli Saarikivi
Olli Saarikivi
Microsoft Research
Verified email at - Homepage
Cited by
Cited by
Textbooks are all you need
S Gunasekar, Y Zhang, J Aneja, CCT Mendes, A Del Giorno, S Gopi, ...
arXiv preprint arXiv:2306.11644, 2023
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
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
Phi-3 technical report: A highly capable language model locally on your phone
M Abdin, SA Jacobs, AA Awan, J Aneja, A Awadallah, H Awadalla, ...
arXiv preprint arXiv:2404.14219, 2024
Phi-2: The surprising power of small language models
M Javaheripi, S Bubeck, M Abdin, J Aneja, S Bubeck, CCT Mendes, ...
Microsoft Research Blog, 2023
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
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
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
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
Breaking the computation and communication abstraction barrier in distributed machine learning workloads
A Jangda, J Huang, G Liu, AHN Sabet, S Maleki, Y Miao, M Musuvathi, ...
Proceedings of the 27th ACM International Conference on Architectural …, 2022
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
Symbolic regex matcher
O Saarikivi, M Veanes, T Wan, E Xu
Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019
{TACCL}: Guiding Collective Algorithm Synthesis using Communication Sketches
A Shah, V Chidambaram, M Cowan, S Maleki, M Musuvathi, T Mytkowicz, ...
20th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2023
Unfolding based automated testing of multithreaded programs
K Kähkönen, O Saarikivi, K Heljanko
Automated Software Engineering 22, 475-515, 2015
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
Eva improved: Compiler and extension library for ckks
S Chowdhary, W Dai, K Laine, O Saarikivi
Proceedings of the 9th on Workshop on Encrypted Computing & Applied …, 2021
Homomorphic evaluation of tensor programs
MS Musuvathi, K Laine, KE Lauter, H Chen, OI Saarikivi, S Maleki, ...
US Patent 11,177,935, 2021
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
Succinct determinisation of counting automata via sphere construction
L Holík, O Lengál, O Saarikivi, L Turoňová, M Veanes, T Vojnar
Programming Languages and Systems: 17th Asian Symposium, APLAS 2019, Nusa …, 2019
Fusing Effectful Comprehensions
O Saarikivi, M Veanes, T Mytkowicz, M Musuvathi
PLDI, 2017
The system can't perform the operation now. Try again later.
Articles 1–20