Olli Saarikivi

ORCID

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 36

Top Venues

CoRR

PLDI

Proc. ACM Program. Lang.

ACM Trans. Embed. Comput. Syst.

Aalto University, Helsinki, Finland (PHD)

Education History

Aalto University, Helsinki, Finland

PHD

Publications

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
Textbooks Are All You Need. CoRR (2023)
Margus Veanes, Thomas Ball, Gabriel Ebner, Olli Saarikivi
Symbolic Automata: ω-Regularity Modulo Theories. CoRR (2023)
Meghan Cowan, Saeed Maleki, Madanlal Musuvathi, Olli Saarikivi, Yifan Xiong
MSCCLang: Microsoft Collective Communication Language. ASPLOS (2) (2023)
Dan Moseley, Mario Nishio, Jose Perez Rodriguez, Olli Saarikivi, Stephen Toub, Margus Veanes, Tiki Wan, Eric Xu
Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Abhinav Jangda, Saeed Maleki, Maryam Mehri Dehnavi, Madan Musuvathi, Olli Saarikivi
A Framework for Fine-Grained Synchronization of Dependent GPU Kernels. CoRR (2023)
Zhiqi Lin, Youshan Miao, Guanbin Xu, Cheng Li, Olli Saarikivi, Saeed Maleki, Fan Yang
Tessel: Boosting Distributed Execution of Large DNN Models via Flexible Schedule Search. CoRR (2023)
Aashaka Shah, Vijay Chidambaram, Meghan Cowan, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi
TACCL: Guiding Collective Algorithm Synthesis using Communication Sketches. NSDI (2023)
Abhinav Jangda, Jun Huang, Guodong Liu, Amir Hossein Nodehi Sabet, Saeed Maleki, Youshan Miao, Madanlal Musuvathi, Todd Mytkowicz, Olli Saarikivi
Breaking the computation and communication abstraction barrier in distributed machine learning workloads. ASPLOS (2022)
Meghan Cowan, Saeed Maleki, Madanlal Musuvathi, Olli Saarikivi, Yifan Xiong
MSCCL: Microsoft Collective Communication Library. CoRR (2022)
Aashaka Shah, Vijay Chidambaram, Meghan Cowan, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi, Rachee Singh
Synthesizing Collective Communication Algorithms for Heterogeneous Networks with TACCL. CoRR (2021)
Zixian Cai, Zhengyang Liu, Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi
Synthesizing optimal collective algorithms. PPoPP (2021)
Sangeeta Chowdhary, Wei Dai, Kim Laine, Olli Saarikivi
EVA Improved: Compiler and Extension Library for CKKS. WAHC@CCS (2021)
Gurbinder Gill, Roshan Dathathri, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Olli Saarikivi
Distributed Training of Embeddings using Graph Analytics. IPDPS (2021)
Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Olli Saarikivi, Tianju Xu, Vadim Eksarevskiy, Jaliya Ekanayake, Emad Barsoum
Scaling Distributed Training with Adaptive Summation. MLSys (2021)
Sangeeta Chowdhary, Wei Dai, Kim Laine, Olli Saarikivi
EVA Improved: Compiler and Extension Library for CKKS. IACR Cryptol. ePrint Arch. 2021 (2021)
Abhinav Jangda, Jun Huang, Guodong Liu, Amir Hossein Nodehi Sabet, Saeed Maleki, Youshan Miao, Madanlal Musuvathi, Todd Mytkowicz, Olli Saarikivi
CoCoNet: Co-Optimizing Computation and Communication for Distributed Machine Learning. CoRR (2021)
Lenka Turonová, Lukás Holík, Ondrej Lengál, Olli Saarikivi, Margus Veanes, Tomás Vojnar
Regex matching with counting-set automata. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Zixian Cai, Zhengyang Liu, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi
Synthesizing Optimal Collective Algorithms. CoRR (2020)
Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Olli Saarikivi, Tianju Xu, Vadim Eksarevskiy, Jaliya Ekanayake, Emad Barsoum
Scaling Distributed Training with Adaptive Summation. CoRR (2020)
Roshan Dathathri, Blagovesta Kostova, Olli Saarikivi, Wei Dai, Kim Laine, Madan Musuvathi
EVA: an encrypted vector arithmetic language and compiler for efficient homomorphic computation. PLDI (2020)
Roshan Dathathri, Olli Saarikivi, Hao Chen, Kim Laine, Kristin E. Lauter, Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz
CHET: an optimizing compiler for fully-homomorphic neural-network inferencing. PLDI (2019)
Lukás Holík, Ondrej Lengál, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomás Vojnar
Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report). CoRR (2019)
Olli Saarikivi, Margus Veanes, Tiki Wan, Eric Xu
Symbolic Regex Matcher. TACAS (1) (2019)
Roshan Dathathri, Blagovesta Kostova, Olli Saarikivi, Wei Dai, Kim Laine, Madanlal Musuvathi
EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation. CoRR (2019)
Lukás Holík, Ondrej Lengál, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomás Vojnar
Succinct Determinisation of Counting Automata via Sphere Construction. APLAS (2019)
Gurbinder Gill, Roshan Dathathri, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Olli Saarikivi
Distributed Word2Vec using Graph Analytics Frameworks. CoRR (2019)
Roshan Dathathri, Olli Saarikivi, Hao Chen, Kim Laine, Kristin E. Lauter, Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz
CHET: Compiler and Runtime for Homomorphic Evaluation of Tensor Programs. CoRR (2018)
Olli Saarikivi, Margus Veanes
Translating C# to Branching Symbolic Transducers. LPAR (Short Presentations) (2017)
Olli Saarikivi, Margus Veanes
Minimization of Symbolic Transducers. CAV (2) (2017)
Olli Saarikivi, Hernán Ponce de León, Kari Kähkönen, Keijo Heljanko, Javier Esparza
Minimizing Test Suites with Unfoldings of Multithreaded Programs. ACM Trans. Embed. Comput. Syst. 16 (2) (2017)
Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi
Fusing effectful comprehensions. PLDI (2017)
Olli Saarikivi, Keijo Heljanko
LCTD: Test-guided proofs for C programs on LLVM. J. Log. Algebraic Methods Program. 85 (6) (2016)
Olli Saarikivi, Keijo Heljanko
LCTD: Tests-Guided Proofs for C Programs on LLVM - (Competition Contribution). TACAS (2016)
Hernán Ponce de León, Olli Saarikivi, Kari Kähkönen, Keijo Heljanko, Javier Esparza
Unfolding Based Minimal Test Suites for Testing Multithreaded Programs. ACSD (2015)
Olli Saarikivi, Keijo Heljanko
Reporting Races in Dynamic Partial Order Reduction. NFM (2015)
Kari Kähkönen, Olli Saarikivi, Keijo Heljanko
Unfolding based automated testing of multithreaded programs. Autom. Softw. Eng. 22 (4) (2015)
Kari Kähkönen, Olli Saarikivi, Keijo Heljanko
Using unfoldings in automated testing of multithreaded programs. ASE (2012)
Olli Saarikivi, Kari Kähkönen, Keijo Heljanko
Improving Dynamic Partial Order Reductions for Concolic Testing. ACSD (2012)

Olli Saarikivi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Olli Saarikivi