Publications

Solidus: An incentive-compatible cryptocurrency based on permissionless Byzantine consensus
Ittai Abraham, Sasha Spiegelman, Kartik Nayak, Dahlia Malkhi, Kartik Nayak, Ling Ren, Sasha Spiegelman
arXiv preprint arXiv:1612.02916, 2016 | December, 2016

Coordinated and Efficient Huge Page Management with Ingens
Youngjin Kwon, Hangchen Yu, Simon Peter, Christopher J. Rossbach, Emmett Witchel
12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16) | November, 2016

CLOVE: How I learned to stop worrying about the core and love the edge
Naga Praveen Katta, Mukesh Hira, Aditi Ghag, Changhoon Kim, Isaac Keslassy, Jennifer Rexford
HotNets | November, 2016

A Sampling-Based Approach to Accelerating Queries in Log Management Systems
Tal Wagner, Eric Schkufza, Udi Wieder
SPLASH | November, 2016

Packet Transactions: High-level Programming for Line-Rate Switches
Mihai Budiu, Anirudh Sivaraman, Alvin Cheung, Changhoon Kim, Mohammad Alizadeh, Hari Balakrishnan, George Varghese, Nick McKeown, Steve Licking
ACM SIGCOMM | August, 2016

Virtualized Congestion Control
Shay Vargaftik, Bryce Cronkite-Ratcliff, Aran Bergman, Madhusudhan Ravi, Nick McKeown, Ittai Abraham, Isaac Keslassy
SIGCOMM 2016 | August, 2016

OpenBox: A Software-Defined Framework for Developing, Deploying, and Managing Network Functions
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
Ittai Abraham, Dahlia Malkhi
Distributed Cryptocurrencies and Consensus Ledgers (DCCL) | July, 2016

Stratified Synthesis: Automatically Learning the x86-64 Instruction Set
Eric Schkufza, Stefan Heule, Rahul Sharma, Alex Aiken
PLDI | June, 2016

Links as a Service (LaaS): Guaranteed Tenant Isolation in the Shared Cloud
Eitan Zahavi, Alexander Shpiner, Ori Rottenstreich, Avinoam Kolodny, Isaac Keslassy
ACM/IEEE ANCS | March, 2016

Stochastic Program Optimization
Eric Schkufza, Rahul Sharma, Alex Aiken
Communications of the ACM Research Highlights | February, 2016

Dynamic Reconfiguration: A Tutorial
Sasha Spiegelman, Alexander Spiegelman, Idit Keidar, Dahlia Malkhi
OPODIS | January, 2016

On Dynamic Approximate Shortest Paths for Planar Graphs with Worst-Case Costs
Ittai Abraham, Shiri Chechik, Daniel Delling, Andrew V. Goldberg, Renato F. Werneck
Proceedings of the Twenty-Seventh Annual {ACM-SIAM} Symposium on Discrete Algorithms, SODA 2016 | 2016

How Many Workers to Ask? Adaptive Exploration for Collecting High Quality Labels
Ittai Abraham, Omar Alonso, Vasilis Kandylas, Rajesh Patel, Steven Shelford, Aleksandrs Slivkins
SIGIR 2016 | 2016

Silver: A scalable, distributed, multi-versioning, Always growing (Ag) File System
Michael Wei, Udi Wieder, Amy Tai, Chris Rossbach, Ittai Abraham, Steve Swanson, Dahlia Malkhi
HotStorage '2016 | 2016

Replex: A Scalable, Highly Available Multi-Index Store
Amy Tai, Michael Wei, Michael Freedman, Ittai Abraham, Dahlia Malkhi
Usenix ATC | 2016

On Fully Dynamic Graph Sparsifiers
Ittai Abraham, David Durfee, Ioannis Koutis, Sebastian Krinninger, Richard Peng
FOCS | 2016

NVMove: Helping Programmers Move to Byte-Based Persistence
Himanshu Chauhan, Eric Schkufza, Irina Calciu, Vijay Chidambaram, Onur Mutlu, Pratap Subrahmanyam
4th Workshop on Interactions of NVM/Flash with Operating Systems and Workloads (INFLOW 16) | 2016

Design and dynamic management of hierarchical NoCs
Israel Cidon, Ran Manevich, Avinoam Kolodny
Microprocessors and Microsystems - Embedded Hardware Design | 2016

Elastic Configuration Maintenance via a Parsimonious Speculating Snapshot Solution
Eli Gafni, Dahlia Malkhi
International Symp. on Distributed Computing | October, 2015