Olli Saarikivi

47 papers A* 6A 3B 2Misc 1Journal 24Unranked 10

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	CHIMERA: Compact Synthetic Data for Generalizable LLM Reasoning. CoRR Xinyu Zhu, Yihao Feng, Yanchao Sun, Xianzhi Du, Pingzhi Li, Olli Saarikivi, Yun Zhu, Yu Meng
2026	—	`conf`	MSCCL++: Rethinking GPU Communication Abstractions for AI Inference. ASPLOS (2) Changho Hwang, Peng Cheng, Roshan Dathathri, Abhinav Jangda, Saeed Maleki, Madan Musuvathi, Olli Saarikivi, Aashaka Shah, Ziyue Yang, Binyang Li, Caio Rocha, Qinghua Zhou, Mahdieh Ghazimirsaeed, Sreevatsa Anantharamu, Jithin Jose
2025	J	`jnl`	MSCCL++: Rethinking GPU Communication Abstractions for Cutting-edge AI Applications. CoRR Aashaka Shah, Abhinav Jangda, Binyang Li, Caio Rocha, Changho Hwang, Jithin Jose, Madan Musuvathi, Olli Saarikivi, Peng Cheng, Qinghua Zhou, Roshan Dathathri, Saeed Maleki, Ziyue Yang
2025	J	`jnl`	Phi-4-reasoning Technical Report. CoRR Marah I Abdin, Sahaj Agarwal, Ahmed Awadallah, Vidhisha Balachandran, Harkirat S. Behl, Lingjiao Chen, Gustavo de Rosa, Suriya Gunasekar, Mojan Javaheripi, Neel Joshi, Piero Kauffmann, Yash Lara, Caio César Teodoro Mendes, Arindam Mitra, Besmira Nushi, Dimitris Papailiopoulos, Olli Saarikivi, Shital Shah, Vaishnavi Shrivastava, Vibhav Vineet, Yue Wu, Safoora Yousefi, Guoqing Zheng
2024	A	`conf`	A Framework for Fine-Grained Synchronization of Dependent GPU Kernels. CGO Abhinav Jangda, Saeed Maleki, Maryam Mehri Dehnavi, Madan Musuvathi, Olli Saarikivi
2024	J	`jnl`	Efficient Schedule Construction for Distributed Execution of Large DNN Models. IEEE Trans. Parallel Distributed Syst. Zhiqi Lin, Youshan Miao, Guanbin Xu, Cheng Li, Olli Saarikivi, Saeed Maleki, Fan Yang
2024	J	`jnl`	Phi-4 Technical Report. CoRR 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, Yuanzhi Li, Weishung Liu, Caio C. T. Mendes, Anh Nguyen, Eric Price, Gustavo de Rosa, Olli Saarikivi, Adil Salim, Shital Shah, Xin Wang, Rachel Ward, Yue Wu, Dingli Yu, Cyril Zhang, Yi Zhang
2024	A*	`conf`	Tessel: Boosting Distributed Execution of Large DNN Models via Flexible Schedule Search. HPCA Zhiqi Lin, Youshan Miao, Guanbin Xu, Cheng Li, Olli Saarikivi, Saeed Maleki, Fan Yang
2023	J	`jnl`	A Framework for Fine-Grained Synchronization of Dependent GPU Kernels. CoRR Abhinav Jangda, Saeed Maleki, Maryam Mehri Dehnavi, Madan Musuvathi, Olli Saarikivi
2023	J	`jnl`	Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics. Proc. ACM Program. Lang. Dan Moseley, Mario Nishio, Jose Perez Rodriguez, Olli Saarikivi, Stephen Toub, Margus Veanes, Tiki Wan, Eric Xu
2023	—	`conf`	MSCCLang: Microsoft Collective Communication Language. ASPLOS (2) Meghan Cowan, Saeed Maleki, Madanlal Musuvathi, Olli Saarikivi, Yifan Xiong
2023	J	`jnl`	Symbolic Automata: ω-Regularity Modulo Theories. CoRR Margus Veanes, Thomas Ball, Gabriel Ebner, Olli Saarikivi
2023	Misc	`conf`	TACCL: Guiding Collective Algorithm Synthesis using Communication Sketches. NSDI Aashaka Shah, Vijay Chidambaram, Meghan Cowan, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi
2023	J	`jnl`	Tessel: Boosting Distributed Execution of Large DNN Models via Flexible Schedule Search. CoRR Zhiqi Lin, Youshan Miao, Guanbin Xu, Cheng Li, Olli Saarikivi, Saeed Maleki, Fan Yang
2023	J	`jnl`	Textbooks Are All You Need. CoRR 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
2022	A*	`conf`	Breaking the computation and communication abstraction barrier in distributed machine learning workloads. ASPLOS Abhinav Jangda, Jun Huang, Guodong Liu, Amir Hossein Nodehi Sabet, Saeed Maleki, Youshan Miao, Madanlal Musuvathi, Todd Mytkowicz, Olli Saarikivi
2022	J	`jnl`	MSCCL: Microsoft Collective Communication Library. CoRR Meghan Cowan, Saeed Maleki, Madanlal Musuvathi, Olli Saarikivi, Yifan Xiong
2021	J	`jnl`	CoCoNet: Co-Optimizing Computation and Communication for Distributed Machine Learning. CoRR Abhinav Jangda, Jun Huang, Guodong Liu, Amir Hossein Nodehi Sabet, Saeed Maleki, Youshan Miao, Madanlal Musuvathi, Todd Mytkowicz, Olli Saarikivi
2021	A	`conf`	Distributed Training of Embeddings using Graph Analytics. IPDPS Gurbinder Gill, Roshan Dathathri, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Olli Saarikivi
2021	—	`conf`	EVA Improved: Compiler and Extension Library for CKKS. WAHC@CCS Sangeeta Chowdhary, Wei Dai, Kim Laine, Olli Saarikivi
2021	J	`jnl`	EVA Improved: Compiler and Extension Library for CKKS. IACR Cryptol. ePrint Arch. Sangeeta Chowdhary, Wei Dai, Kim Laine, Olli Saarikivi
2021	—	`conf`	Scaling Distributed Training with Adaptive Summation. MLSys Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Olli Saarikivi, Tianju Xu, Vadim Eksarevskiy, Jaliya Ekanayake, Emad Barsoum
2021	J	`jnl`	Synthesizing Collective Communication Algorithms for Heterogeneous Networks with TACCL. CoRR Aashaka Shah, Vijay Chidambaram, Meghan Cowan, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi, Rachee Singh
2021	B	`conf`	Synthesizing optimal collective algorithms. PPoPP Zixian Cai, Zhengyang Liu, Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi
2020	A*	`conf`	EVA: an encrypted vector arithmetic language and compiler for efficient homomorphic computation. PLDI Roshan Dathathri, Blagovesta Kostova, Olli Saarikivi, Wei Dai, Kim Laine, Madan Musuvathi
2020	J	`jnl`	Regex matching with counting-set automata. Proc. ACM Program. Lang. Lenka Turonová, Lukás Holík, Ondrej Lengál, Olli Saarikivi, Margus Veanes, Tomás Vojnar
2020	J	`jnl`	Scaling Distributed Training with Adaptive Summation. CoRR Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Olli Saarikivi, Tianju Xu, Vadim Eksarevskiy, Jaliya Ekanayake, Emad Barsoum
2020	J	`jnl`	Synthesizing Optimal Collective Algorithms. CoRR Zixian Cai, Zhengyang Liu, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi
2019	A*	`conf`	CHET: an optimizing compiler for fully-homomorphic neural-network inferencing. PLDI Roshan Dathathri, Olli Saarikivi, Hao Chen, Kim Laine, Kristin E. Lauter, Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz
2019	J	`jnl`	Distributed Word2Vec using Graph Analytics Frameworks. CoRR Gurbinder Gill, Roshan Dathathri, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Olli Saarikivi
2019	J	`jnl`	EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation. CoRR Roshan Dathathri, Blagovesta Kostova, Olli Saarikivi, Wei Dai, Kim Laine, Madanlal Musuvathi
2019	J	`jnl`	Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report). CoRR Lukás Holík, Ondrej Lengál, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomás Vojnar
2019	B	`conf`	Succinct Determinisation of Counting Automata via Sphere Construction. APLAS Lukás Holík, Ondrej Lengál, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomás Vojnar
2019	—	`conf`	Symbolic Regex Matcher. TACAS (1) Olli Saarikivi, Margus Veanes, Tiki Wan, Eric Xu
2018	J	`jnl`	CHET: Compiler and Runtime for Homomorphic Evaluation of Tensor Programs. CoRR Roshan Dathathri, Olli Saarikivi, Hao Chen, Kim Laine, Kristin E. Lauter, Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz
2017	A*	`conf`	Fusing effectful comprehensions. PLDI Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi
2017	—	`conf`	Minimization of Symbolic Transducers. CAV (2) Olli Saarikivi, Margus Veanes
2017	J	`jnl`	Minimizing Test Suites with Unfoldings of Multithreaded Programs. ACM Trans. Embed. Comput. Syst. Olli Saarikivi, Hernán Ponce de León, Kari Kähkönen, Keijo Heljanko, Javier Esparza
2017	—	`—`	Symbolic Methods for Transducers and Testing (Symboliset metodit muuntimille ja testaukseen). Olli Saarikivi
2017	—	`conf`	Translating C# to Branching Symbolic Transducers. LPAR (Short Presentations) Olli Saarikivi, Margus Veanes
2016	J	`jnl`	LCTD: Test-guided proofs for C programs on LLVM. J. Log. Algebraic Methods Program. Olli Saarikivi, Keijo Heljanko
2016	A	`conf`	LCTD: Tests-Guided Proofs for C Programs on LLVM - (Competition Contribution). TACAS Olli Saarikivi, Keijo Heljanko
2015	—	`conf`	Reporting Races in Dynamic Partial Order Reduction. NFM Olli Saarikivi, Keijo Heljanko
2015	—	`conf`	Unfolding Based Minimal Test Suites for Testing Multithreaded Programs. ACSD Hernán Ponce de León, Olli Saarikivi, Kari Kähkönen, Keijo Heljanko, Javier Esparza
2015	J	`jnl`	Unfolding based automated testing of multithreaded programs. Autom. Softw. Eng. Kari Kähkönen, Olli Saarikivi, Keijo Heljanko
2012	—	`conf`	Improving Dynamic Partial Order Reductions for Concolic Testing. ACSD Olli Saarikivi, Kari Kähkönen, Keijo Heljanko
2012	A*	`conf`	Using unfoldings in automated testing of multithreaded programs. ASE Kari Kähkönen, Olli Saarikivi, Keijo Heljanko