Publications

Research Area
Publication Year
Mantis: A Fast, Small, and Exact Large-Scale Sequence-Search Index
Prashant Pandey, Fatemah Almodaresi, Michael A. Bender, Michael Ferdman, Rob Johnson, Rob Patro
RECOMB | April, 2018
SBFT: a Scalable Decentralized Trust Infrastructure for Blockchains
Guy Golan Gueta, Alin Tomescu Nicolescu, Ittai Abraham, Shelly Grossman, Dahlia Malkhi, Benny Pinkas, Mike Reiter, Dragos Adrian Seredinschi, Orr Tamir, Alin Tomescu Nicolescu
April, 2018
DAMN: overhead-free IOMMU protection for networking
Dan Tsafrir, Alex Markuze, Igor Smolyar, Adam Morrison
ASPLOS '18: ACM International Conference on Architectural Support for Languages and Operating Systems | March, 2018
HotStuff: BFT Consensus in the Lens of Blockchain
Ted Yin, Dahlia Malkhi, Mike Reiter, Guy Golan Gueta, Ittai Abraham
March, 2018
Redesigning the GPU Memory Hierarchy to Support Multi-Application Concurrency
Rachata Ausavarungnirun, Chris Rossbach, Vance Miller, Joshua Landgraf, Sugata Ghose, Jayneel Gandhi, Adwait Jog, Onur Mutlu
ASPLOS '18: ACM International Conference on Architectural Support for Languages and Operating Systems | March, 2018
Verifying Properties of Binarized Deep Neural Networks
Nina Narodytska, Shiva Kasiviswanathan, Leonid Ryzhyk, Mooly Sagiv, Toby Walsh
The Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18) | February, 2018
The Full Path to Full-Path Indexing
Yang Zhan, Alex Conway, Rob Johnson, Alex Conway, Yizheng Jiao, Eric Knorr, Michael A. Bender, Martin Farach-Colton, William Jannen, Donald E. Porter, Jun Yuan
USENIX FAST | February, 2018
Stash in a Flash
Dan Tsafrir, Aviad Zuck, Yue Li, Jehoshua Bruck, Donald E. Porter
FAST '18: USENIX Conference on File and Storage Technologies | February, 2018
Elmo: Source-Routed Multicast for Cloud Services
Muhammad Shahbaz, Lalith Suresh, Nick Feamster, Jennifer Rexford, Ori Rottenstreich, Mukesh Hira
ArXiv preprint, https://arxiv.org/abs/1802.09815 | February, 2018
Verifying Properties of Binarized Neural Networks
Nina Narodytska, Shiva Prasad Kasiviswanathan, Leonid Ryzhyk, Mooly Sagiv, Toby Walsh
The Thirty-Second AAAI Conference on Artificial Intelligence | February, 2018
Online Detection of Effectively Callback Free Objects with Applications to Smart Contracts
Shelly Grossman, Ittai Abraham, Guy Golan Gueta, Yan Michalevsky, Noam Rinetzky, Mooly Sagiv, Yoni Zohar
Proc. ACM Program. Lang. 2, POPL | January, 2018
Revisiting Fast Practical Byzantine Fault Tolerance: Thelma, Velma, and Zelma
Ittai Abraham, Guy Golan Gueta, Dahlia Malkhi, Jean-Philippe Martin
January, 2018
Solida: A Cryptocurrency Based on Reconfigurable Byzantine Consensus
Ittai Abraham, Sasha Spiegelman, Kartik Nayak, Dahlia Malkhi, Kartik Nayak, Ling Ren, Sasha Spiegelman
OPODIS | December, 2017
Supporting Diverse Dynamic Intent-based Policies using Janus
Sujata Banerjee, Anubhavnidhi Abhashkumar, Joon-Myung Kang, Aditya Akella, Ying Zhang, Wenfei Wu
ACM CoNEXT | December, 2017
Revisiting Fast Practical Byzantine Fault Tolerance
Ittai Abraham, Guy Golan Gueta, Dahlia Malkhi, Lorenzo Alvisi, Rama Kotla, Jean-Philippe Martin
December, 2017
Granular Computing and Network Intensive Applications: Friends or Foes?
Arjun Singhvi, Arjun Singhvi, Sujata Banerjee, Yotam Harchol, Aditya Akella, Mark Peek, Pontus Rydin
ACM HotNets | November, 2017
Dynamic Reconfiguration: Abstraction and Optimal Asynchronous Solution
Sasha Spiegelman, Alexander Spiegelman, Idit Keidar, Dahlia Malkhi
International Symposium on DIStributed Computing (DISC) | October, 2017
MOSAIC: A Transparent Hardware-Software Cooperative Memory Management in GPU
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
PebblesDB: Building Key-Value Stores using Fragmented Log-Structured Merge Trees
Pandian Raju, Rohan Kadekodi, Vijay Chidambaram, Ittai Abraham
Proceedings of the 26th ACM Symposium on Operating Systems Principles (SOSP '17) | October, 2017
Squeakr: An Exact and Approximate k-mer Counting System
Rob Johnson, Prashant Pandey, Prashant Pandey, Michael A Bender, Rob Patro
Bioinformatics | October, 2017