Publications

Research Area
Publication Year
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
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
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
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
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
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
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
Systems Research is Running out of Time
Ali Najafi, Amy Tai, Michael Wei
Proceedings of the Workshop on Hot Topics in Operating Systems | 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
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
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
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, 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