VLDB 2026 Research / reviewers in the wild / expert
Billy Thornton
dblp:360/2032
· DBLP profile ↗
3ranked-venue papers
1as first author
3since 2021 · last 2025
0000-0001-7242-5890ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 2 since 2021Theory of computation · 1 · 1 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Deductive verification of solidity smart contracts with SSCalc
Diego Marmsoler, Billy Thornton |
Sci. Comput. Program. | 2 |
| 2024 | Type Safety for Isabelle/Solidity
Billy Thornton, Diego Marmsoler |
ICTAC | 1 |
| 2023 | SSCalc: A Calculus for Solidity Smart Contracts
Diego Marmsoler, Billy Thornton |
SEFM | 2 |