Pardo Costa, Alberto Raúl

DATOS PERSONALES Y ACADÉMICOS

Grado y Servicio
Grado 5 / Facultad de Ingenieria / Instituto de Computación

Contacto
Email: pardo@fing.edu.uy / Teléfono: 27114244

Área disciplinar
Basica

Disciplina / Subdisciplina
Computación / Métodos Formales / Programación funcional / Transformación de Programas

Mayor nivel académico
Doctorado, Technische Universität Darmstadt, Alemania (año 2001)

Link a web personal
http://www.fing.edu.uy/~pardo/

Link a CVUY
Ver CVUy

Pertenece al SNI
Si pertenece / Nivel II

Pertenece al PEDECIBA
Si pertenece / Grado 4

DATOS DEL PROYECTO DE DEDICACIÓN TOTAL

Título del Plan de Actividades
Fusión de programas recursivos con efectos.

Palabras clave
programación funcional, fusión, deforestación, efectos, programas circulares

Resumen Publicable
Mi área principal de investigación gira alrededor del cálculo y transformación de programas funcionales. En la misma se abordan aspectos teóricos y prácticos relacionados con técnicas para la derivación y transformación de programas las cuales han demostrado ser de suma importancia en el contexto de los lenguajes funcionales. En particular, la aplicación de dichas técnicas puede implicar el mejoramiento, a veces significativo, de la performance de los programas al ejecutarse.Los lenguajes funcionales son lenguajes con un alto nivel de abstracción lo que contribuye al proceso de diseño y construcción de software. Un programa funcional consiste de un conjunto de definiciones de funciones las que se suelen construir como la composición de funciones relativamente simples y sencillas de escribir. Los programas así definidos tienden a ser modulares y facilitan tanto la actividad de mantenimiento como el razonamiento formal acerca de ellos. Sin embargo, un programa modular no necesariamente es eficiente al ejecutarse debido a que cada composición de funciones carga consigo la construcción de una estructura de datos intermedia. Existen técnicas de transformación de programas cuyo objetivo es la eliminación de las estructuras intermedias. La idea es transformar el código original a uno equivalente en donde se intenta sustituir las composiciones de funciones por definiciones que mezclan los códigos de las funciones involucradas. A estas técnicas de transformación de programas funcionales se las conoce como fusión o deforestación. En mi trabajo de investigación me he concentrado en el estudio de técnicas de fusión basadas en ciertas leyes algebraicas entre programas y que vienen asociadas a una variedad de esquemas de programas de uso habitual en programación funcional. Mi trabajo ha tenido como eje principal el estudio de leyes de fusión para casos no estándar. En este sentido, mi aporte ha sido en tres líneas. Por un lado, he estudiado leyes asociadas a programas funcionales con efectos colaterales cuando tales efectos son modelados por estructuras llamadas mónadas. En forma similar, he estudiado leyes asociadas a programas que manipulan información de contexto modelada por comónadas, y en particular he analizado en profundidad la formulación de leyes para programas con acumuladores. Por último, he investigado también el uso de leyes de fusión para la derivación de programas circulares y programas de alto orden (tanto puros como con efectos). Mi aporte en este tema también ha sido en aspectos prácticos. Por ejemplo, he liderado el desarrollo de una herramienta interactiva, llamada HFusion, que permite la fusión de programas puramente funcionales escritos en Haskell.

Grado y Fecha de Ingreso al RDT
Grado 3 / Desde: 2002-09-04

Programa: Científico Proveniente del Exterior
El cargo NO se enmarca en este programa

Participa de Grupo Autoidentificado
Grupos: Grupo de Métodos Formales

Observaciones
–

DOCUMENTACIÓN ADJUNTA

Curriculum Vitae
Aún no se ha cargado el CV.

Último informe de renovación
Aún no se ha cargado el último informe de renovación.

Producción Académica
Documento 1: Aún no se ha cargado este archivo de Producción Académica.
Documento 2: Aún no se ha cargado este archivo de Producción Académica.
Documento 3: Aún no se ha cargado este archivo de Producción Académica.