Álvaro García-Pérez

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

Collaborative distances:

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

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, Deepika Singh, Tuanir Franca Rezende, Sara Tucci Piergiovanni

CoRR, 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

Rule Formats for Nominal Process Calculi.

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

Log. Methods Comput. Sci., 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

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