8 citations · 8 across the 3 of their papers we have counts for
3 papers
cs.SE2023★ 8 cited
Error Propagation Analysis for Multithreaded Programs: An Empirical Approach
Stefan Winter, Abraham Chan, Habib Saissi +2
Fault injection is a technique to measure the robustness of a program to errors by introducing faults into the program under test. Following a fault injection experiment, Error Pro…
cs.PL2018
Safe Execution of Concurrent Programs by Enforcement of Scheduling Constraints
Patrick Metzler, Habib Saissi, Péter Bokor +1
Automated software verification of concurrent programs is challenging because of exponentially large state spaces with respect to the number of threads and number of events per thr…
cs.DC2018
Scaling Out Acid Applications with Operation Partitioning
Habib Saissi, Marco Serafini, Neeraj Suri
OLTP applications with high workloads that cannot be served by a single server need to scale out to multiple servers. Typically, scaling out entails assigning a different partition…