21º Escuela de Verano de Ciencias Informáticas
Río 2014
17 al 22 de febrero de 2014
http://dc.exa.unrc.edu.ar/rio/

********************************************************
Departamento de Computación
Facultad de Ciencias Exactas Físico-Químicas y Naturales
Universidad Nacional de Río Cuarto
Córdoba – Argentina
********************************************************

La 21º Escuela de Verano de Ciencias Informáticas (RIO 2014)
se desarrollará del 17 al 22 de febrero en el
Departamento de Computación de la
Facultad de Ciencias Exactas Físico-Químicas y Naturales de la
Universidad Nacional de Río Cuarto.

La Escuela consiste en cursos intensivos sobre temáticas que no
suelen encontrarse frecuentemente en las carreras de grado.
Además ofrece eventos académicos y charlas por parte de los
sponsors de la RIO.

En esta edición se desarrollarán 5 cursos innovadores con contenidos muy
diversos: seguridad, síntesis, programación de GPUs, programación gráfica,
programación orientada a objetos.

La apertura de la inscripción será el día 29/11/13

========= CURSOS =========

Curso 1: “Aceleración con GPUs: Arquitectura y programación CUDA”

Prof. Manuel Ujaldón, Universidad de Málaga.

Idioma: Castellano

Resumen:
Este curso pretende familiarizar al alumno con la potencia de un procesador gráfico y su utilización para la ejecución de aplicaciones de propósito general a través del modelo de programación CUDA.
Comenzaremos realizando un recorrido generacional por las arquitecturas Tesla, Fermi y Kepler, describiendo las principales innovaciones respecto a sus predecesoras. Posteriormente, estudiaremos su programación bajo CUDA, desde los pilares básicos (hilos, kernels, bloques y mallas),  hasta la compilación, depuración y análisis de rendimiento.
A continuación se ilustrarán diversos ejemplos de complejidad creciente, para concluir con las técnicas de optimización de código más avanzadas que se están desarrollando para Kepler.
El curso finaliza dando una visión de futuro sobre esta tecnología, asomándose a las dos próximas generaciones de GPUs: Maxwell (2015) y Volta (2017).
Se propondrá al alumno la realización optativa de ejercicios y prácticas a través de un servidor Web con el que podrá trabajar fuera del horario de clase.

Conocimientos previos necesarios para realizar el curso:
– Nivel básico de programación en lenguaje C.
– No se necesitan nociones de paralelismo, aunque si se tienen, ayudan.
– No se requiere formación previa en el hardware de los procesadores gráficos, ni en sus elementos básicos como vértices, texturas, píxeles, etc.

Este curso es financiado por el SISTEMA NACIONAL DE COMPUTACION DE ALTO DESEMPEÑO (SNCAD) de la Secretaria de Articulación Científica-Tecnológica del Ministerio de Ciencia y Tecnología.
Gracias al apoyo del SNCAD se cuenta con ayuda financiera para viáticos y/o pasajes para alumnos con lugar de residencia mayor a 100 km. Más información en http://dc.exa.unrc.edu.ar/rio2014/cursos/gpu-cuda.

————————————————–

Curso 2: “Conceptos básicos de Computación Gráfica”

Prof. Roberto Guerrero – Universidad Nacional de San Luis

Idioma: Castellano

Resumen:
El curso desarrollara los siguientes temas: ¿Que es la Computación Gráfica?. Imágenes digitales. Teoría del Color.
Procesamiento de Imágenes. Gráfica de Primitivas 2D. Transformaciones Geométricas. Modelado de Objetos. Visualización en 3D.

————————————————–

Curso 3: “Seguridad certificada de un modelo idealizado de hypervisor usando el asistente de pruebas Coq”

Dr. Gustavo Betarte – InCo – Universidad de la República
Mg. Carlos Luna – InCo – Universidad de la República
Ing. Juan Diego Campo – InCo – Universidad de la República

Idioma: Castellano

Resumen
En una plataforma de  virtualización, el Virtual Machine Monitor o hypervisor es el componente que provee a las máquinas virtuales guests (VMs) que ejecutan sobre la plataforma el acceso a los recursos del hardware subyacente, es decir, el ambiente computacional sobre el que opera cada máquina. En particular, el hypervisor es el  responsable de que estos recursos sean compartidos por las diferentes VMs en forma segura. El acceso compartido a los recursos de memoria de la plataforma es un tema especialmente crítico, en particular si las diferentes VMs pueden potencialmente hostear diferentes sistemas operativos y, consecuentemente, los aplicativos que son ejecutados sobre los mismos. En una plataforma virtualizada, sobre la que por ejemplo se implanten los diferentes sistemas de información de una organización, pueden llegar a convivir en tiempo de ejecución sistemas y aplicativos de orígenes diversos, con comportamientos no necesariamente controlados y de diferentes niveles d
e confianza.

En este curso presentaremos VirtualCert, una versión completamente formalizada y verificada usando el asistente de pruebas Coq de un modelo idealizado de plataforma de virtualización, sobre la que se han probado propiedades de seguridad que garantizan, en particular, que esos sistemas solamente tienen acceso a la memoria que les pertenece. Estas últimas propiedades han sido formuladas como propiedades de no interferencia, o más precisamente, no influencia. Adicionalmente, introduciremos una extensión al modelo originalmente propuesto que consiste en incorporar la noción de memoria cache y TLB (Translation Lookahead Buffers). Esto permite modelar comportamiento relativo a la gestión, y particularmente al acceso, de la memoria de la plataforma. A partir de esta extensión analizaremos formalmente propiedades de seguridad relacionadas con ataques basados en la observación de la gestión de la memoria cache de la plataforma de virtualización y consideraremos alternativas para pr
evenirlos, como el uso de stealth memory.

Estamos considerando el desarrollo de un take-home como forma de evaluación. Para ello dedicaremos una o dos clases a la introducción del asistente de pruebas Coq y de un caso de estudio.

Conocimientos previos recomendados: lógica de primer orden; conocimientos básicos de especificaciones formales, sistemas operativos y seguridad serán útiles, pero no imprescindibles.

————————————————–

Curso 4: “Síntesis de Controladores”

Prof. Nicolás D’Ippolito, Universidad de Buenos Aires, Argentina

Idioma: Castellano

Resumen
TBA

————————————————–

Curso 5: TBA

Prof. Gabriela Arevalo, Universidad Nacional de Quilmes, Argentina

Idioma: Castellano

Resumen
TBA

————————————————–

========= INFORMACIÓN ADICIONAL =========

Los cursos tienen 4 clases de 2:30 hs. de duración cada una, con examen final (opcional).
Se otorgarán certificados de asistencia (75% de las clases) y aprobación (los exámenes tendrán
lugar el día sábado 22 por la mañana).

Facilidades de alojamiento: La Universidad cuenta con un comedor ($15 el almuerzo), un amplio campo de deportes,
pileta, residencias ($50 por día, contacto: rioalojamientos@dc.exa.unrc.edu.ar) y lugares para acampar (gratuitos).
Además la ciudad dispone de hoteles de distintas categorías. Visite la página web de la escuela para
obtener mayor información.

———————————–
Mas información e inscripciones en:
http://dc.exa.unrc.edu.ar/rio2014/
Consultas: rio@dc.exa.unrc.edu.ar
Telefono/fax : 54+358-467-6235
———————————–

Rogamos disculpas por la posible reiteración de este mail y agradeceremos mucho su colaboración en su difusión.

Atentamente

Organización Río 2014