Álvaro García-Pérez

30 papers A 1B 5C 4Journal 16Unranked 3
YearRankTypeTitle / Venue / Authors
2026 B conf
Towards the Type Safety of Pure Subtype Systems.
CSL
Valentin Pasquale, Álvaro García-Pérez
2025 C conf
An interactive type checker for dependent types with general recursion (System Description).
PPDP
Valentin Pasquale, Álvaro García-Pérez
2025 — conf
Leveraging the Diamond Pattern for Scalable and Upgradeable Blockchain-Based Business Process Management Applications.
BPM (Forum)
Victor Lemaire, Tiphaine Henry, Álvaro García-Pérez, Walid Gaaloul, Sara Tucci Piergiovanni
2024 J jnl
A unified rule format for bounded nondeterminism in SOS with terms as labels.
CoRR
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir
2024 J jnl
Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space.
Log. Methods Comput. Sci.
Pablo Nogueira, Álvaro García-Pérez
2024 B conf
Fantastyc: Blockchain-Based Federated Learning Made Secure and Practical.
SRDS
William Boitier, Antonella Del Pozzo, Álvaro García-Pérez, Stéphane Gazut, Pierre Jobic, Alexis Lemaire, Erwan Mahe, Aurélien Mayoue, Maxence Perion, Tuanir Franca Rezende, Deepika Singh, Sara Tucci Piergiovanni
2024 J jnl
Fantastyc: Blockchain-based Federated Learning Made Secure and Practical.
CoRR
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
2024 — conf
Notara: Efficient Blockchain Asset Notarization Service.
BRAINS
Guillermo Toyos-Marfurt, Rouwaida Abdallah, Álvaro García-Pérez
2024 J jnl
Pure Subtype Systems Are Type-Safe.
CoRR
Valentin Pasquale, Álvaro García-Pérez
2024 J jnl
Rule Formats for Nominal Process Calculi.
CoRR
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén
2022 J jnl
Equivalence of eval-readback and eval-apply big-step evaluators by regimentation of the lambda-calculus's strategy space.
CoRR
Pablo Nogueira, Álvaro García-Pérez
2021 J jnl
SoK: Achieving State Machine Replication in Blockchains based on Repeated Consensus.
CoRR
Silvia Bonomi, Antonella Del Pozzo, Álvaro García-Pérez, Sara Tucci Piergiovanni
2019 J jnl
Deconstructing Stellar Consensus (Extended Version).
CoRR
Álvaro García-Pérez, Maria Anna Schett
2019 B conf
Deconstructing Stellar Consensus.
OPODIS
Álvaro García-Pérez, Maria Anna Schett
2019 J jnl
Rule Formats for Nominal Process Calculi.
Log. Methods Comput. Sci.
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén
2019 J jnl
The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus.
J. Funct. Program.
Álvaro García-Pérez, Pablo Nogueira
2018 J jnl
Federated Byzantine Quorum Systems (Extended Version).
CoRR
Álvaro García-Pérez, Alexey Gotsman
2018 B conf
Federated Byzantine Quorum Systems.
OPODIS
Álvaro García-Pérez, Alexey Gotsman
2018 J jnl
Paxos Consensus, Deconstructed and Abstracted (Extended Version).
CoRR
Álvaro García-Pérez, Alexey Gotsman, Yuri Meshman, Ilya Sergey
2018 A conf
Paxos Consensus, Deconstructed and Abstracted.
ESOP
Álvaro García-Pérez, Alexey Gotsman, Yuri Meshman, Ilya Sergey
2018 J jnl
Rule Formats for Nominal Process Calculi.
CoRR
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén
2017 J jnl
A unified rule format for bounded nondeterminism in SOS with terms as labels.
J. Log. Algebraic Methods Program.
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir
2017 B conf
Rule Formats for Nominal Process Calculi.
CONCUR
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén
2016 J jnl
No solvable lambda-value term left behind.
Log. Methods Comput. Sci.
Álvaro García-Pérez, Pablo Nogueira
2016 — conf
Rule Formats for Bounded Nondeterminism in Structural Operational Semantics.
Semantics, Logics, and Calculi
Luca Aceto, Álvaro García-Pérez, Anna Ingólfsdóttir
2014 C conf
Deriving interpretations of the gradually-typed lambda calculus.
PEPM
Álvaro García-Pérez, Pablo Nogueira, Ilya Sergey
2014 J jnl
On the syntactic and functional correspondence between hybrid (or layered) normalisers and abstract machines.
Sci. Comput. Program.
Álvaro García-Pérez, Pablo Nogueira
2014 — —
Operational Aspects of Full Reduction in Lambda Calculi.
Álvaro García-Pérez
2013 C conf
A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers.
PEPM
Álvaro García-Pérez, Pablo Nogueira
2013 C conf
Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order.
PPDP
Álvaro García-Pérez, Pablo Nogueira, Juan José Moreno-Navarro