Estudiante obtiene reconocimiento internacional por investigación en programación
Tiempo de lectura: 2 minutos Pablo Benario, estudiante de Ingeniería Civil en Computación de la Universidad de Chile, obtuvo el segundo lugar en la ACM Student Research Competition tras diseñar un método que permite evaluar y testear programas informáticos antes de que estén completamente terminados.
Pablo Benario, estudiante de Ingeniería Civil en Computación del Departamento de Ciencias de la Computación (DCC) de la Universidad de Chile, fue galardonado con el segundo lugar en la categoría de pregrado durante la ACM Student Research Competition.
El certamen se llevó a cabo en Indianápolis, Estados Unidos, en el marco de la International Conference on Functional Programming (ICFP), una de las cumbres más importantes a nivel global en materia de lenguajes de programación, software y computación teórica.
«Fue una gran experiencia poder hablar con distintos investigadores, conocer gente y ver que hay todo un mundo de personas investigando sobre lenguajes de programación. Poder competir, presentar y explicar mis ideas fue algo muy valioso«, destacó el estudiante de la Casa de Bello al reflexionar sobre su primera experiencia académica fuera del país.
Un nuevo paradigma para el testeo de software en desarrollo
En la industria tecnológica y el desarrollo informático convencional, el software se construye de manera gradual y progresiva. Sin embargo, este proceso enfrenta un obstáculo recurrente: las herramientas tradicionales de verificación o testeo suelen asumir que el programa ya está finalizado. Como consecuencia, el sistema arroja errores automáticos cada vez que una prueba llega a una sección del código que aún no ha sido implementada.
Para solucionar este dilema, Benario desarrolló su trabajo de título denominado «Testing Incomplete Programs», guiado por el académico e investigador del DCC, Éric Tanter. La propuesta es clasificar la incompletitud no como un fallo o un éxito, sino como un resultado independiente y válido durante la ejecución.
«Queremos que el programador pueda trabajar de manera incremental, sin tener que esperar a que el programa esté completamente terminado para empezar a obtener retroalimentación de los tests», explicó Benario sobre el impacto de su propuesta.
El proyecto se enfoca en el property-based testing, una técnica avanzada que comprueba automáticamente que el software cumpla con comportamientos específicos. Esta solución toma como base investigaciones previas sobre programación incremental certificada desarrolladas por el estudiante de doctorado Tomás Díaz, el profesor Éric Tanter e investigadores de Inria Francia. De esta forma, el sistema entrega información sobre las secciones ya programadas, facilitando la detección temprana de errores mientras el resto del código continúa en construcción.
Ciencia chilena de pregrado con impacto global
El reconocimiento en la ACM Student Research Competition no fue el único logro de Benario en el encuentro científico. Durante la conferencia, el futuro ingeniero expuso su investigación en el ML Family Workshop, donde ofreció una presentación y demostración técnica en vivo de 30 minutos, además de participar como estudiante voluntario en la coordinación logística de la conferencia.
El joven investigador extendió una invitación a otros estudiantes a involucrarse en estas disciplinas: «En lenguajes de programación existe una comunidad muy activa, con muchas oportunidades de investigación y desarrollo. Es algo totalmente posible si uno está motivado y le gustaría trabajar en esta área».
