Álvaro García-Pérez

According to our database, Álvaro García-Pérez authored at least 26 papers between 2013 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Towards the Type Safety of Pure Subtype Systems.

Valentin Pasquale, Álvaro García-Pérez

Proceedings of the 34th EACSL Annual Conference on Computer Science Logic, 2026

2025

Leveraging the Diamond Standard for Scalable and Upgradeable Blockchain-Based Business Process Management Applications - Code, and Experimental Scenarios.

Tiphaine Henry, Walid Gaaloul, Álvaro García-Pérez, Sara Tucci Piergiovanni

Dataset, May, 2025

An interactive type checker for dependent types with general recursion (System Description).

Valentin Pasquale, Álvaro García-Pérez

Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming, 2025

Leveraging the Diamond Pattern for Scalable and Upgradeable Blockchain-Based Business Process Management Applications.

Victor Lemaire, Tiphaine Henry, Álvaro García-Pérez, Walid Gaaloul, Sara Tucci Piergiovanni

Proceedings of the Business Process Management Forum - BPM 2025 Forum, Seville, Spain, August 31, 2025

2024

Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space.

Pablo Nogueira, Álvaro García-Pérez

Log. Methods Comput. Sci., 2024

Pure Subtype Systems Are Type-Safe.

Valentin Pasquale, Álvaro García-Pérez

CoRR, 2024

Fantastyc: Blockchain-Based Federated Learning Made Secure and Practical.

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

Proceedings of the 43rd International Symposium on Reliable Distributed Systems, 2024

Notara: Efficient Blockchain Asset Notarization Service.

Guillermo Toyos-Marfurt, Rouwaida Abdallah, Álvaro García-Pérez

Proceedings of the 6th Conference on Blockchain Research & Applications for Innovative Networks and Services , 2024

2022

Equivalence of eval-readback and eval-apply big-step evaluators by regimentation of the lambda-calculus's strategy space.

Pablo Nogueira, Álvaro García-Pérez

CoRR, 2022

2021

SoK: Achieving State Machine Replication in Blockchains based on Repeated Consensus.

Silvia Bonomi, Antonella Del Pozzo, Álvaro García-Pérez, Sara Tucci Piergiovanni

CoRR, 2021

2019

The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus.

Álvaro García-Pérez, Pablo Nogueira

J. Funct. Program., 2019

Deconstructing Stellar Consensus (Extended Version).

Álvaro García-Pérez, Maria Anna Schett

CoRR, 2019

Deconstructing Stellar Consensus.

Álvaro García-Pérez, Maria Anna Schett

Proceedings of the 23rd International Conference on Principles of Distributed Systems, 2019

2018

Federated Byzantine Quorum Systems (Extended Version).

Álvaro García-Pérez, Alexey Gotsman

CoRR, 2018

Paxos Consensus, Deconstructed and Abstracted (Extended Version).

Álvaro García-Pérez, Alexey Gotsman, Yuri Meshman, Ilya Sergey

CoRR, 2018

Federated Byzantine Quorum Systems.

Álvaro García-Pérez, Alexey Gotsman

Proceedings of the 22nd International Conference on Principles of Distributed Systems, 2018

Paxos Consensus, Deconstructed and Abstracted.

Álvaro García-Pérez, Alexey Gotsman, Yuri Meshman, Ilya Sergey

Proceedings of the Programming Languages and Systems, 2018

2017

A unified rule format for bounded nondeterminism in SOS with terms as labels.

Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir

J. Log. Algebraic Methods Program., 2017

Rule Formats for Nominal Process Calculi.

Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén

Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016

No solvable lambda-value term left behind.

Álvaro García-Pérez, Pablo Nogueira

Log. Methods Comput. Sci., 2016

Rule Formats for Bounded Nondeterminism in Structural Operational Semantics.

Luca Aceto, Álvaro García-Pérez, Anna Ingólfsdóttir

Proceedings of the Semantics, Logics, and Calculi, 2016

2014

Operational Aspects of Full Reduction in Lambda Calculi.

Álvaro García-Pérez

PhD thesis, 2014

On the syntactic and functional correspondence between hybrid (or layered) normalisers and abstract machines.

Álvaro García-Pérez, Pablo Nogueira

Sci. Comput. Program., 2014

Deriving interpretations of the gradually-typed lambda calculus.

Álvaro García-Pérez, Pablo Nogueira, Ilya Sergey

Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014

2013

Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order.

Álvaro García-Pérez, Pablo Nogueira, Juan José Moreno-Navarro

Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013

A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers.

Álvaro García-Pérez, Pablo Nogueira

Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013