VLDB 2026 Research / reviewers in the wild / expert
Andy S. Tatman
dblp:360/8565
· DBLP profile ↗
2ranked-venue papers
2as first author
2since 2021 · last 2025
0009-0009-3794-2572ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 2 first-author · 2 since 2021Theory of computation · 1 · 1 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Analysis and formal specification of OpenJDK's BitSet: Proof files
Andy S. Tatman, Hans-Dieter A. Hiep, Stijn de Gouw |
Sci. Comput. Program. | 1 |
| 2023 | Analysis and Formal Specification of OpenJDK's BitSet
Andy S. Tatman, Hans-Dieter A. Hiep, Stijn de Gouw |
iFM | 1 |