VMware Research | Publications

Stable and Consistent Membership at Scale with Rapid by Lalith Suresh, Dahlia Malkhi, Parikshit Gopalan, Ivan Porto Carreiro, Zeeshan Lokhandwala, USENIX ATC, 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
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
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
A SAT-Based Approach to Learn Explainable Decision Sets by Alexey Ignatiev, Filipe Pereira, Nina Narodytska, Joao Marques-Silva, The 9th International Joint Conference on Automated Reasoning, July, 2018
Distributed SSH Key Management with Proactive RSA Threshold Signatures by Yotam Harchol, Ittai Abraham, Benny Pinkas, ACNS, July, 2018
Metric Embedding via Shortest Path Decompositions by Ittai Abraham, Arnold Filtser, Anupam Gupta, Ofer Neiman, STOC, July, 2018
The Design and Implementation of Hyperupcalls by Nadav Amit, Michael Wei, USENIX Annual Technical Conference (ATC), July, 2018
Mantis: A Fast, Small, and Exact Large-Scale Sequence-Search Index by Prashant Pandey, Fatemah Almodaresi, Michael A. Bender, Michael Ferdman, Rob Johnson, Rob Patro, RECOMB, April, 2018
SBFT: a Scalable Decentralized Trust Infrastructure for Blockchains by Guy Golan Gueta, Alin Tomescu, Ittai Abraham, Shelly Grossman, Dahlia Malkhi, Benny Pinkas, Mike Reiter, Dragos Adrian Seredinschi, Orr Tamir, Alin Tomescu, April, 2018
DAMN: overhead-free IOMMU protection for networking by Alex Markuze, Igor Smolyar, Adam Morrison, Dan Tsafrir, ASPLOS '18: ACM International Conference on Architectural Support for Languages and Operating Systems, March, 2018
Hot-Stuff the Linear, Optimal-Resilience, One-Message BFT Devil by Ittai Abraham, Guy Golan Gueta, Dahlia Malkhi, March, 2018
Redesigning the GPU Memory Hierarchy to Support Multi-Application Concurrency by Rachata Ausavarungnirun, Chris Rossbach, Vance Miller, Joshua Landgraf, Sugata Ghose, Jayneel Gandhi, Adwait Jog, Onur Mutlu, ASPLOS '18: ACM International Conference on Architectural Support for Languages and Operating Systems, March, 2018
The Full Path to Full-Path Indexing by Yang Zhan, Alex Conway, Rob Johnson, Alex Conway, Yizheng Jiao, Eric Knorr, Michael A. Bender, Martin Farach-Colton, William Jannen, Donald E. Porter, Jun Yuan, USENIX FAST, February, 2018
Stash in a Flash by Aviad Zuck, Yue Li, Jehoshua Bruck, Donald E. Porter, Dan Tsafrir, FAST '18: USENIX Conference on File and Storage Technologies, February, 2018
Elmo: Source-Routed Multicast for Cloud Services by Muhammad Shahbaz, Lalith Suresh, Nick Feamster, Jennifer Rexford, Ori Rottenstreich, Mukesh Hira, ArXiv preprint, https://arxiv.org/abs/1802.09815, February, 2018
Verifying Properties of Binarized Neural Networks by Nina Narodytska, Shiva Prasad Kasiviswanathan, Leonid Ryzhyk, Mooly Sagiv, Toby Walsh, The Thirty-Second AAAI Conference on Artificial Intelligence, February, 2018
Online Detection of Effectively Callback Free Objects with Applications to Smart Contracts by Shelly Grossman, Ittai Abraham, Guy Golan Gueta, Yan Michalevsky, Noam Rinetzky, Mooly Sagiv, Yoni Zohar, Proc. ACM Program. Lang. 2, POPL, January, 2018
Revisiting Fast Practical Byzantine Fault Tolerance: Thelma, Velma, and Zelma by Ittai Abraham, Guy Golan Gueta, Dahlia Malkhi, Jean-Philippe Martin, January, 2018
Solida: A Cryptocurrency Based on Reconfigurable Byzantine Consensus by Ittai Abraham, Dahlia Malkhi, Kartik Nayak, Ling Ren, Sasha Spiegelman, OPODIS, December, 2017

< 1 2 3 4 5 >