BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Departamento de Computación - ECPv6.17.1//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
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:20250101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20260818T110000
DTEND;TZID=America/Sao_Paulo:20260818T120000
DTSTAMP:20260814T133608Z
CREATED:20260814T133608Z
LAST-MODIFIED:20260814T133608Z
UID:10858-1787050800-1787054400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Martin Pugliese
DESCRIPTION:Título: Acelerando el Testeo de Regresiones con Mimicry Monitors\nDirectores: Victor Braberman y Diego Garbervetsky\nJurados: Lic Felicitas Garcia\, Dr. Javier Godoy \nResumen:\nEn el desarrollo de software moderno\, los sistemas evolucionan constantemente mediante cambios incrementales. Cada modificación plantea una pregunta inevitable: ¿es necesario volver a ejecutar todos los tests\, o podemos aprovechar el trabajo de verificación ya realizado? Esta tesis aborda ese interrogante evaluando los Mimicry Monitors (MM)\, una técnica que permite verificar en tiempo de ejecución si el comportamiento de una nueva versión de un programa puede ser «imitado» por la versión anterior\, sin necesidad de ejecutarla\, capitalizando los fragmentos de código que ambas versiones comparten.\nEl trabajo va un paso más allá de la validación original de la técnica: evalúa experimentalmente qué tan competitivos son los MM frente a RTS++\, una herramienta de selección de tests de regresión basada en análisis estático sobre grafos de llamadas. Los experimentos se realizaron sobre módulos de proyectos reales de código abierto (BoringSSL\, Abseil y RocksDB) adaptando sus suites de tests para simular escenarios concretos de regresión.\nLos resultados revelan que los MM permiten reducir significativamente la cantidad de ejecución necesaria cuando los cambios son localizados\, emitiendo veredictos anticipados antes de completar la ejecución del programa. Al mismo tiempo\, se identifican y caracterizan los escenarios donde sus limitaciones son más pronunciadas\, contribuyendo así a una comprensión más completa y honesta de su utilidad práctica.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-martin-pugliese/
LOCATION:Sala 1606
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20260818T150000
DTEND;TZID=America/Sao_Paulo:20260818T160000
DTSTAMP:20260813T134730Z
CREATED:20260813T134537Z
LAST-MODIFIED:20260813T134730Z
UID:10850-1787065200-1787068800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Bruno Gomez
DESCRIPTION:Título: Integración de síntesis reactiva simbólica en MTSA mediante controladores generados por Spectra\nDirector: Hernán Gagliardi\nJurados: Florencia Zanollo\, Sebastian Uchitel\n\nResumen\nEsta tesis estudia la integración entre MTSA y Spectra para incorporar capacidades de síntesis reactiva simbólica dentro de un flujo basado en modelos LTS. En particular\, se propone una traducción desde modelos expresados en MTSA hacia especificaciones Spectra\, la invocación del motor de síntesis de Spectra\, y la posterior reconstrucción de uncontrolador en formato LTS a partir de la representación simbólica generada.\nEl objetivo general es explorar cómo aprovechar controladores representados mediante BDDs y técnicas de exploración just-in-time para producir artefactos compatibles con MTSA\, preservando una semántica útil para el análisis\, la composición y la inspección de controladores.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-bruno-gomez/
LOCATION:Aula 1114
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR