Ignacio Ballesteros González

PhD Student

Hi!

I’m currently working at IMDEA Software Institute.

I won the “Best Lightning Talk” award at the IMDEA Poster Competition 2023.

Publications

2025

1. Generation of algebraic data type values using evolutionary algorithms

   Ballesteros, I., Earle, C. B., Mariño, J., Fredlund, L.-Å., & Ángel Herranz. (2025). Generation of algebraic data type values using evolutionary algorithms. J. Log. Algebraic Methods Program., 143, 101022.
2. Haskell Based Spreadsheets

   Ballesteros, I., de Barrio, L. E. B., & 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.

2022

1. Automatic Generation of Attacker Contracts in Solidity

   Ballesteros, I., Earle, C. B., de Barrio, L. E. B., 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., de Barrio, L. E. B., 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.