Publications

Understanding DMA Attacks in the Presence of an IOMMU
Alex Markuze, Shay Vargaftik, Gil Kupfer, Boris Pismenny, Nadav Amit, Adam Morrison, Dan Tsafrir
Eurosys | 2021

Copy-on-Abundant-Write for Nimble File System Clones
Yang Zhan, Alex Conway, Yizheng Jiao, Nirjhar Mukherjee, Ian Groombridge, Michael A. Bender, Martin Farach-Colton, William Jannen, Rob Johnson, Donald E. Porter, Jun Yuan
ACM Transactions on Storage | 2021

External-Memory Dictionaries in the Affine and PDAM Models
Michael A. Bender, Alex Conway, Martin Farach-Colton, William Jannen, Yizheng Jiao, Rob Johnson, Eric Knorr, Sara McAllister, Nirjhar Mukherjee, Prashant Pandey, Donald E. Porter, Jun Yuan, Yang Zhan
Transactions on Parallel Computing | 2021

Constant-time snapshots with applications to concurrent data structures
Yuanhao Wei, Naama Ben David, Guy E Blelloch, Panagiota Fatourou, Eric Ruppert, Yihan Sun
Proceedings of the 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP) | 2021

Reasoning-Based Learning of Interpretable ML Models
Nina Narodytska, Alexey Ignatiev, Joao Marques-Silva, Peter J. Stuckey
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI2021, Virtual Event / Montreal, Canada, 19-27 August 2021 | 2021

PL2: Towards Predictable Low Latency in Rack-Scale Networks
Yanfang Le, Radhika Niranjan Mysore, Lalith Suresh, Gerd Zellweger, Sujata Banerjee, Aditya Akella, Michael Swift
2021 P4 Workshop | 2021

Systems Research is Running out of Time
Ali Najafi, Amy Tai, Michael Wei
Proceedings of the Workshop on Hot Topics in Operating Systems | 2021

Malware Makeover: Breaking ML-based Static Analysis by Modifying Executable Bytes
Keane Lucas, Mahmood Sharif, Lujo Bauer, Mike Reiter, Saurabh Shintre
Proceedings of the 2021 ACM ASIA Conference on Computer and Communications Security (AsiaCCS) | 2021

AnchorHash: A Scalable Consistent Hash
Shay Vargaftik, Gal Mendelson, Shay Vargaftik, Katherine Barabash, Dean H. Lorenz, Isaac Keslassy, Ariel Orda
IEEE/ACM Transactions on Networking | 2021

Characterizing, Exploiting, and Detecting DMA Code Injection Vulnerabilities in the Presence of an IOMMU
Shay Vargaftik, Markuze Alex, Shay Vargaftik, Gil Kupfer, Boris Pismeny, Nadav Amit, Adam Morrison, Dan Tsafrir
EuroSys '21: Proceedings of the Sixteenth European Conference on Computer Systems | 2021

SALSA: Self-Adjusting Lean Streaming Analytics
Shay Vargaftik, Ran Ben Basat, Gil Einziger, Michael Mitzenmacher, Shay Vargaftik
Proceedings - 2021 IEEE 37th International Conference on Data Engineering, ICDE 2021 | 2021

How to Send a Real Number Using a Single Bit (and Some Shared Randomness)
Shay Vargaftik, Ran Ben-Basat, Michael Mitzenmacher, Shay Vargaftik
International Colloquium on Automata, Languages, and Programming (ICALP 2021) | 2021

Load Balancing with JET: Just Enough Tracking for Connection Consistency
Shay Vargaftik, Gal Mendelson, Shay Vargaftik, Dean H. Lorenz, Kathy Barabash, Isaac Keslassy, Ariel Orda
CoNEXT '21: Proceedings of the 17th International Conference on emerging Networking EXperiments and Technologies | 2021

Stochastic Coordination in Heterogeneous Load Balancing Systems
Shay Vargaftik, Guy Goren, Shay Vargaftik, Yoram Moses
PODC'21: Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing | 2021

Analyzing Learning-Based Networked Systems with Formal Verification
Nina Narodytska, Arnaud Dethise, Marco Canini
40th {IEEE} Conference on Computer Communications, {INFOCOM} 2021, Vancouver, BC, Canada, May 10-13, 2021 | 2021

Explanations for Monotonic Classifiers
Nina Narodytska, Jo{\~{a}}o Marques{-}Silva, Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev
Proceedings of the 38th International Conference on Machine Learning, {ICML} 2021, 18-24 July 2021, Virtual Event | 2021

Persistence and Synchronization: Friends or Foes?
Pradeep Fernando, Irina Calciu, Jayneel Gandhi, Aasheesh Kolli, Ada Gavrilovska
arXiv | December, 2020

Storage Systems are Distributed Systems (So Verify Them That Way!)
Travis Hance, Andrea Lattuada, Chris Hawblitzel, Jon Howell, Rob Johnson, Bryan Parno
Operating Systems Design and Implementation (OSDI) | November, 2020

Building Scalable and Flexible Cluster Managers Using Declarative Programming
Lalith Suresh, João Ferreira Loff, Faria Kalim, Sangeetha Abdu Jyothi, Nina Narodytska, Leonid Ryzhyk, Sahan Gamage, Brian Oki, Pranshu Jain, Michael Gasch
14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20) | November, 2020

RedLeaf: Isolation and Communication in a Safe Operating System
Vikram Narayanan, Tianjiao Huang, David Detweiler, Dan Appel, Zhaofeng Li, Gerd Zellweger, Anton Burtsev
14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20) | November, 2020