Publications

Black-box Concurrent Data Structures for NUMA Architectures
Irina Calciu, Siddhartha Sen, Mahesh Balakrishnan, Marcos Aguilera
ASPLOS | April, 2017

Rein: Taming Tail Latency in Key Value Stores via Multiget Scheduling
Waleed Reda, Marco Canini, Lalith Suresh, Dejan Kostic, Sean Braithwaite
EuroSys | April, 2017

Page Fault Support for Network Controllers
Ilya Lesokhin, Haggai Eran, Shachar Raindel, Guy Shapiro, Sagi Grimberg, Liran Liss, Muli Ben-Yehuda, Nadav Amit, Dan Tsafrir
ASPLOS '17: ACM International Conference on Architectural Support for Programming Languages and Operating Systems | April, 2017

Top-k Query Processing with Conditional Skips
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
Michael Wei, Amy Tai, Chris Rossbach, Ittai Abraham, Maithem Munshed, Medhavi Dhawan, Jim Stabile, Steven Swanson, Michael Freedman, Dahlia Malkhi, Udi Wieder
NSDI | March, 2017

Correct by Construction Networks using Stepwise Refinement
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
Guy Golan Gueta, Themistoklis Melissaris, G. Ramalingam, Mooly Sagiv, Eran Yahav
ACM Trans. Parallel Comput. | March, 2017

KiWi: A Key-Value Map for Scalable Real-Time Analytics
Dmitry Basin, Edward Bortnikov, Anastasia Braginsky, Guy Golan Gueta, Eshcar Hillel, Idit Keidar, Moshe Sulamy
PPoPP 2017 | February, 2017

Hardware and software support for virtualization
Edouard Bugnion, Jason Nieh, Dan Tsafrir
February, 2017

SPACE: Semi-Partitioned CachE for Energy Efficient, Hard Real-Time Systems
Israel Cidon, Gil Kedar, Avi Mendelson
{IEEE} Trans. Computers | 2017

Remote memory in the age of fast networks
Marcos Aguilera, Nadav Amit, Irina Calciu, Xavier Deguillard, Jayneel Gandhi, Pratap Subrahmanyam, Lalith Suresh, Kiran Tati, Rajesh Venkatasubramanian, Michael Wei
ACM Symposium on Cloud Computing (SOCC) | 2017

Practical Synchronous Byzantine Consensus
Ling Ren, Kartik Nayak, Kartik Nayak, Ittai Abraham, Srinivas Devadas
CoRR | 2017

Efficient Synchronous Byzantine Consensus
Ittai Abraham, Srinivas Devadas, Danny Dolev, Kartik Nayak, Ling Ren
arXiv preprint arXiv:1704.02397, 2017 | 2017

Cluster-based load balancing for better network security
Yaniv Ben-Itzhak, Gal Frishman, Oded Margalit
Proceedings of the Workshop on Big Data Analytics and Machine Learning for Data Communication Networks | 2017

How to implement any concurrent data structure for modern servers
Irina Calciu, Siddhartha Sen, Mahesh Balakrishnan, Marcos Aguilera
Operating Systems Review | 2017

Brief Announcement: Black-box Concurrent Data Structures for NUMA Architectures
Irina Calciu, Siddhartha Sen, Mahesh Balakrishnan, Marcos Aguilera
DISC | 2017

Concurrent Data Structures for Near-Memory Computing
Zhiyu Liu, Irina Calciu, Maurice Herlihy, Onur Mutlu
SPAA | 2017

Flexible Paxos: Quorum Intersection Revisited
Heidi Howard, Sasha Spiegelman, Dahlia Malkhi, Sasha Spiegelman
OPODIS | December, 2016

P4_16 Language Specification
The P4.org language consortium
December, 2016

Composite-Path Switching
Shay Vargaftik, Shay Vargaftik, Katherine Barabash, Ofer Biran, Dean H Lorenz, Isaac Keslassy, Ariel Orda
CoNEXT 2016 | December, 2016