VLDB 2026 Research / reviewers in the wild / expert
Twain Byrnes
dblp:365/2572
· DBLP profile ↗
2ranked-venue papers
1as first author
2since 2021 · last 2025
0009-0000-7939-1195ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 1 first-author · 2 since 2021Theory of computation · 1 · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Learning Short Clauses via Conditional Autarkies
Twain Byrnes, Joseph E. Reeves, Marijn Heule |
FMCAD | 2 |
| 2024 | Automatically Enforcing Rust Trait Properties
Twain Byrnes, Yoshiki Takashima, Limin Jia 0001 |
VMCAI (2) | 1 |