BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Departamento de Computación - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Departamento de Computación
X-ORIGINAL-URL:https://www.dc.uba.ar
X-WR-CALDESC:Eventos para Departamento de Computación
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/Sao_Paulo
BEGIN:STANDARD
TZOFFSETFROM:-0200
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20180218T020000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0300
TZOFFSETTO:-0200
TZNAME:-02
DTSTART:20181104T030000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0200
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20190217T020000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20190522T103000
DTEND;TZID=America/Sao_Paulo:20190522T123000
DTSTAMP:20260614T165006
CREATED:20190516T114959Z
LAST-MODIFIED:20190516T114959Z
UID:5261-1558521000-1558528200@www.dc.uba.ar
SUMMARY:Defensa Tesis Doctorado Edgardo Zoppi
DESCRIPTION:Director: Dr Diego Garbervetsky\nJurados:\n– Nazareno Aguirre. Universidad Nacional de Rio Cuarto\n– Pedro D’Argenio. Universidad Nacional de Cordoba\n– Matthew Gertz. Microsoft\, \nResumen: En esta tesis presentamos el diseño e implementación de una amplia gama de análisis estáticos para la plataforma .NET\, con foco en la escalabilidad.\nNos concentramos en .NET dada su gran popularidad en la industria y el amplio conjunto de características que provee\, pertenecientes a los paradigmas orientado a objetos y funcional\, incluyendo programación concurrente y la manipulación de bajo nivel de punteros. La combinación de todas estas características hacen del análisis estático un desafío.\nPor un lado\, presentamos un framework de análisis estático distribuido de programa completo\, diseñado para escalar con el tamaño de la entrada.\nNuestro enfoque está basado en el modelo de programación con actores para ser ejecutado en la nube.\nNuestra decisión de utilizar una red de computadoras en la nube provee un grado de elasticidad para recursos de CPU\, memoria y almacenamiento.\nPara demostrar el potencial de nuestra técnica\, mostramos cómo puede ser implementado un análisis de call graph típico en una configuración distribuida.\nAdemás\, extendemos nuestro análisis para soportar actualizaciones incrementales del código fuente y mostramos cómo los resultados computados previamente pueden ser actualizados sin tener que volver a calcularlos de cero.\nPor otro lado\, presentamos un framework de análisis estático de programas y herramientas específicamente diseñados para la plataforma .NET. Este framework provee muchas funcionalidades\, incluyendo algunas representaciones intermedias como el código de tres direcciones\, adecuado para la implementación de un análisis estático\, así como también provee una amplia gama de análisis y transformaciones como son la inferencia de tipos\, los análisis decontrol-flow y data-flow\, y la construcción de call graph y points-to graph\, entre otros. No sabemos de ningún otro framework de análisis estático de código públicamente disponible para la comunidad .NET que provea este tipo de funcionalidades.\nPara demostrar las capacidades de nuestro framework\, presentamos también algunas aplicaciones cliente que aprovechan sus funcionalidades\, como\nun análisis de optimización de consultas Big Data para detectar automáticamente columnas no utilizadas y dependencias entre tablas de entrada y salida de operadores definidos por el usuario desarrollados en algún lenguaje de la plataforma .NET como C#.
URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-edgardo-zoppi/
LOCATION:Laboratorio 5
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR