Olli Saarikivi

According to our database, Olli Saarikivi authored at least 35 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Tessel: Boosting Distributed Execution of Large DNN Models via Flexible Schedule Search.

Zhiqi Lin, Youshan Miao, Guanbin Xu, Cheng Li, Olli Saarikivi, Saeed Maleki, Fan Yang

Proceedings of the IEEE International Symposium on High-Performance Computer Architecture, 2024

A Framework for Fine-Grained Synchronization of Dependent GPU Kernels.

Abhinav Jangda, Saeed Maleki, Maryam Mehri Dehnavi, Madan Musuvathi, Olli Saarikivi

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2024

2023

Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics.

Dan Moseley, Mario Nishio, Jose Perez Rodriguez, Olli Saarikivi, Stephen Toub, Margus Veanes, Tiki Wan, Eric Xu

Proc. ACM Program. Lang., 2023

Symbolic Automata: ω-Regularity Modulo Theories.

Margus Veanes, Thomas Ball, Gabriel Ebner, Olli Saarikivi

CoRR, 2023

Textbooks Are All You Need.

Suriya Gunasekar, Yi Zhang, Jyoti Aneja, Caio César Teodoro Mendes, Allie Del Giorno, Sivakanth Gopi, Mojan Javaheripi, Piero Kauffmann, Gustavo de Rosa, Olli Saarikivi, Adil Salim, Shital Shah, Harkirat Singh Behl, Xin Wang, Sébastien Bubeck, Ronen Eldan, Adam Tauman Kalai, Yin Tat Lee, Yuanzhi Li

CoRR, 2023

TACCL: Guiding Collective Algorithm Synthesis using Communication Sketches.

Aashaka Shah, Vijay Chidambaram, Meghan Cowan, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi

Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, 2023

MSCCLang: Microsoft Collective Communication Language.

Meghan Cowan, Saeed Maleki, Madanlal Musuvathi, Olli Saarikivi, Yifan Xiong

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2022

MSCCL: Microsoft Collective Communication Library.

Meghan Cowan, Saeed Maleki, Madanlal Musuvathi, Olli Saarikivi, Yifan Xiong

CoRR, 2022

Breaking the computation and communication abstraction barrier in distributed machine learning workloads.

Abhinav Jangda, Jun Huang, Guodong Liu, Amir Hossein Nodehi Sabet, Saeed Maleki, Youshan Miao, Madanlal Musuvathi, Todd Mytkowicz, Olli Saarikivi

Proceedings of the ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022, 2022

2021

EVA Improved: Compiler and Extension Library for CKKS.

Sangeeta Chowdhary, Wei Dai, Kim Laine, Olli Saarikivi

IACR Cryptol. ePrint Arch., 2021

Synthesizing Collective Communication Algorithms for Heterogeneous Networks with TACCL.

Aashaka Shah, Vijay Chidambaram, Meghan Cowan, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi, Rachee Singh

CoRR, 2021

CoCoNet: Co-Optimizing Computation and Communication for Distributed Machine Learning.

Abhinav Jangda, Jun Huang, Guodong Liu, Amir Hossein Nodehi Sabet, Saeed Maleki, Youshan Miao, Madanlal Musuvathi, Todd Mytkowicz, Olli Saarikivi

CoRR, 2021

Synthesizing optimal collective algorithms.

Zixian Cai, Zhengyang Liu, Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi

Proceedings of the PPoPP '21: 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2021

Scaling Distributed Training with Adaptive Summation.

Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Olli Saarikivi, Tianju Xu, Vadim Eksarevskiy, Jaliya Ekanayake, Emad Barsoum

Proceedings of Machine Learning and Systems 2021, 2021

Distributed Training of Embeddings using Graph Analytics.

Gurbinder Gill, Roshan Dathathri, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Olli Saarikivi

Proceedings of the 35th IEEE International Parallel and Distributed Processing Symposium, 2021

2020

Regex matching with counting-set automata.

Lenka Turonová, Lukás Holík, Ondrej Lengál, Olli Saarikivi, Margus Veanes, Tomás Vojnar

Proc. ACM Program. Lang., 2020

EVA: an encrypted vector arithmetic language and compiler for efficient homomorphic computation.

Roshan Dathathri, Blagovesta Kostova, Olli Saarikivi, Wei Dai, Kim Laine, Madan Musuvathi

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report).

Lukás Holík, Ondrej Lengál, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomás Vojnar

CoRR, 2019

Distributed Word2Vec using Graph Analytics Frameworks.

Gurbinder Gill, Roshan Dathathri, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Olli Saarikivi

CoRR, 2019

Symbolic Regex Matcher.

Olli Saarikivi, Margus Veanes, Tiki Wan, Eric Xu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

CHET: an optimizing compiler for fully-homomorphic neural-network inferencing.

Roshan Dathathri, Olli Saarikivi, Hao Chen, Kim Laine, Kristin E. Lauter, Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Succinct Determinisation of Counting Automata via Sphere Construction.

Lukás Holík, Ondrej Lengál, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomás Vojnar

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2018

CHET: Compiler and Runtime for Homomorphic Evaluation of Tensor Programs.

Roshan Dathathri, Olli Saarikivi, Hao Chen, Kim Laine, Kristin E. Lauter, Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz

CoRR, 2018

2017

Symbolic Methods for Transducers and Testing (Symboliset metodit muuntimille ja testaukseen).

Olli Saarikivi

PhD thesis, 2017

Minimizing Test Suites with Unfoldings of Multithreaded Programs.

Olli Saarikivi, Hernán Ponce de León, Kari Kähkönen, Keijo Heljanko, Javier Esparza

ACM Trans. Embed. Comput. Syst., 2017

Fusing effectful comprehensions.

Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Translating C# to Branching Symbolic Transducers.

Olli Saarikivi, Margus Veanes

Proceedings of the IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, 2017

Minimization of Symbolic Transducers.

Olli Saarikivi, Margus Veanes

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

LCTD: Test-guided proofs for C programs on LLVM.

Olli Saarikivi, Keijo Heljanko

J. Log. Algebraic Methods Program., 2016

LCTD: Tests-Guided Proofs for C Programs on LLVM - (Competition Contribution).

Olli Saarikivi, Keijo Heljanko

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2015

Unfolding based automated testing of multithreaded programs.

Kari Kähkönen, Olli Saarikivi, Keijo Heljanko

Autom. Softw. Eng., 2015

Reporting Races in Dynamic Partial Order Reduction.

Olli Saarikivi, Keijo Heljanko

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Unfolding Based Minimal Test Suites for Testing Multithreaded Programs.

Hernán Ponce de León, Olli Saarikivi, Kari Kähkönen, Keijo Heljanko, Javier Esparza

Proceedings of the 15th International Conference on Application of Concurrency to System Design, 2015

2012

Using unfoldings in automated testing of multithreaded programs.

Kari Kähkönen, Olli Saarikivi, Keijo Heljanko

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Improving Dynamic Partial Order Reductions for Concolic Testing.

Olli Saarikivi, Kari Kähkönen, Keijo Heljanko

Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012