Improving Dynamic Partial Order Reductions for Concolic Testing. - Olli Saarikivi; Kari Kähkönen; Keijo Heljanko (ACSD, 2012)

Using unfoldings in automated testing of multithreaded programs. - Kari Kähkönen; Olli Saarikivi; Keijo Heljanko (ASE, 2012)

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 (ACSD, 2015)

Reporting Races in Dynamic Partial Order Reduction. - Olli Saarikivi; Keijo Heljanko (NFM, 2015)

Unfolding based automated testing of multithreaded programs. - Kari Kähkönen; Olli Saarikivi; Keijo Heljanko (Autom. Softw. Eng., 2015)

LCTD: Tests-Guided Proofs for C Programs on LLVM - (Competition Contribution). - Olli Saarikivi; Keijo Heljanko (TACAS, 2016)

LCTD: Test-guided proofs for C programs on LLVM. - Olli Saarikivi; Keijo Heljanko (J. Log. Algebraic Methods Program., 2016)

Minimization of Symbolic Transducers. - Olli Saarikivi; Margus Veanes (CAV (2), 2017)

Translating C# to Branching Symbolic Transducers. - Olli Saarikivi; Margus Veanes (LPAR (Short Presentations), 2017)

Fusing effectful comprehensions. - Olli Saarikivi; Margus Veanes; Todd Mytkowicz; Madan Musuvathi (PLDI, 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)

Symbolic Methods for Transducers and Testing (Symboliset metodit muuntimille ja testaukseen). - Olli Saarikivi (2017)

CHET: Compiler and Runtime for Homomorphic Evaluation of Tensor Programs. - Roshan Dathathri; Olli Saarikivi; Hao Chen 030; Kim Laine; Kristin E. Lauter; Saeed Maleki; Madanlal Musuvathi; Todd Mytkowicz (CoRR, 2018)

Succinct Determinisation of Counting Automata via Sphere Construction. - Lukás Holík; Ondrej Lengál; Olli Saarikivi; Lenka Turonová; Margus Veanes; Tomás Vojnar (APLAS, 2019)

CHET: an optimizing compiler for fully-homomorphic neural-network inferencing. - Roshan Dathathri; Olli Saarikivi; Hao Chen 030; Kim Laine; Kristin E. Lauter; Saeed Maleki; Madanlal Musuvathi; Todd Mytkowicz (PLDI, 2019)

Symbolic Regex Matcher. - Olli Saarikivi; Margus Veanes; Tiki Wan; Eric Xu (TACAS (1), 2019)

Distributed Word2Vec using Graph Analytics Frameworks. - Gurbinder Gill; Roshan Dathathri; Saeed Maleki; Madan Musuvathi; Todd Mytkowicz; Olli Saarikivi (CoRR, 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)

EVA: an encrypted vector arithmetic language and compiler for efficient homomorphic computation. - Roshan Dathathri; Blagovesta Kostova; Olli Saarikivi; Wei Dai 007; Kim Laine; Madan Musuvathi (PLDI, 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)

Dataset for the OOPSLA'20 paper "Regex Matching with Counting-Set Automata". - Lukás Holík; Ondrej Lengál; Olli Saarikivi; Lenka Turonová; Margus Veanes; Tomás Vojnar (Zenodo, 2020)

Dataset for the OOPSLA'20 paper "Regex Matching with Counting-Set Automata". - Lukás Holík; Ondrej Lengál; Olli Saarikivi; Lenka Turonová; Margus Veanes; Tomás Vojnar (Zenodo, 2020)

Artifact for the OOPSLA'20 paper "Regex Matching with Counting-Set Automata". - Lukás Holík; Ondrej Lengál; Olli Saarikivi; Lenka Turonová; Margus Veanes; Tomás Vojnar (Zenodo, 2020)

Distributed Training of Embeddings using Graph Analytics. - Gurbinder Gill; Roshan Dathathri; Saeed Maleki; Madan Musuvathi; Todd Mytkowicz; Olli Saarikivi (IPDPS, 2021)

Scaling Distributed Training with Adaptive Summation. - Saeed Maleki; Madan Musuvathi; Todd Mytkowicz; Olli Saarikivi; Tianju Xu; Vadim Eksarevskiy; Jaliya Ekanayake; Emad Barsoum (MLSys, 2021)

Synthesizing optimal collective algorithms. - Zixian Cai; Zhengyang Liu 003; Saeed Maleki; Madanlal Musuvathi; Todd Mytkowicz; Jacob Nelson 001; Olli Saarikivi (PPoPP, 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 Collective Communication Algorithms for Heterogeneous Networks with TACCL. - Aashaka Shah; Vijay Chidambaram; Meghan Cowan; Saeed Maleki; Madan Musuvathi; Todd Mytkowicz; Jacob Nelson 001; Olli Saarikivi; Rachee Singh (CoRR, 2021)

EVA Improved: Compiler and Extension Library for CKKS. - Sangeeta Chowdhary; Wei Dai 007; Kim Laine; Olli Saarikivi (IACR Cryptol. ePrint Arch., 2021)

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 (ASPLOS, 2022)

MSCCL: Microsoft Collective Communication Library. - Meghan Cowan; Saeed Maleki; Madanlal Musuvathi; Olli Saarikivi; Yifan Xiong 001 (CoRR, 2022)

MSCCLang: Microsoft Collective Communication Language. - Meghan Cowan; Saeed Maleki; Madanlal Musuvathi; Olli Saarikivi; Yifan Xiong 001 (ASPLOS (2), 2023)

TACCL: Guiding Collective Algorithm Synthesis using Communication Sketches. - Aashaka Shah; Vijay Chidambaram; Meghan Cowan; Saeed Maleki; Madan Musuvathi; Todd Mytkowicz; Jacob Nelson 001; Olli Saarikivi (NSDI, 2023)

Textbooks Are All You Need. - Suriya Gunasekar; Yi Zhang 001; 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; et al. (CoRR, 2023)

Symbolic Automata: ω-Regularity Modulo Theories. - Margus Veanes; Thomas Ball 001; Gabriel Ebner; Olli Saarikivi (CoRR, 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)

A Framework for Fine-Grained Synchronization of Dependent GPU Kernels. - Abhinav Jangda; Saeed Maleki; Maryam Mehri Dehnavi; Madan Musuvathi; Olli Saarikivi (CGO, 2024)

Tessel: Boosting Distributed Execution of Large DNN Models via Flexible Schedule Search. - Zhiqi Lin; Youshan Miao; Guanbin Xu; Cheng Li 001; Olli Saarikivi; Saeed Maleki; Fan Yang 024 (HPCA, 2024)

Phi-3 Technical Report: A Highly Capable Language Model Locally on Your Phone. - Marah I Abdin; Sam Ade Jacobs; Ammar Ahmad Awan; Jyoti Aneja; Ahmed Awadallah 001; Hany Awadalla; Nguyen Bach; Amit Bahree; Arash Bakhtiari; Harkirat S. Behl; Alon Benhaim; Misha Bilenko; et al. (CoRR, 2024)

Phi-4 Technical Report. - Marah I Abdin; Jyoti Aneja; Harkirat S. Behl; Sébastien Bubeck; Ronen Eldan; Suriya Gunasekar; Michael Harrison; Russell J. Hewett; Mojan Javaheripi; Piero Kauffmann; James R. Lee; Yin Tat Lee; et al. (CoRR, 2024)

Efficient Schedule Construction for Distributed Execution of Large DNN Models. - Zhiqi Lin; Youshan Miao; Guanbin Xu; Cheng Li 001; Olli Saarikivi; Saeed Maleki; Fan Yang 024 (IEEE Trans. Parallel Distributed Syst., 2024)

MSCCL++: Rethinking GPU Communication Abstractions for Cutting-edge AI Applications. - Aashaka Shah; Abhinav Jangda; Binyang Li; Caio Rocha; Changho Hwang; Jithin Jose; Madan Musuvathi; Olli Saarikivi; Peng Cheng 005; Qinghua Zhou; Roshan Dathathri; Saeed Maleki; et al. (CoRR, 2025)

Phi-4-reasoning Technical Report. - Marah I Abdin; Sahaj Agarwal; Ahmed Awadallah 001; Vidhisha Balachandran; Harkirat S. Behl; Lingjiao Chen; Gustavo de Rosa; Suriya Gunasekar; Mojan Javaheripi; Neel Joshi; Piero Kauffmann; Yash Lara; et al. (CoRR, 2025)