VLDB 2026 Research / reviewers in the wild / expert
Cole Vick
dblp:262/3851
· DBLP profile ↗
4ranked-venue papers
3as first author
3since 2021 · last 2024
0000-0003-4436-8360ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 3 · 3 first-author · 3 since 2021Security and privacy · 1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Counterexample classification
Cole Vick, Eunsuk Kang, Stavros Tripakis |
Softw. Syst. Model. | 1 |
| 2023 | Synthesizing History and Prophecy Variables for Symbolic Model Checking
Cole Vick, Kenneth L. McMillan |
VMCAI | 1 |
| 2021 | Counterexample Classification
Cole Vick, Eunsuk Kang, Stavros Tripakis |
SEFM | 1 |
| 2020 | Automated Attacker Synthesis for Distributed Protocols
Max von Hippel, Cole Vick, Stavros Tripakis, Cristina Nita-Rotaru |
SAFECOMP | 2 |