• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 46 matches

• 2024
• 
  Zhiqi Lin, Youshan Miao, Guanbin Xu, Cheng Li, Olli Saarikivi, Saeed Maleki, Fan Yang:
  Efficient Schedule Construction for Distributed Execution of Large DNN Models. IEEE Trans. Parallel Distributed Syst. 35(12): 2375-2391 (2024)
• 
  Abhinav Jangda, Saeed Maleki, Maryam Mehri Dehnavi, Madan Musuvathi, Olli Saarikivi:
  A Framework for Fine-Grained Synchronization of Dependent GPU Kernels. CGO 2024: 93-105
• 
  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. HPCA 2024: 803-816
• 
  Marah I Abdin, Sam Ade Jacobs, Ammar Ahmad Awan, Jyoti Aneja, Ahmed Awadallah, Hany Awadalla, Nguyen Bach, Amit Bahree, Arash Bakhtiari, Harkirat S. Behl, Alon Benhaim, Misha Bilenko, Johan Bjorck, Sébastien Bubeck, Martin Cai, Caio César Teodoro Mendes, Weizhu Chen, Vishrav Chaudhary, Parul Chopra, Allie Del Giorno, Gustavo de Rosa, Matthew Dixon, Ronen Eldan, Dan Iter, Amit Garg, Abhishek Goswami, Suriya Gunasekar, Emman Haider, Junheng Hao, Russell J. Hewett, Jamie Huynh, Mojan Javaheripi, Xin Jin, Piero Kauffmann, Nikos Karampatziakis, Dongwoo Kim, Mahoud Khademi, Lev Kurilenko, James R. Lee, Yin Tat Lee, Yuanzhi Li, Chen Liang, Weishung Liu, Eric Lin, Zeqi Lin, Piyush Madan, Arindam Mitra, Hardik Modi, Anh Nguyen, Brandon Norick, Barun Patra, Daniel Perez-Becker, Thomas Portet, Reid Pryzant, Heyang Qin, Marko Radmilac, Corby Rosset, Sambudha Roy, Olatunji Ruwase, Olli Saarikivi, Amin Saied, Adil Salim, Michael Santacroce, Shital Shah, Ning Shang, Hiteshi Sharma, Xia Song, Masahiro Tanaka, Xin Wang, Rachel Ward, Guanhua Wang, Philipp Witte, Michael Wyatt, Can Xu, Jiahang Xu, Sonali Yadav, Fan Yang, Ziyi Yang, Donghan Yu, Chengruidong Zhang, Cyril Zhang, Jianwen Zhang, Li Lyna Zhang, Yi Zhang, Yue Zhang, Yunan Zhang, Xiren Zhou:
  Phi-3 Technical Report: A Highly Capable Language Model Locally on Your Phone. CoRR abs/2404.14219 (2024)
• 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): 1026-1049 (2023)
• 
  Meghan Cowan, Saeed Maleki, Madanlal Musuvathi, Olli Saarikivi, Yifan Xiong:
  MSCCLang: Microsoft Collective Communication Language. ASPLOS (2) 2023: 502-514
• 
  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: 593-612
• 
  Abhinav Jangda, Saeed Maleki, Maryam Mehri Dehnavi, Madan Musuvathi, Olli Saarikivi:
  A Framework for Fine-Grained Synchronization of Dependent GPU Kernels. CoRR abs/2305.13450 (2023)
• 
  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 abs/2306.11644 (2023)
• 
  Margus Veanes, Thomas Ball, Gabriel Ebner, Olli Saarikivi:
  Symbolic Automata: ω-Regularity Modulo Theories. CoRR abs/2310.02393 (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 abs/2311.15269 (2023)
• 2022
• 
  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: 402-416
• 
  Meghan Cowan, Saeed Maleki, Madanlal Musuvathi, Olli Saarikivi, Yifan Xiong:
  MSCCL: Microsoft Collective Communication Library. CoRR abs/2201.11840 (2022)
• 2021
• 
  Sangeeta Chowdhary, Wei Dai, Kim Laine, Olli Saarikivi:
  EVA Improved: Compiler and Extension Library for CKKS. WAHC@CCS 2021: 43-55
• 
  Gurbinder Gill, Roshan Dathathri, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Olli Saarikivi:
  Distributed Training of Embeddings using Graph Analytics. IPDPS 2021: 973-983
• 
  Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Olli Saarikivi, Tianju Xu, Vadim Eksarevskiy, Jaliya Ekanayake, Emad Barsoum:
  Scaling Distributed Training with Adaptive Summation. MLSys 2021
• 
  Zixian Cai, Zhengyang Liu, Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi:
  Synthesizing optimal collective algorithms. PPoPP 2021: 62-75
• 
  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 abs/2105.05720 (2021)
• 
  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 abs/2111.04867 (2021)
• 
  Sangeeta Chowdhary, Wei Dai, Kim Laine, Olli Saarikivi:
  EVA Improved: Compiler and Extension Library for CKKS. IACR Cryptol. ePrint Arch. 2021: 1505 (2021)
• 2020
• 
  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): 218:1-218:30 (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: 546-561
• 
  Lukás Holík, Ondrej Lengál, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomás Vojnar:
  Dataset for the OOPSLA'20 paper "Regex Matching with Counting-Set Automata". Zenodo, 2020 
• 
  Lukás Holík, Ondrej Lengál, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomás Vojnar:
  Dataset for the OOPSLA'20 paper "Regex Matching with Counting-Set Automata". Zenodo, 2020 
• 
  Lukás Holík, Ondrej Lengál, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomás Vojnar:
  Artifact for the OOPSLA'20 paper "Regex Matching with Counting-Set Automata". Zenodo, 2020 
• 
  Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Olli Saarikivi, Tianju Xu, Vadim Eksarevskiy, Jaliya Ekanayake, Emad Barsoum:
  Scaling Distributed Training with Adaptive Summation. CoRR abs/2006.02924 (2020)
• 
  Zixian Cai, Zhengyang Liu, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi:
  Synthesizing Optimal Collective Algorithms. CoRR abs/2008.08708 (2020)
• 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: 468-489
• 
  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: 142-156
• 
  Olli Saarikivi, Margus Veanes, Tiki Wan, Eric Xu:
  Symbolic Regex Matcher. TACAS (1) 2019: 372-378

skipping 16 more matches