Álvaro García-Pérez

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 19

Top Topics

Operational Semantics

Abstract Machine

Lambda Calculus

Agent Programming

Top Venues

Log. Methods Comput. Sci.

Semantics, Logics, and Calculi

Publications

William Boitier, Antonella Del Pozzo, Álvaro García-Pérez, Stéphane Gazut, Pierre Jobic, Alexis Lemaire, Erwan Mahe, Aurélien Mayoue, Maxence Perion, Deepika Singh, Tuanir Franca Rezende, Sara Tucci Piergiovanni
Fantastyc: Blockchain-based Federated Learning Made Secure and Practical. CoRR (2024)
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir
A unified rule format for bounded nondeterminism in SOS with terms as labels. CoRR (2024)
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén
Rule Formats for Nominal Process Calculi. CoRR (2024)
Valentin Pasquale, Álvaro García-Pérez
Pure Subtype Systems Are Type-Safe. CoRR (2024)
Pablo Nogueira, Álvaro García-Pérez
Equivalence of eval-readback and eval-apply big-step evaluators by regimentation of the lambda-calculus's strategy space. CoRR (2022)
Silvia Bonomi, Antonella Del Pozzo, Álvaro García-Pérez, Sara Tucci Piergiovanni
SoK: Achieving State Machine Replication in Blockchains based on Repeated Consensus. CoRR (2021)
Álvaro García-Pérez, Pablo Nogueira
The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus. J. Funct. Program. 29 (2019)
Álvaro García-Pérez, Maria Anna Schett
Deconstructing Stellar Consensus (Extended Version). CoRR (2019)
Álvaro García-Pérez, Maria Anna Schett
Deconstructing Stellar Consensus. OPODIS (2019)
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén
Rule Formats for Nominal Process Calculi. Log. Methods Comput. Sci. 15 (4) (2019)
Álvaro García-Pérez, Alexey Gotsman
Federated Byzantine Quorum Systems (Extended Version). CoRR (2018)
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén
Rule Formats for Nominal Process Calculi. CoRR (2018)
Álvaro García-Pérez, Alexey Gotsman, Yuri Meshman, Ilya Sergey
Paxos Consensus, Deconstructed and Abstracted (Extended Version). CoRR (2018)
Álvaro García-Pérez, Alexey Gotsman
Federated Byzantine Quorum Systems. OPODIS (2018)
Álvaro García-Pérez, Alexey Gotsman, Yuri Meshman, Ilya Sergey
Paxos Consensus, Deconstructed and Abstracted. ESOP (2018)
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén
Rule Formats for Nominal Process Calculi. CONCUR (2017)
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir
A unified rule format for bounded nondeterminism in SOS with terms as labels. J. Log. Algebraic Methods Program. 92 (2017)
Álvaro García-Pérez, Pablo Nogueira
No solvable lambda-value term left behind. Log. Methods Comput. Sci. 12 (2) (2016)
Luca Aceto, Álvaro García-Pérez, Anna Ingólfsdóttir
Rule Formats for Bounded Nondeterminism in Structural Operational Semantics. Semantics, Logics, and Calculi (2016)
Álvaro García-Pérez, Pablo Nogueira, Ilya Sergey
Deriving interpretations of the gradually-typed lambda calculus. PEPM (2014)
Álvaro García-Pérez, Pablo Nogueira
On the syntactic and functional correspondence between hybrid (or layered) normalisers and abstract machines. Sci. Comput. Program. 95 (2014)
Álvaro García-Pérez, Pablo Nogueira, Juan José Moreno-Navarro
Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order. PPDP (2013)
Álvaro García-Pérez, Pablo Nogueira
A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers. PEPM (2013)