| MAGNA: maximizing accuracy in global network alignment V Saraph, T Milenković Bioinformatics 30 (20), 2931-2940, 2014 | 223 | 2014 |
| MAGNA++: maximizing accuracy in global network alignment via both node and edge conservation V Vijayan, V Saraph, T Milenković Bioinformatics 31 (14), 2409-2411, 2015 | 178 | 2015 |
| Deeprecsys: A system for optimizing end-to-end at-scale neural recommendation inference U Gupta, S Hsia, V Saraph, X Wang, B Reagen, GY Wei, HHS Lee, ... 2020 ACM/IEEE 47th Annual International Symposium on Computer Architecture …, 2020 | 175 | 2020 |
| An empirical study of speculative concurrency in ethereum smart contracts V Saraph, M Herlihy arXiv preprint arXiv:1901.01376, 2019 | 72 | 2019 |
| Asynchronous computability theorems for t-resilient systems V Saraph, M Herlihy, E Gafni Distributed Computing: 30th International Symposium, DISC 2016, Paris …, 2016 | 25 | 2016 |
| Understanding and improving failure tolerant training for deep learning recommendation with partial recovery K Maeng, S Bharuka, I Gao, M Jeffrey, V Saraph, BY Su, C Trippel, J Yang, ... Proceedings of Machine Learning and Systems 3, 637-651, 2021 | 21 | 2021 |
| Proof-carrying smart contracts T Dickerson, P Gazzillo, M Herlihy, V Saraph, E Koskinen International Conference on Financial Cryptography and Data Security, 325-338, 2018 | 15 | 2018 |
| Scott sentences for certain groups JF Knight, V Saraph Archive for Mathematical Logic 57 (3), 453-472, 2018 | 14 | 2018 |
| An algorithmic approach to the asynchronous computability theorem V Saraph, M Herlihy, E Gafni Journal of Applied and Computational Topology 1, 451-474, 2018 | 8 | 2018 |
| Linearizable iterators for concurrent sets A Agarwal, Z Liu, E Rosenthal, V Saraph arXiv preprint arXiv:1705.08885, 2017 | 7* | 2017 |
| The relative power of composite loop agreement tasks V Saraph, M Herlihy 19th International Conference on Principles of Distributed Systems (OPODIS 2015), 2016 | 5 | 2016 |
| Fault-Tolerant Distributed Computability. V Saraph Brown University, USA, 2019 | | 2019 |
Maurice HerlihyAn Wang Professor of Computer Science, Brown University在 cs.brown.edu 的电子邮件经过验证
