VMware Research | Publications

Optimal Ball Recycling (conference version) by Michael A. Bender, Jake Christensen, Alex Conway, Martin Farach-Colton, Rob Johnson, Meng-Tsung Tsai, SODA, January, 2019
Dfinity Consensus, Explored by Ittai Abraham, Dahlia Malkhi, Kartik Nayak, Ling Ren, https://eprint.iacr.org/2018/1153, December, 2018
Validated Asynchronous Byzantine Agreement with Optimal Resilience and Asymptotically Optimal Time and Word Communication by Ittai Abraham, Dahlia Malkhi, Sasha Spiegelman, ArXiv, November, 2018
Secure Serverless Computing Using Dynamic Information Flow Control by Kalev Alpernas, Cormac Flanagan, Sadjad Fouladi, Leonid Ryzhyk, Mooly Sagiv, Thomas Schmitz, Keith Winstein, Object-Oriented Programming, Systems, Languages & Applications Conference (OOPSLA 2018), November, 2018
Synchronous Byzantine Agreement with Expected O(1) Rounds, Expected O(n^2) Communication, and Optimal Resilience by Ittai Abraham, Srinivas Devadas, Danny Dolev, Kartik Nayak, Ling Ren, eprint, October, 2018
Enabling Efficient RDMA-based Synchronous Mirroring of Persistent Memory Transactions by Arash Tavakkol, Aasheesh Kolli, Stanko Novakovic, Kaveh Rezavi, Juan Gómez-Luna, Hasan Hassan, Claude Barthels, Yaohua Wang, Mohammad Sadrosadati, Saugata Ghose, Ankit Singla, Pratap Subrahmanyam, Onur Mutlu, arXiv, October, 2018
Bloom Filters, Adaptivity, and the Dictionary Problem by Michael A Bender, Martin Farach-Colton, Mayank Goswami, Rob Johnson, Samuel McCauley, Shikha Singh, FOCS, October, 2018
The Design and Implementation of Hyperupcalls by Nadav Amit, Michael Wei, USENIX Annual Technical Conference (ATC), July, 2018
Stable and Consistent Membership at Scale with Rapid by Lalith Suresh, Dahlia Malkhi, Parikshit Gopalan, Ivan Porto Carreiro, Zeeshan Lokhandwala, USENIX ATC, July, 2018
Remote regions: a simple abstraction for remote memory by Marcos Aguilera, Nadav Amit, Irina Calciu, Xavier Deguillard, Jayneel Gandhi, Stanko Novakovic, Arun Ramanathan, Pratap Subrahmanyam, Lalith Suresh, Kiran Tati, Rajesh Venkatasubramanian, Michael Wei, USENIX Annual Technique Conference (ATC), July, 2018
Passing Messages while Sharing Memory by Marcos Aguilera, Naama Ben-David, Irina Calciu, Rachid Guerraoui, Erez Petrank, Sam Toueg, ACM Symposium on Principles of Distributed Computing (PODC), July, 2018
Optimal Ball Recycling by Michael A Bender, Jake Christensen, Alex Conway, Martin Farach-Colton, Rob Johnson, Meng-Tsung Tsai, July, 2018
Network Approximation using Tensor Sketching by Shiva Prasad Kasiviswanathan, Nina Narodytska, Hongxia Jin, The 27th International Joint Conference on Artificial Intelligence, July, 2018
Metric Embedding via Shortest Path Decompositions by Ittai Abraham, Arnold Filtser, Anupam Gupta, Ofer Neiman, STOC, July, 2018
Locking Timestamps Versus Locking Objects by Marcos K. Aguilera, Tudor David, Rachid Guerraoui, Junxiong Wang, ACM Symposium on Principles of Distributed Computing (PODC), July, 2018
Learning Optimal Decision Trees with SAT by Nina Narodytska, Filipe Pereira, Alexey Ignatiev, Joao Marques Silva, The 27th International Joint Conference on Artificial Intelligence, July, 2018
Formal Analysis of Deep Binarized Neural Networks by Nina Narodytska, Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI'18), July, 2018
Distributed SSH Key Management with Proactive RSA Threshold Signatures by Yotam Harchol, Ittai Abraham, Benny Pinkas, ACNS, July, 2018
Core-Guided Minimal Correction Set and Core Enumeration by Nina Narodytska, Nikolaj Bjørner, Maria-Cristina Marinescu, Mooly Sagiv, Twenty-Seventh International Joint Conference on Artificial Intelligence, July, 2018
Constrained Image Generation Using Binarized Neural Networks with Decision Procedures by Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Nikolaj Bjorner, Mooly Sagiv, The International Conference on Theory and Applications of Satisfiability Testing (SAT), July, 2018

< 1 2 3 … 7 >