Anthony Vandikas

Identifiers

• name variant Anthony Vandikas 0.60 · backfill

Papers (2)

1. Compositional Generator Equivalence (Extended Version) cs.PL · 2026 · author #1
2. Reductions for Automated Hypersafety Verification cs.PL · 2019 · author #2

Mentions

• 2606.22616 #1 · arxiv_oai · confidence 0.70 Anthony Vandikas

Frequent Coauthors

• Azadeh Farzan 1 shared papers
• Kiarash Sotoudeh 1 shared papers
• Marsha Chechik 1 shared papers