Autor:
Ballesteros González, Ignacio

Cargando...
Foto de perfil

E-mails conocidos

ignacioballesterosgonzalez@gmail.com
ignacio.ballesteros@upm.es

Fecha de nacimiento

Proyectos de investigación

Unidades organizativas

Puesto de trabajo

Apellidos

Ballesteros González

Nombre de pila

Ignacio

Nombre

Nombres alternativos

Ballesteros, Ignacio

Afiliaciones conocidas

Universidad Politécnica de Madrid, Spain
IMDEA Software Institute, Universidad Politécnica de Madrid, Spain

Páginas web conocidas

Página completa del ítem
Notificar un error en este autor

Resultados de la búsqueda

Mostrando 1 - 2 de 2
  • Artículo
    Work in Progress: Generation of Algebraic Data Types using Evolutionary Algorithms
    Ballesteros González, Ignacio; Benac Earle, Clara; Fredlund, Lars-Ake; Herranz, Angel; Mariño, Julio. Actas de las XXII Jornadas sobre Programación y Lenguajes (PROLE 2023), 2023-09-12.
    Automatic data generation is a key component of automated software testing. Random generation of test input data can uncover some bugs in software, but its effectiveness decreases when those inputs must satisfy complex properties in order to be meaningful. In this work we study an evolutionary approach to generate values that can be encoded as algebraic data types plus additional properties. More specifically, we have conducted an experiment on the automated generation of red-black trees using evolutionary algorithms. Although relatively simple, this example will allow us to introduce the main principles of evolutionary algorithms and how these principles can be applied to obtain valid, nontrivial samples of a given data structure. While the preliminary results show some potential, further experimentation is needed.
  • Artículo
    HaskCell: Experiments with Purely Functional Spreadsheets
    Mariño, Julio; Ballesteros González, Ignacio; Bueso de Barrio, Luis Eduardo. Actas de las XX Jornadas de Programación y Lenguajes (PROLE 2021), 2021-09-22.
    Spreadsheet programs are one of the most widespread information processing tools used by end-users. Their importance lies not only in their extensive use by people with little or no knowledge of programming but because of their relevance as a decision-making tool by executives in many companies. In spite of this long-term success, many studies have found plenty of pitfalls that make spreadsheets widely faulty, hence potentially leading to risky decisions. Because of these problems several analysis tools have been proposed to help find errors easily. In this project we present a different approach, more oriented to prevent the appearance of errors through a change in the way users interact with them. We focus on the _declarative_ essence of spreadsheets and propose to refound them on the grounds of modern functional programming languages. Our tool, _HaskCell_, uses a subset of _Haskell_ as the expression language for its cells and takes advantage of its rich type system to support a safer way of spreadsheet programming that prevents the appearance of certain errors and help understanding the meaning of programs, as new data types can be introduced from cell aggregates. Haskell is also used for defining reusable, user-defined functions and external modules. We show a working prototype incorporating the ideas above and point towards new features based on advanced functional programming technologies.