84 citations · 84 across the 2 of their papers we have counts for
2 papers
cs.OS2022
Finding and Analyzing Crash-Consistency Bugs in Persistent-Memory File Systems
Hayley LeBlanc, Shankara Pailoor, Isil Dillig +2
We present a study of crash-consistency bugs in persistent-memory (PM) file systems and analyze their implications for file-system design and testing crash consistency. We develop…
cs.PL2019★ 84 cited
Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness
Greg Anderson, Shankara Pailoor, Isil Dillig +1
In recent years, the notion of local robustness (or robustness for short) has emerged as a desirable property of deep neural networks. Intuitively, robustness means that small pert…