VMware Research | Publications

Elmo: Source Routed Multicast for Public Clouds by Muhammad Shahbaz, Lalith Suresh, Nick Feamster, Jennifer Rexford, Ori Rottenstreich, Mukesh Hira, ACM SIGCOMM 2019, August, 2019
The Impact of RDMA on Agreement by Marcos Aguilera, Marcos K. Aguilera, Naama Ben-David, Rachid Guerraoui, Virendra Marathe, Igor Zablotchi, Symposium on Principles of Distributed Computing, July, 2019
Communication Complexity of Byzantine Agreement, Revisited by Ittai Abraham, Kartik Nayak, T-H. Hubert Chan, Danny Dolev, Kartik Nayak, Rafael Pass, Ling Ren, Elaine Shi, Principles of Distributed Computing, PODC, July, 2019
Asymptotically Optimal Validated Asynchronous Byzantine Agreement by Ittai Abraham, Sasha Spiegelman, Dahlia Malkhi, Alexander Spiegelman, Sasha Spiegelman, PODC, July, 2019
Assessing Heuristic Machine Learning Explanations with Model Counting* by Nina Narodytska, Aditya Shrotri, Kuldeep S. Meel, Alexey Ignatiev, Joao Marques Silva, The 22nd International Conference on Theory and Applications of Satisfiability Testing, July, 2019
Using SMT to Accelerate Nested Virtualization by Lluís Vilanova, Nadav Amit, Yoav Etsion, International Symposium on Computer Architecture (ISCA), June, 2019
Storm: a Fast Transactional Dataplane for Remote Data Structures by Stanko Novakovic, Yizhou Shan, Aasheesh Kolli, Michael Cui, Yiying Zhang, Haggai Eran, Boris Pismenny, Liran Liss, Michael Wei, Dan Tsafrir, Marcos Aguilera, SYSTOR '19: ACM International Conference on Systems and Storage, June, 2019
Small Refinements to the DAM Can Have Big Consequences for Data-Structure Design by Michael A. Bender, Alex Conway, Martin Farach-Colton, William Jannen, Yizheng Jiao, Rob Johnson, Eric Knorr, Sara McAllister, Nirjhar Mukherjee, Prashant Pandey, Donald E. Porter, Jun Yuan, Yang Zhan, SPAA, June, 2019
Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions by Elazar Gershuni, Nadav Amit, Arie Gurfinkel, Nina Narodytska, Jorge A. Navas, Noam Rinetzky, Leonid Ryzhyk, Mooly Sagiv, PLDI'19, June, 2019
Mind the Mining by Sasha Spiegelman, Guy Goren, Alexander Spiegelman, Economics and Computation, June, 2019
Fast general distributed transactions with opacity by Alex Shamis, Matthew Renzelmann, Stanko Novakovic, Georgios Chatzopoulos, Aleksandar Dragojevic, Dushyanth Narayanan, Miguel Castro, ACM International Conference on Management of Data (SIGMOD), June, 2019
Differential Datalog by Leonid Ryzhyk, Mihai Budiu, Datalog 2.0, June, 2019
Apps can quickly destroy your mobile's flash: why they don't, and how to keep it that way by Tao Zhang, Aviad Zuck, Donald E. Porter, Dan Tsafrir, MobiSys '19: ACM International Conference on Mobile Systems, Applications, and Services, June, 2019
Why and how to increase SSD performance transparency by Aviad Zuck, Tao Zhang, Philipp Guhring, Donald E. Porter, Dan Tsafrir, HotOS '19: ACM Workshop on Hot Topics in Operating Systems, May, 2019
Synthesizing Cluster Management Code for Distributed Systems by Lalith Suresh, Nina Narodytska, Leonid Ryzhyk, Mooly Sagiv, Joao Loff, Brian Oki, Proceedings of the Workshop on Hot Topics in Operating Systems, May, 2019
RelGAN: Relational Generative Adversarial Networks for Text Generation by Weili Nie, Nina Narodytska, Ankit Patel, International Conference on Learning Representations, May, 2019
RedLeaf: Towards An Operating System for Safe and Verified Firmware by Vikram Narayanan, Marek S. Baranowski, Leonid Ryzhyk, Zvonimir Rakamarić, Anton Burtsev, HotOS 2019, May, 2019
Reasoning about Neural Networks: a Taxonomy of Current Approaches by Francesco Leofante, Nina Narodytska, Luca Pulina, Armando Tacchella, AAAI Spring Symposium on Verification of Neural Networks (VNN19)., May, 2019
Project PBerry: FPGA Acceleration for Remote Memory by Irina Calciu, Ivan Puddu, Aasheesh Kolli, Andreas Nowatzyk, Jayneel Gandhi, Onur Mutlu, Pratap Subrahmanyam, Proceedings of the Workshop on Hot Topics in Operating Systems, May, 2019
Locality-Preserving Oblivious RAM by Kartik Nayak, Gilad Asharov, T-H. Hubert Chan, Kartik Nayak, Rafael Pass, Ling Ren, Elaine Shi, Eurocrypt, May, 2019

< 1 2 3 … 9 >