Olli Saarikivi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
11
Active years
2016–2026
Best venue rank
A*
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ASPLOS | MSCCL++: Rethinking GPU Communication Abstractions for AI Inference. | 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 |
| 2024 | CGO | A Framework for Fine-Grained Synchronization of Dependent GPU Kernels. | Abhinav Jangda, Saeed Maleki, Maryam Mehri Dehnavi, Madan Musuvathi, Olli Saarikivi |
| 2024 | HPCA | 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 |
| 2023 | ASPLOS | MSCCLang: Microsoft Collective Communication Language. | Meghan Cowan, Saeed Maleki, Madanlal Musuvathi, Olli Saarikivi, Yifan Xiong |
| 2023 | NSDI | TACCL: Guiding Collective Algorithm Synthesis using Communication Sketches. | Aashaka Shah, Vijay Chidambaram, Meghan Cowan, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi |
| 2022 | ASPLOS | 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 |
| 2021 | CCS | EVA Improved: Compiler and Extension Library for CKKS. | Sangeeta Chowdhary, Wei Dai, Kim Laine, Olli Saarikivi |
| 2021 | PPoPP | Synthesizing optimal collective algorithms. | Zixian Cai, Zhengyang Liu, Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi |
| 2020 | PLDI | EVA: an encrypted vector arithmetic language and compiler for efficient homomorphic computation. | Roshan Dathathri, Blagovesta Kostova, Olli Saarikivi, Wei Dai, Kim Laine, Madan Musuvathi |
| 2019 | APLAS | Succinct Determinisation of Counting Automata via Sphere Construction. | Luks Holk, Ondrej Lengl, Olli Saarikivi, Lenka Turonov, Margus Veanes, Toms Vojnar |
| 2019 | PLDI | 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 |
| 2019 | TACAS | Symbolic Regex Matcher. | Olli Saarikivi, Margus Veanes, Tiki Wan, Eric Xu |
| 2017 | CAV | Minimization of Symbolic Transducers. | Olli Saarikivi, Margus Veanes |
| 2017 | LPAR | Translating C# to Branching Symbolic Transducers. | Olli Saarikivi, Margus Veanes |
| 2017 | PLDI | Fusing effectful comprehensions. | Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi |
| 2016 | TACAS | LCTD: Tests-Guided Proofs for C Programs on LLVM - (Competition Contribution). | Olli Saarikivi, Keijo Heljanko |