alvaro.garcia.perez@imdea.org
(+34) 91 101 2202 ext 4122

IMDEA Software Institute
Campus de Montegancedo s/n
28223 Pozuelo de Alracón, Madrid
SPAIN

Postdoctoral researcher
IMDEA Software Institute

Research

I am a postdoctoral researcher at the IMDEA Software Institute.

My research interests are in concurrent and distributed systems and the foundations of programming languages. I've worked on algorithms for consensus, process algebras, rule formats for structural operational semantics, semantics of programming languages, lambda calculus, nominal techniques, type theory, abstract machines and program transformation.

See my Curriculum Vitae.

Publications

[dblp | [Google Scholar] | ACM | ResearchGate]

Journal articles

[AFGI17]
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez and Anna Ingólfsdóttir. A unified rule format for bounded nondeterminism in SOS with terms as labels. Logical and Algebraic Methods in Programming, In Press. March 2017. Springer.
[doi]
[GN16]
Álvaro García-Pérez and Pablo Nogueira. No solvable lambda-value term left behind. Logical Methods in Computer Science, 12(2:12):1–43(2016). May 2016.
[arxiv | code | slides]
[GN14]
Álvaro García-Pérez and Pablo Nogueira. On the syntactic and functional correspondence between hybrid (or layered) normalisers and abstract machines. Science of Computer programming, 95:176–199(2014). December 2014. Springer.
[doi | code]

Peer-reviewed conference and workshop articles

[GNS14]
Álvaro García-Pérez, Pablo Nogueira and Ilya Sergey. Deriving interpretations of the gradually-typed lambda calculus. In Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2014), pages 157–168, San Diego, CA, US, January 2014. ACM.
[doi | code | slides]
[GNM13]
Álvaro García-Pérez, Pablo Nogueira and Juan José Moreno-Navarro. Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order. In Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming (PPDP 2013), pages 85–96, Madrid, Spain, September 2013. ACM.
[doi | code | slides]
[GN13]
Álvaro García-Pérez and Pablo Nogueira. A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers. In Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation (PEPM 2013), pages 107–116, Rome, Italy, January 2013. ACM.
[doi | code | slides]

Book chapters

[AGI16]
Luca Aceto, Álvaro García-Pérez and Anna Ingólfsdóttir. Rule formats for bounded nondeterminism in structural operational semantics. In Semantics, Logics, and Calculi – Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays, volume 9560 of LNCS, pages 313–343. January 2016. Springer.
[doi | slides]

PhD Dissertation

[Gar14]
Álvaro García-Pérez. Operational aspects of full reduction in lambda calculi. Departamento de Lenguages, Sistemas Informáticos e Ingeniería de Software. Escuela Técnica Superior de Ingenieros Informáticos. Universidad Politécnica de Madrid.
[pdf]

Contributions at international workshops

[AFGI15]
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez and Anna Ingólfsdóttir. Rule formats for bounded nondeterminism in nominal structural operational semantics. Nordic Workshop on Programming Theory (NWPT 2015). Reykjavik, Iceland, October 2015.
[slides]
[GN14a]
Álvaro García-Pérez and Pablo Nogueira. A standard theory for the pure lambda-value calculus. International Workshop on Domain Theory and Applications (Domains XI), Paris, France, September 2014.
[slides]
[GNG10]
Álvaro García-Pérez, Pablo Nogueira and Emilio Jesús Gallego Arias. The beta cube. International Workshop on Reduction Strategies in Rewriting, Proving, and Programming (IWS 2010), Edinburgh, UK, July 2010.
[pdf]
[GM07]
Álvaro García-Pérez and Nelson Medinilla Martínez. The ambiguity criterion in software design. International Workshop on Living with Uncertainty (IWLU 2007), Atlanta, GA, US, November 2007.

Other publications

[GG09]
Amaya García-Pérez and Álvaro García-Pérez. La afinación de la flauta tradicional salmantina de tres agujeros. Revista de Musicología, 22(2):343–361(2009). June 2009. Sociedad Española de Musicología. Madrid, Spain.
[GG08]
Amaya García-Pérez and Álvaro García-Pérez. La afinación de la flauta tradicional salmantina de tres agujeros. In Actas del VII Congreso de Musicología de la Sociedad Española de Musicología, Cáceres, Spain, November 2008.

Presentations and talks

Presentations at international conferences and workshops

[Jan. 2016]
Rule formats for bounded nondeterminism in structural operational semantics. Semantics, Logics, and Calculi – Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays, Copenhagen, Denmark.
[slides]
[Oct. 2015]
Rule formats for bounded nondeterminism in nominal structural operational semantics. Nordic Workshop on Programming Theory (NWPT 2015), Reykjavik, Iceland.
[slides]
[Sep. 2014]
A standard theory for the pure lambda-value calculus. International Workshop on Domain Theory and Applications (Domains XI), Paris, France.
[slides]
[Jan. 2014]
Deriving interpretations of the gradually-typed lambda calculus. ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2014), San Diego, California, US.
[slides]
[Sep. 2013]
Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order. International Symposium on Principles and Practice of Declarative Programming (PPDP 2013), Madrid, Spain.
[slides]
[Jan. 2013]
A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers. ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2013), Rome, Italy.
[slides]
[Jul. 2010]
The beta cube. International Workshop on Strategies in Rewriting, Proving, and Programming (IWS 2010), Edinburgh, UK.
[Nov. 2007]
The ambiguity criterion in software design. International Workshop on Living with Uncertainty (IWLU 2007), Atlanta, Georgia, US.

Selected seminar presentations and talks

[May. 2016]
No solvable lambda-value term left behind. ICE-TCS Theory Week, Reykjavik University, Iceland.
[slides]
[Apr. 2016]
On hopefully intelligible contributions to seminar series and related events (aka. this talk on Kurt Gödel is not a Pearl of Computation). ICE-TCS Pearls of Computation, Reykjavik University, Iceland.
[slides]
[Apr. 2015]
The essence of Reynolds (title borrowed from POPL14's session in honour of John C. Reynolds by Stephen Brookes, Peter O'Hearn and Uday Reddy). ICE-TCS Pearls of Computation, Reykjavik University, Iceland.
[slides]
[Oct. 2014]
Operational aspects of full reduction in lambda calculi. ICE-TCS Seminar, Reykjavik University, Iceland.
[Apr. 2014]
Reasoning about structural operational semantics in a calculus of closures. ICE-TCS Seminar, Reykjavik University, Iceland.
[Jul. 2013]
Deriving interpretations of the gradually typed lambda calculus. Student Talks Session, Oregon Programming Languages Summer School, Eugene, Oregon, USA.
[Jul. 2013]
Deriving interpretations of the gradually typed lambda calculus. PL Group, Aarhus University, Denmark.
[Feb. 2013]
A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers . PL Group, Aarhus University, Denmark.
[Mar. 2011]
The beta cube. Programming, Logic and Semantics Group, IT University, Copenhaguen, Denmark.