Research Area
Publication Year
Assessing Heuristic Machine Learning Explanations with Model Counting
Nina Narodytska, Aditya Shrotri, Kuldeep S. Meel, Alexey Ignatiev, Joao Marques Silva
The 22nd International Conference on Theory and Applications of Satisfiability Testing | July, 2019
Assessing Heuristic Machine Learning Explanations with Model Counting*
Nina Narodytska, Aditya Shrotri, Kuldeep S. Meel, Alexey Ignatiev, Joao Marques Silva
The 22nd International Conference on Theory and Applications of Satisfiability Testing | July, 2019
Communication Complexity of Byzantine Agreement, Revisited
Ittai Abraham, Kartik Nayak, T-H. Hubert Chan, Danny Dolev, Kartik Nayak, Rafael Pass, Ling Ren, Elaine Shi
Principles of Distributed Computing, PODC | July, 2019
Locality-Preserving Oblivious RAM
Kartik Nayak, Gilad Asharov, T-H. Hubert Chan, Kartik Nayak, Rafael Pass, Ling Ren, Elaine Shi
Eurocrypt | May, 2019
Flexible Byzantine Fault Tolerance
Dahlia Malkhi, Kartik Nayak, Kartik Nayak, Ling Ren
Computer and Communication Security (CCS) | ACM | November, 2019
Understanding Lifecycle Management Complexity of Datacenter Topologies
Mingyang Zhang, Radhika Niranjan Mysore, Sucha Supittayapornpong, Ramesh Govindan
February, 2019
Using SMT to Accelerate Nested Virtualization
Lluís Vilanova, Nadav Amit, Yoav Etsion
International Symposium on Computer Architecture (ISCA) | June, 2019
Differential Datalog
Leonid Ryzhyk, Mihai Budiu
Datalog 2.0 | June, 2019
Synthesizing Cluster Management Code for Distributed Systems
Lalith Suresh, Nina Narodytska, Leonid Ryzhyk, Mooly Sagiv, Joao Loff, Brian Oki
Proceedings of the Workshop on Hot Topics in Operating Systems | May, 2019
Implementing Mediators with Asynchronous Cheap Talk
Ittai Abraham, Danny Dolev, Ivan Geffner, Joe Halpern
PODC 2019 | 2019
Why and how to increase SSD performance transparency
Aviad Zuck, Tao Zhang, Philipp Guhring, Donald E. Porter, Dan Tsafrir
HotOS '19: ACM Workshop on Hot Topics in Operating Systems | May, 2019
Apps can quickly destroy your mobile's flash: why they don't, and how to keep it that way
Tao Zhang, Aviad Zuck, Donald E. Porter, Dan Tsafrir
MobiSys '19: ACM International Conference on Mobile Systems, Applications, and Services | June, 2019
Outsmarting Nonuniform DMA
Igor Smolyar, Dan Tsafrir, Guolin Yang, Craige Jiang, Ben Pfaff, Boris Pismenny, Tzahi Oved
RADIO | May, 2019
File-System Aging: It's More Usage than Fullness
Alex Conway, Eric Knorr, Yizheng Jiao, Michael A. Bender, William Jannen, Rob Johnson, Don Porter, Martin Farach-Colton
HotStorage | July, 2019
BDD-Based Algorithms for Packet Classification
Nina Narodytska, Leonid Ryzhyk, Igor Ganichev, Soner Sevinc
FMCAD'19 | Formal Methods in Computer-Aided Design | October, 2019
Scalable and Practical Locking With Shuffling
Sanidhya Kashyap, Irina Calciu, Xiaohe Cheng, Changwoo Min, Taesoo Kim
SOSP | October, 2019