| Phi-3 technical report: A highly capable language model locally on your phone M Abdin, J Aneja, H Awadalla, A Awadallah, AA Awan, N Bach, A Bahree, ... arXiv preprint arXiv:2404.14219, 2024 | 757 | 2024 |
| Textbooks are all you need S Gunasekar, Y Zhang, J Aneja, CCT Mendes, A Del Giorno, S Gopi, ... arXiv preprint arXiv:2306.11644, 2023 | 547 | 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 | 295 | 2019 |
| Phi-2: The surprising power of small language models M Javaheripi, S Bubeck, M Abdin, J Aneja, S Bubeck, CCT Mendes, ... Microsoft Research Blog 1 (3), 3, 2023 | 207 | 2023 |
| 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 | 161 | 2020 |
| 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 | 55 | 2022 |
| 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 | 55 | 2021 |
| {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 | 49 | 2023 |
| 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 |
| 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 | 37 | 2020 |
| 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 | 35 | 2011 |
| Symbolic regex matcher O Saarikivi, M Veanes, T Wan, E Xu Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019 | 29 | 2019 |
| 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 | 28 | 2021 |
| Phi-3 technical report: A highly capable language model locally on your phone, 2024 M Abdin, J Aneja, H Awadalla, A Awadallah, AA Awan, N Bach, A Bahree, ... URL https://arxiv. org/abs/2404.14219, 2024 | 24 | 2024 |
| Textbooks Are All You Need (2023) S Gunasekar, Y Zhang, J Aneja, CCT Mendes, A Del Giorno, S Gopi, ... arXiv preprint arXiv:2306.11644, 2023 | 23 | 2023 |
| Homomorphic evaluation of tensor programs MS Musuvathi, K Laine, KE Lauter, H Chen, OI Saarikivi, S Maleki, ... US Patent 11,177,935, 2021 | 22 | 2021 |
| Derivative based nonbacktracking real-world regex matching with backtracking semantics D Moseley, M Nishio, J Perez Rodriguez, O Saarikivi, S Toub, M Veanes, ... Proceedings of the ACM on Programming Languages 7 (PLDI), 1026-1049, 2023 | 21 | 2023 |
| Mscclang: Microsoft collective communication language M Cowan, S Maleki, M Musuvathi, O Saarikivi, Y Xiong Proceedings of the 28th ACM International Conference on Architectural …, 2023 | 21 | 2023 |
| Unfolding based automated testing of multithreaded programs K Kähkönen, O Saarikivi, K Heljanko Automated Software Engineering 22, 475-515, 2015 | 21 | 2015 |
Madanlal MusuvathiMicrosoft ResearchVerified email at microsoft.com