18 citations · 18 across the 2 of their papers we have counts for
2 papers
cs.SE2024
FastFlip: Compositional Error Injection Analysis
Keyur Joshi, Rahul Singh, Tommaso Bassetto +3
Instruction-level error injection analyses aim to find instructions where errors often lead to unacceptable outcomes like Silent Data Corruptions (SDCs). These analyses require sig…
cs.LG2023★ 18 cited
Incremental Verification of Neural Networks
Shubham Ugare, Debangshu Banerjee, Sasa Misailovic +1
Complete verification of deep neural networks (DNNs) can exactly determine whether the DNN satisfies a desired trustworthy property (e.g., robustness, fairness) on an infinite set…