VMware Research | Publications

Dynamic Reconfiguration: Abstraction and Optimal Asynchronous Solution by Alexander Spiegelman, Idit Keidar, Dahlia Malkhi, International Symposium on DIStributed Computing (DISC), October, 2017
MOSAIC: A Transparent Hardware-Software Cooperative Memory Management in GPU by Rachata Ausavarungnirun, Joshua Landgraf, Vance Miller, Saugata Ghose, Jayneel Gandhi, Onur Mutlu, Chris Rossbach, Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-50), October, 2017
Optimizing the TLB Shootdown Algorithm with Page Access Tracking by Nadav Amit, USENIX Annual Technical Conference, July, 2017
Agile Paging for Efficient Memory Virtualization by Jayneel Gandhi, Mark D. Hill, Michael M. Swift, IEEE Micro, June, 2017
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

< 1 2 3 >