| Textbooks are all you need S Gunasekar, Y Zhang, J Aneja, CCT Mendes, A Del Giorno, S Gopi, ... arXiv preprint arXiv:2306.11644, 2023 | 266 | 2023 |
| CHET: an optimizing compiler for fully-homomorphic neural-network inferencing R Dathathri, O Saarikivi, H Chen, K Laine, K Lauter, S Maleki, ... Proceedings of the 40th ACM SIGPLAN conference on programming language …, 2019 | 246 | 2019 |
| EVA: An encrypted vector arithmetic language and compiler for efficient homomorphic computation R Dathathri, B Kostova, O Saarikivi, W Dai, K Laine, M Musuvathi Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 132 | 2020 |
| Phi-2: The surprising power of small language models M Javaheripi, S Bubeck, M Abdin, J Aneja, S Bubeck, CCT Mendes, ... Microsoft Research Blog, 2023 | 71 | 2023 |
| Phi-3 technical report: A highly capable language model locally on your phone M Abdin, SA Jacobs, AA Awan, J Aneja, A Awadallah, H Awadalla, ... arXiv preprint arXiv:2404.14219, 2024 | 67 | 2024 |
| Improving dynamic partial order reductions for concolic testing O Saarikivi, K Kähkönen, K Heljanko 2012 12th International Conference on Application of Concurrency to System …, 2012 | 38 | 2012 |
| Synthesizing optimal collective algorithms Z Cai, Z Liu, S Maleki, M Musuvathi, T Mytkowicz, J Nelson, O Saarikivi Proceedings of the 26th ACM SIGPLAN Symposium on Principles and Practice of …, 2021 | 35 | 2021 |
| Using unfoldings in automated testing of multithreaded programs K Kähkönen, O Saarikivi, K Heljanko Proceedings of the 27th IEEE/ACM International Conference on Automated …, 2012 | 35 | 2012 |
| LCT: An open source concolic testing tool for Java programs K Kähkönen, T Launiainen, O Saarikivi, J Kauttio, K Heljanko, I Niemelä Proceedings of the 6th Workshop on Bytecode Semantics, Verification …, 2011 | 34 | 2011 |
| Breaking the computation and communication abstraction barrier in distributed machine learning workloads A Jangda, J Huang, G Liu, AHN Sabet, S Maleki, Y Miao, M Musuvathi, ... Proceedings of the 27th ACM International Conference on Architectural …, 2022 | 31 | 2022 |
| Regex matching with counting-set automata L Turoňová, L Holík, O Lengál, O Saarikivi, M Veanes, T Vojnar Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020 | 29 | 2020 |
| Symbolic regex matcher O Saarikivi, M Veanes, T Wan, E Xu Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019 | 24 | 2019 |
| Unfolding based automated testing of multithreaded programs K Kähkönen, O Saarikivi, K Heljanko Automated Software Engineering 22, 475-515, 2015 | 21 | 2015 |
| LCT: A parallel distributed testing tool for multithreaded Java programs K Kähkönen, O Saarikivi, K Heljanko Electronic Notes in Theoretical Computer Science 296, 253-259, 2013 | 21 | 2013 |
| {TACCL}: Guiding Collective Algorithm Synthesis using Communication Sketches A Shah, V Chidambaram, M Cowan, S Maleki, M Musuvathi, T Mytkowicz, ... 20th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2023 | 20 | 2023 |
| Eva improved: Compiler and extension library for ckks S Chowdhary, W Dai, K Laine, O Saarikivi Proceedings of the 9th on Workshop on Encrypted Computing & Applied …, 2021 | 20 | 2021 |
| Homomorphic evaluation of tensor programs MS Musuvathi, K Laine, KE Lauter, H Chen, OI Saarikivi, S Maleki, ... US Patent 11,177,935, 2021 | 19 | 2021 |
| CHET: compiler and runtime for homomorphic evaluation of tensor programs R Dathathri, O Saarikivi, H Chen, K Laine, K Lauter, S Maleki, ... arXiv preprint arXiv:1810.00845, 2018 | 16 | 2018 |
| Succinct determinisation of counting automata via sphere construction L Holík, O Lengál, O Saarikivi, L Turoňová, M Veanes, T Vojnar Programming Languages and Systems: 17th Asian Symposium, APLAS 2019, Nusa …, 2019 | 15 | 2019 |
| Fusing Effectful Comprehensions O Saarikivi, M Veanes, T Mytkowicz, M Musuvathi PLDI, 2017 | 15 | 2017 |
Madanlal MusuvathiMicrosoft Research在 microsoft.com 的电子邮件经过验证
