| 2020 | HASKELL | Describing microservices using modern Haskell (experience report). | Alejandro Serrano, Flavio Corpa |
| 2019 | PADL | Classes of Arbitrary Kind. | Alejandro Serrano, Victor Cacciari Miraldo |
| 2018 | HASKELL | Generic programming of all kinds. | Alejandro Serrano, Victor Cacciari Miraldo |
| 2018 | ICFP | Sums of products for mutually recursive datatypes: the appropriationist's view on generic programming. | Victor Cacciari Miraldo, Alejandro Serrano |
| 2018 | PLDI | Guarded impredicative polymorphism. | Alejandro Serrano, Jurriaan Hage, Dimitrios Vytiniotis, Simon Peyton Jones |
| 2017 | PEPM | Lightweight soundness for towers of language extensions. | Alejandro Serrano, Jurriaan Hage |
| 2016 | ESOP | Type Error Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules. | Alejandro Serrano, Jurriaan Hage |
| 2016 | PADL | Generic Matching of Tree Regular Expressions over Haskell Data Types. | Alejandro Serrano, Jurriaan Hage |
| 2015 | HASKELL | Type families with class, type classes with family. | Alejandro Serrano, Jurriaan Hage, Patrick Bahr |
| 2013 | LOPSTR | Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models. | Umer Liqat, Steve Kerrison, Alejandro Serrano, Kyriakos Georgiou, Pedro Lpez-Garca, Neville Grech, Manuel V. Hermenegildo, Kerstin Eder |