Vikram Saraph

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 13

Top Topics

Top Venues

Financial Cryptography Workshops

Arch. Math. Log.

Publications

Vivian Maloney, Richard F. Obrecht, Vikram Saraph, Prathibha Rama, Kate Tallaksen
High-Resolution Convolutional Neural Networks on Homomorphically Encrypted Data via Sharding Ciphertexts. CoRR (2023)
Kiwan Maeng, Shivam Bharuka, Isabel Gao, Mark C. Jeffrey, Vikram Saraph, Bor-Yiing Su, Caroline Trippel, Jiyan Yang, Mike Rabbat, Brandon Lucia, Carole-Jean Wu
Understanding and Improving Failure Tolerant Training for Deep Learning Recommendation with Partial Recovery. MLSys (2021)
Udit Gupta, Samuel Hsia, Vikram Saraph, Xiaodong Wang, Brandon Reagen, Gu-Yeon Wei, Hsien-Hsin S. Lee, David Brooks, Carole-Jean Wu
DeepRecSys: A System for Optimizing End-To-End At-Scale Neural Recommendation Inference. ISCA (2020)
Kiwan Maeng, Shivam Bharuka, Isabel Gao, Mark C. Jeffrey, Vikram Saraph, Bor-Yiing Su, Caroline Trippel, Jiyan Yang, Mike Rabbat, Brandon Lucia, Carole-Jean Wu
CPR: Understanding and Improving Failure Tolerant Training for Deep Learning Recommendation with Partial Recovery. CoRR (2020)
Udit Gupta, Samuel Hsia, Vikram Saraph, Xiaodong Wang, Brandon Reagen, Gu-Yeon Wei, Hsien-Hsin S. Lee, David Brooks, Carole-Jean Wu
DeepRecSys: A System for Optimizing End-To-End At-scale Neural Recommendation Inference. CoRR (2020)
Vikram Saraph, Maurice Herlihy
An Empirical Study of Speculative Concurrency in Ethereum Smart Contracts. Tokenomics (2019)
Vikram Saraph, Maurice Herlihy
An Empirical Study of Speculative Concurrency in Ethereum Smart Contracts. CoRR (2019)
Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Vikram Saraph, Eric Koskinen
Proof-Carrying Smart Contracts. Financial Cryptography Workshops (2018)
Vikram Saraph, Maurice Herlihy, Eli Gafni
An algorithmic approach to the asynchronous computability theorem. J. Appl. Comput. Topol. 1 (3-4) (2018)
Julia F. Knight, Vikram Saraph
Scott sentences for certain groups. Arch. Math. Log. 57 (3-4) (2018)
Vikram Saraph, Maurice Herlihy, Eli Gafni
An Algorithmic Approach to the Asynchronous Computability Theorem. CoRR (2017)
Archita Agarwal, Zhiyu Liu, Eli Rosenthal, Vikram Saraph
Linearizable Iterators for Concurrent Data Structures. CoRR (2017)
Vikram Saraph, Maurice Herlihy, Eli Gafni
Asynchronous Computability Theorems for t-Resilient Systems. DISC (2016)
Vikram Saraph, Maurice Herlihy
The Relative Power of Composite Loop Agreement Tasks. OPODIS (2015)
Vipin Vijayan, Vikram Saraph, Tijana Milenkovic
MAGNA++: Maximizing Accuracy in Global Network Alignment via both node and edge conservation. Bioinform. 31 (14) (2015)
Maurice Herlihy, Vikram Saraph
The Relative Power of Composite Loop Agreement Tasks. CoRR (2015)
Vikram Saraph, Tijana Milenkovic
MAGNA: Maximizing Accuracy in Global Network Alignment. Bioinform. 30 (20) (2014)