VMware Research | Publications

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
RelGAN: Relational Generative Adversarial Networks for Text Generation by Weili Nie, Nina Narodytska, Ankit Patel, International Conference on Learning Representations, 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
An Efficient and Scalable Representation of High-Dimensional Color Information Enabled via de Bruijn Graph Search by Fatemah Almodaresi, Prashant Pandey, Michael Ferdman, Rob Johnson, Rob Patro, RECOMB, May, 2019
Engineering a High-Performance GPU B-Tree by Muhammad A. Awad, Saman Ashkiani, Rob Johnson, Martin Farach-Colton, John D. Owens, PPoPP, February, 2019
Alembic: Automated Model Inference for Stateful Network Functions (to appear) by Soo-Jin Moon, Jeffrey Helt, Yifei Yuan, Yves Bieri, Sujata Banerjee, Vyas Sekar, Wenfei Wu, Mihalis Yannakakis, Ying Zhang, Proceedings of USENIX NSDI, February, 2019
Abduction-Based Explanations for Machine Learning Models by Alexey Ignatiev, Nina Narodytska, Joao Marques-Silva, AAAI Conference on Artificial Intelligence, February, 2019
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

< 1 2 3 … 7 >