VLDB 2026 Research / reviewers in the wild / expert
Theo De Castro Pinto
dblp:360/1973
· DBLP profile ↗
2ranked-venue papers
2as first author
2since 2021 · last 2025
—ORCID · none
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 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | An Efficient and Versatile Approach to Shortest Path Problems in Interprocedural Programs
Theo De Castro Pinto, Antoine Rollet, Grégoire Sutre |
SPIN | 1 |
| 2023 | Guiding Symbolic Execution with A-Star
Theo De Castro Pinto, Antoine Rollet, Grégoire Sutre, Ireneusz Tobor |
SEFM | 1 |