| Modularity for decidability of deductive verification with applications to distributed systems M Taube, G Losa, KL McMillan, O Padon, M Sagiv, S Shoham, JR Wilcox, ... Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018 | 76 | 2018 |
| Efficient packing of compressed data in storage system implementing data striping Z Schneider, M Taube, L Kamran, A Soukhman, D Krakov US Patent 10,684,915, 2020 | 24 | 2020 |
| Efficient packing of compressed data in storage system implementing data striping Z Schneider, M Taube, L Kamran, A Soukhman, D Krakov US Patent 10,990,479, 2021 | 22 | 2021 |
| WIP: Finding bugs automatically in smart contracts with parameterized invariants T Bernardi, N Dor, A Fedotov, S Grossman, N Immerman, D Jackson, ... Retrieved July 14, 2020, 2020 | 16 | 2020 |
| Counterexample driven quantifier instantiations with applications to distributed protocols O Tamir, M Taube, KL McMillan, S Shoham, J Howell, G Gueta, M Sagiv Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 1878-1904, 2023 | 4 | 2023 |
| Fittest stripe selection for storage of data in storage systems L Kamran, A Soukhman, M Taube, R Gazit US Patent 10,996,882, 2021 | | 2021 |
