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:20190130T110000
DTEND;TZID=America/Sao_Paulo:20190130T120000
DTSTAMP:20260615T072545
CREATED:20190129T115304Z
LAST-MODIFIED:20190129T115304Z
UID:4767-1548846000-1548849600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Damian Furman
DESCRIPTION:Título: Generación de mensajes de error significativos en herramienta de detección estática de deadlocks para programas en Go.\n\nDirector: Hernán Melgratti\nJurado: Carlos Gustavo Lopez Pombo y Emilio Tuosto\n\nResumen\n\nGo es un lenguaje de programación que incorpora la comunicación a través del intercambio de mensajes dentro de su set básico de instrucciones. Lange\, Ng\, Toninho y Yoshida proponen un sistema de tipos sesión para analizar propiedades sobre aspectos de comunicación en programas Go\, como por ejemplo ausencia de deadlocks parciales y errores de comunicación. Esta técnica ha sido implementada en dos herramientas\, Dingo-Hunter y Gong\, que toman un programa Go e indican si cumple o no con estas propiedades. Sin embargo\, su implementación no aporta más información que pueda servir al usuario para mejorar su código si existe algún problema. El objetivo del siguiente trabajo es mejorar la usabilidad de la herramienta incorporando feedback que pueda ser usado para resolver el problema encontrado. Para esto\, se desarrolla una modificación de la implementación del tipo sesión que genera trazas de las posibles ejecuciones de los programas a analizar. Luego\, cuando un programa no satisface alguna de las propiedades mencionadas\, se indica qué instrucción genera el problema\, en qué número de línea y cual es la traza de la ejecución que la generó\, indicando invocaciones a funciones y sincronizaciones (envío y recepción correctos de un mensaje) previas.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-damian-furman/
LOCATION:Laboratorio Turing
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR