17 citations · 48 across the 18 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
cs.DC2022
A Pragmatic Approach to Stateful Partial Order Reduction
Berk Cirisci, Constantin Enea, Azadeh Farzan +1
Partial order reduction (POR) is a classic technique for dealing with the state explosion problem in model checking of concurrent programs. Theoretical optimality, i.e., avoiding e…
cs.PL2022★ 14 cited
Proving Hypersafety Compositionally
Emanuele D'Osualdo, Azadeh Farzan, Derek Dreyer
Hypersafety properties of arity are program properties that relate traces of a program (or, more generally, traces of programs). Classic examples include determinism, i…
cs.FL2022★ 1 cited
Coarser Equivalences for Causal Concurrency
Azadeh Farzan, Umang Mathur
Trace theory is a principled framework for defining equivalence relations for concurrent program runs based on a commutativity relation over the set of atomic steps taken by indivi…