1 citations · 1 across the 3 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2026★ 1 cited
Compositional Generator Equivalence (Extended Version)
Anthony Vandikas, Kiarash Sotoudeh, Marsha Chechik
Property-based testing (PBT) is a powerful technique for software verification that relies on random input generators and "shrinking" processes to find and minimize counterexamples…
cs.PL2019
Reductions for Safety Proofs (Extended Version)
Azadeh Farzan, Anthony Vandikas
Program reductions are used widely to simplify reasoning about the correctness of concurrent and distributed programs. In this paper, we propose a general approach to proof simplif…
cs.PL2019
Reductions for Automated Hypersafety Verification
Azadeh Farzan, Anthony Vandikas
We propose an automated verification technique for hypersafety properties, which express sets of valid interrelations between multiple finite runs of a program. The key observation…