57 citations · 109 across the 3 of their papers we have counts for
3 papers
cs.LO2023★ 38 cited
Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning
Noam Zilberstein, Derek Dreyer, Alexandra Silva
Program logics for bug-finding (such as the recently introduced Incorrectness Logic) have framed correctness and incorrectness as dual concepts requiring different logical foundati…
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.PL2011★ 57 cited
Logical Step-Indexed Logical Relations
Derek Dreyer, Amal Ahmed, Lars Birkedal
Appel and McAllester's "step-indexed" logical relations have proven to be a simple and effective technique for reasoning about programs in languages with semantically interesting t…