Luis Eduardo Bueso de Barrio

PhD Student

Hello!

I am a PhD student at the Universidad Politécnica de Madrid.

My research focuses on functional programming, property-based testing, and runtime verification.

Publications

2025

1. Executable contracts for Elixir

   Bueso de Barrio, L. E., Fredlund, L.-Å., Ángel Herranz, Mariño, J., & Earle, C. B. (2025). Executable contracts for Elixir. J. Log. Algebraic Methods Program., 142, 101019.
2. Haskell Based Spreadsheets

   Ballesteros, I., Bueso de Barrio, L. E., & Mariño, J. (2025). Haskell Based Spreadsheets. In E. Erdem & G. Vidal (Eds.), Practical Aspects of Declarative Languages - 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings (Vol. 15537, pp. 146–162). Springer.

2024

1. Controlled Scheduling of Concurrent Elixir Programs

   Bueso de Barrio, L. E., Fredlund, L.-Å., Earle, C. B., Ángel Herranz, & Mariño, J. (2024). Controlled Scheduling of Concurrent Elixir Programs. In K. Fernandez-Reyes & A. L. Voinea (Eds.), Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang, Erlang 2024, Milan, Italy, 2 September 2024 (pp. 67–75). ACM.

2023

1. Generation and Refinement of Testing Models

   Bueso de Barrio, L. E., Fredlund, L.-Å., Earle, C. B., Ángel Herranz, & Mariño, J. (2023). Generation and Refinement of Testing Models. In B. K. Ozkan & K. Fernandez-Reyes (Eds.), Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang, Erlang 2023, Seattle, WA, USA, 4 September 2023 (pp. 14–23). ACM.

2022

1. Automatic Generation of Attacker Contracts in Solidity

   Ballesteros, I., Earle, C. B., Bueso de Barrio, L. E., Fredlund, L.-Å., Ángel Herranz, & Mariño, J. (2022). Automatic Generation of Attacker Contracts in Solidity. In Z. Dargaye & C. Schneidewind (Eds.), 4th International Workshop on Formal Methods for Blockchains, FMBC@CAV 2022, August 11, 2022, Haifa, Israel (Vol. 105, pp. 3:1–3:14). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
2. Executable contracts for Elixir

   Pérez, S., Bueso de Barrio, L. E., Ballesteros, I., Ángel Herranz, Mariño, J., Earle, C. B., & Fredlund, L.-Å. (2022). Executable contracts for Elixir. In S. Aronis & B. K. Ozkan (Eds.), Erlang ’22: 21st ACM SIGPLAN International Workshop on Erlang, Ljubljana, Slovenia, 11 September 2022 (pp. 40–46). ACM.

2021

1. Makina: a new QuickCheck state machine library

   Bueso de Barrio, L. E., Fredlund, L.-Å., Ángel Herranz, Earle, C. B., & Mariño, J. (2021). Makina: a new QuickCheck state machine library. In S. Aronis & A. Bieniusa (Eds.), Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2021, Virtual Event, Korea, August 26, 2021 (pp. 41–53). ACM.