Hillview: A trillion-cell spreadsheet for big data
Mihai Budiu, Parikshit Gopalan, Lalith Suresh, Udi Wieder, Han Kruiger, Marcos K. Aguilera
Proceedings of the VLDB Endowment (VLDB) | July, 2019

PIDForest: Anomaly Detection and Certification via Partial Identification
Parikshit Gopalan, Vatsal Sharan, Udi Wieder
NeurIPS 2019 | August, 2019

An Efficient, Scalable and Exact Representation of High-Dimensional Color Information Enabled via de Bruijn Graph Search
Fatemah Almodaresi, Prashant Pandey, Michael A. Bender, Rob Johnson, Rob Patro
Journal of Computational Biology | 2019

Automating Cluster Management with Weave
Lalith Suresh, Faria Kalim, Nina Narodytska, Leonid Ryzhyk, Mooly Sagiv, Joao Loff, Sahan Gamage, Brian Oki, Zeeshan Lokhandwala, Mukesh Hira
arXiv preprint arXiv:1909.03130 | September, 2019

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

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

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

Revisiting Fast Practical Byzantine Fault Tolerance: Thelma, Velma, and Zelma
Ittai Abraham, Guy Golan Gueta, Dahlia Malkhi, Jean-Philippe Martin
January, 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

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

Stable and Consistent Membership at Scale with Rapid
Lalith Suresh, Dahlia Malkhi, Parikshit Gopalan, Ivan Porto Carreiro, Zeeshan Lokhandwala
USENIX ATC | July, 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

HotStuff: BFT Consensus in the Lens of Blockchain
Ted Yin, Dahlia Malkhi, Mike Reiter, Guy Golan Gueta, Ittai Abraham
March, 2018

SBFT: a Scalable Decentralized Trust Infrastructure for Blockchains
Guy Golan Gueta, Alin Tomescu, Ittai Abraham, Shelly Grossman, Dahlia Malkhi, Benny Pinkas, Mike Reiter, Dragos Adrian Seredinschi, Orr Tamir, Alin Tomescu
April, 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

Network Approximation using Tensor Sketching
Shiva Prasad Kasiviswanathan, Nina Narodytska, Hongxia Jin
The 27th International Joint Conference on Artificial Intelligence | July, 2018

Constrained Image Generation Using Binarized Neural Networks with Decision Procedures
Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Nikolaj Bjorner, Mooly Sagiv
The International Conference on Theory and Applications of Satisfiability Testing (SAT) | July, 2018

Learning Optimal Decision Trees with SAT
Nina Narodytska, Filipe Pereira, Alexey Ignatiev, Joao Marques Silva
The 27th International Joint Conference on Artificial Intelligence | July, 2018

A SAT-Based Approach to Learn Explainable Decision Sets
Alexey Ignatiev, Filipe Pereira, Nina Narodytska, Joao Marques-Silva
The 9th International Joint Conference on Automated Reasoning | July, 2018