Optimización automática de programas (OAP) Germán Vidal 1 Curso 2013 / 2014 Optimización automática de programas (OAP)

Presentación del tema: "Optimización automática de programas (OAP) Germán Vidal 1 Curso 2013 / 2014 Optimización automática de programas (OAP)"— Transcripción de la presentación:

1 Optimización automática de programas (OAP) Germán Vidal 1 Curso 2013 / 2014 Optimización automática de programas (OAP)

2 Optimización automática de programas (OAP)‏ Germán Vidal 2 Profesor Germán Vidal  Despacho 2D42 (Edificio DSIC, 2º piso)  Email: gvidal@dsic.upv.esgvidal@dsic.upv.es  URL: http://www.dsic.upv.es/~gvidalhttp://www.dsic.upv.es/~gvidal Tutorías:  bajo demanda…

3 Optimización automática de programas (OAP)‏ Germán Vidal 3 Temario 1.Introducción (1-2 semanas) 2.Técnicas de análisis estático 3.Transformación de programas: evaluación parcial y especialización (6 – 8 semanas) 4.Otra cosa (ejecución simbólica; model checking; análisis estático; presentaciones; etc)

4 Optimización automática de programas (OAP)‏ Germán Vidal 4 Prácticas Implementación de una herramienta de especialización de programas  lenguaje de programación: Haskell

5 Optimización automática de programas (OAP)‏ Germán Vidal 5 Evaluación Prácticas (obligatorias, individuales) 20% - 80% ?? Teoría (examen escrito, con apuntes) 80% - 20% ?? Trabajos voluntarios (exposición en clase) 10%

6 Optimización automática de programas (OAP)‏ Germán Vidal 6 Información Web asignatura:  http://www.dsic.upv.es/~gvidal/oap.html http://www.dsic.upv.es/~gvidal/oap.html (ver también microweb Poliformat) Material de clase:  web de la asignatura/Poliformat  libro: http://www.dina.kvl.dk/~sestoft/pebook/pebo ok.html