
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:20220513T110000
DTEND;TZID=America/Sao_Paulo:20220513T120000
DTSTAMP:20260422T205255
CREATED:20220510T173317Z
LAST-MODIFIED:20220510T182821Z
UID:7498-1652439600-1652443200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Ezequiel Gambaccini
DESCRIPTION:Titulo: Reescribiendo binarios de test usando C# \nDirectores: ​Dr. Diego Garbervetsky\, Dr. Juan P. Galeotti \nJurados: Dr. Sebastian Uchitel (DC\, FCEyN\, UBA)\, Lic. Daniela Marottoli (DC\, FCEyN\, UBA) \nLink Aula Zoom: https://zoom.us/my/dc.aula02\nNombre Aula Zoom: dc.aula02\nClave del Aula Zoom: vonNeumann \nResumen:\n————– \nLos sistemas distribuidos y la programación concurrente son hoy en día una forma común de diseñar aplicaciones. Esto se debe al incremento incesante de la capacidad de computación cloud y la disponibilidad de procesadores multicore. No obstante\, este paradigma de programación no se encuentra libre de problemas\, que resultan muy difíciles de encontrar\, testear y reproducir. Esto se debe a su naturaleza probabilística producto de la intercalación de la ejecución de las aplicaciones concurrentes. \nCOYOTE es una herramienta que permite a los usuarios testear aplicaciones concurrentes para encontrar estos problemas\, además de proveerles la posibilidad de reproducir problemas. Sin embargo\, para lograr esto\, las personas que usan esta herramienta necesitan escribir manualmente tests específicos usndo la API de COYOTE\, de forma que la herramienta pueda hacer su trabajo.\nEn esta tesis de licenciatura\, se propone una técnica para realizar una reescritura de tests existentes escritos en el lenguaje C# usando instrumentación de binarios. La evaluación inicial muestra que el enfoque puede tratar aplicaciones reales y resultar de ayuda a personas no expertas en el descubrimiento de errores de concurrencia.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-ezequiel-gambaccini/
LOCATION:ZOOM
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR