VLDB 2026 Research / reviewers in the wild / expert

Alex Coto-Santiesteban

dblp:251/6068 · also Alex Coto · DBLP profile ↗
← Back
6ranked-venue papers
5as first author
3since 2021 · last 2022
0000-0003-1427-4099ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 4 · 4 first-author · 3 since 2021Artificial intelligence and machine learning · 1Graphics, computer vision, multimedia, augmented reality and games · 1
YearPublicationVenuePosition
2022 On Formal Choreographic Modelling: A Case Study in EU Business Processes
Alex Coto-Santiesteban, Franco Barbanera, Ivan Lanese, Emilio Tuosto
 ISoLA (1)1
2022 A Prototype for Data Race Detection in CSeq 3 - (Competition Contribution)
abstract
Abstract We sketch a sequentialization-based technique for bounded detection of data races under sequential consistency, and summarise the major improvements to our verification framework over the last years.
Alex Coto-Santiesteban, Omar Inverso, Emerson Sales, Emilio Tuosto
 TACAS (2)1
2021 An abstract framework for choreographic testing
Alex Coto-Santiesteban, Roberto Guanciale, Emilio Tuosto
 J. Log. Algebraic Methods Program.1
2020 Choreographic Development of Message-Passing Applications - A Tutorial
Alex Coto-Santiesteban, Roberto Guanciale, Emilio Tuosto
 COORDINATION1
2020 On Testing Message-Passing Components
Alex Coto-Santiesteban, Roberto Guanciale, Emilio Tuosto
 ISoLA (1)1
2019 TSTM: A Model to Predict Topics' Popularity in News Providers
Mario Alfonso Prado-Romero, Alessandro Celi, Giovanni Stilo, Alex Coto-Santiesteban
 CIARP4