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:-0300
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20210101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20221219T180000
DTEND;TZID=America/Sao_Paulo:20221219T190000
DTSTAMP:20260416T085459
CREATED:20221212T144140Z
LAST-MODIFIED:20221212T151356Z
UID:8005-1671472800-1671476400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Angel Yan
DESCRIPTION:Título: Recolección de Tipos en VMs con Compilación Just-in-Time\nDirector: Hernán Wilkinson\nJurados: Emilio Oca y Agustín Martinez \nResumen:\nLiveTyping es un sistema de anotación automática de tipos que busca llevar a lenguajes dinámicos algunos de los beneficios de contar con información de tipos estática sobre los programas. Esta técnica se encuentra implementada en la versión Stack de la máquina virtual OpenSmalltalk-VM y es utilizada en el dialecto Cuis de Smalltalk para mejorar la experiencia de desarrollo agregando la posibilidad de inspeccionar del tipo de los términos\, code completion y refactorings automatizados más precisos\, chequeo e inferencia de tipos\, entre otras mejoras. LiveTyping instrumenta el intérprete de la Stack VM para recolectar la información de tipos de los términos\, algo que tiene un impacto no menor en el rendimiento de la máquina virtual.\nLa versión Cog de OpenSmalltalk-VM mejora sustancialmente la eficiencia de la Stack VM con la introducción de un compilador Just-in-Time. La implementación de LiveTyping en esta VM resulta atractiva como forma de mitigar su impacto en el rendimiento. El objetivo de este trabajo es implementar LiveTyping en una máquina virtual con compilación JIT para poder tener los beneficios que esta técnica provee con un menor impacto de performance. En este informe describimos la arquitectura de OpenSmalltalk-VM\, detallamos nuestra implementación de LiveTyping sobre la Cog VM y presentamos los resultados del análisis de su performance.\nPalabras clave: LiveTyping\, anotación de tipos\, tipado dinámico\, máquina virtual\, com- pilación Just-in-Time\, Smalltalk.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-angel-yan/
LOCATION:Aula a confirmar
END:VEVENT
END:VCALENDAR