Research Area
Publication Year
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
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
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
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