VLDB 2026 Research / reviewers in the wild / expert
Pietro Lami
dblp:323/5655
· DBLP profile ↗
3ranked-venue papers
3as first author
3since 2021 · last 2024
0000-0002-1841-387XORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 2 · 2 first-author · 2 since 2021Applied, interdisciplinary, general and emerging computing · 2 · 2 first-author · 2 since 2021Software engineering, systems software and programming languages · 1 · 1 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | A Small-Step Semantics for Janus
Pietro Lami, Ivan Lanese, Jean-Bernard Stefani |
RC | 1 |
| 2024 | Reversible debugging of concurrent Erlang programs: Supporting imperative primitives
Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti |
J. Log. Algebraic Methods Program. | 1 |
| 2022 | Reversibility in Erlang: Imperative Constructs
Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti |
RC | 1 |