VMware Research | Publications

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
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
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
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
Formal Analysis of Deep Binarized Neural Networks by Nina Narodytska, Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI'18), 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
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
Optimal Ball Recycling by Michael A Bender, Jake Christensen, Alex Conway, Martin Farach-Colton, Rob Johnson, Meng-Tsung Tsai, July, 2018
A Scalable Linearizable Multi-Index Table by Erez Petrank, Gali Sheffi, Guy Golan Gueta, 38th {IEEE} International Conference on Distributed Computing Systems, {ICDCS} 2018, Vienna, Austria, July 2-6, 2018, July, 2018
Mantis: A Fast, Small, and Exact Large-Scale Sequence-Search Index (journal version) by Prashant Pandey, Fatemah Almodaresi, Michael A. Bender, Michael Ferdman, Rob Johnson, Rob Patro, Cell Systems, June, 2018
Another proof for Cuckoo-Hashing with new variants by , arXiv preprint, June, 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

< 1 2 3 … 6 >