| 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 | 35 | 2019 |
| 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 | 31 | 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 | 29 | 2011 |
| 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 | 28 | 2012 |
| 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 | 17 | 2013 |
| 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 | 15 | 2018 |
| Unfolding based automated testing of multithreaded programs K Kähkönen, O Saarikivi, K Heljanko Automated Software Engineering 22 (4), 475-515, 2015 | 15 | 2015 |
| Fusing Effectful Comprehensions O Saarikivi, M Veanes, T Mytkowicz, M Musuvathi PLDI, 2017 | 8 | 2017 |
| 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 | 7 | 2020 |
| Minimization of symbolic transducers O Saarikivi, M Veanes International Conference on Computer Aided Verification, 176-196, 2017 | 6 | 2017 |
| Symbolic regex matcher O Saarikivi, M Veanes, T Wan, E Xu International Conference on Tools and Algorithms for the Construction and …, 2019 | 4 | 2019 |
| 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 | 4 | 2015 |
| 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 | 3 | 2016 |
| 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 | 2 | 2017 |
| Test-guided proofs for C programs on LLVM O Saarikivi Aalto University School of Science, 2013 | 2 | 2013 |
| 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 | 1 | 2019 |
| Translating C# to Branching Symbolic Transducers O Saarikivi, M Veanes LPAR, 2017 | 1 | 2017 |
| 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 |
Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiVerified email at helsinki.fi
