VMware Research | Publications

System Programming in Rust: Beyond Safety by Abhiram Balasubramanian, Marek S. Baranowski, Anton Burtsev, Aurojit Panda, Zvonimir Rakamarić, Leonid Ryzhyk, HotOS, May, 2017
Hypercallbacks: Decoupling Policy Decisions and Execution by Nadav Amit, Michael Wei, William Tu, ACM Workshop on Hot Topics in Operating Systems (HotOS), May, 2017
Black-box Concurrent Data Structures for NUMA Architectures by Irina Calciu, Siddhartha Sen, Mahesh Balakrishnan, Marcos Aguilera, ASPLOS, April, 2017
Rein: Taming Tail Latency in Key Value Stores via Multiget Scheduling by Waleed Reda, Marco Canini, Lalith Suresh, Dejan Kostic, Sean Braithwaite, EuroSys, April, 2017
Page Fault Support for Network Controllers by Ilya Lesokhin, Haggai Eran, Shachar Raindel, Guy Shapiro, Sagi Grimberg, Liran Liss, Muli Ben-Yehuda, Nadav Amit, Dan Tsafrir, ASPLOS, April, 2017
Top-k Query Processing with Conditional Skips by Edward Bortnikov, David Carmel, Guy Golan Gueta, Proceedings of the 26th International Conference on World Wide Web Companion, April, 2017
vCorfu: A Cloud-Scale Object Store on a Shared Log by Michael Wei, Amy Tai, Chris Rossbach, Ittai Abraham, Maithem Munshed, Medhavi Dhawan, Jim Stabile, Udi Wieder, Scott Lystig Fritchie, Steven Swanson, Michael Freedman, Dahlia Malkhi, NSDI, March, 2017
Correct by Construction Networks using Stepwise Refinement by Leonid Ryzhyk, Nikolaj Bjørner, Marco Canini, Jean-Baptiste Jeannin, Cole Schlesinger, Douglas B. Terry, George Varghese, NSDI, March, 2017
Automatic Scalable Atomicity via Semantic Locking by Guy Golan Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav, ACM Trans. Parallel Comput., March, 2017
KiWi: A Key-Value Map for Scalable Real-Time Analytics by Dmitry Basin, Edward Bortnikov, Anastasia Braginsky, Guy Golan Gueta, Eshcar Hillel, Idit Keidar, Moshe Sulamy, PPoPP 2017, February, 2017
SPACE: Semi-Partitioned CachE for Energy Efficient, Hard Real-Time Systems by Israel Cidon, Gil Kedar, Avi Mendelson, {IEEE} Trans. Computers, 2017
Flexible Paxos: Quorum Intersection Revisited by Heidi Howard, Dahlia Malkhi, Sasha Spiegelman, OPODIS, December, 2016
P4_16 Language Specification by The P4.org language consortium, December, 2016
Coordinated and Efficient Huge Page Management with Ingens by Youngjin Kwon, Hangchen Yu, Simon Peter, Christopher J. Rossbach, Emmett Witchel, 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16), November, 2016
OpenBox: A Software-Defined Framework for Developing, Deploying, and Managing Network Functions by Anat Bremler-Barr, Yotam Harchol, David Hay, Proceedings of the 2016 conference on ACM SIGCOMM 2016 Conference, Florianopolis, Brazil, August 22-26, 2016, August, 2016
BVP: Byzantine Vertical Paxos by Ittai Abraham, Dahlia Malkhi, Distributed Cryptocurrencies and Consensus Ledgers (DCCL), July, 2016
Stratified Synthesis: Automatically Learning the x86-64 Instruction Set by Stefan Heule, Eric Schkufza, Rahul Sharma, Alex Aiken, PLDI, June, 2016
Links as a Service (LaaS): Guaranteed Tenant Isolation in the Shared Cloud by Eitan Zahavi, Alexander Shpiner, Ori Rottenstreich, Avinoam Kolodny, Isaac Keslassy, ACM/IEEE ANCS, March, 2016
Stochastic Program Optimization by Eric Schkufza, Rahul Sharma, Alex Aiken, Communications of the ACM Research Highlights, February, 2016
Dynamic Reconfiguration: A Tutorial by Alexander Spiegelman, Idit Keidar, Dahlia Malkhi, OPODIS, January, 2016

< 1 2 >