BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Departamento de Computación - ECPv6.15.18//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:20260605T110000
DTEND;TZID=America/Sao_Paulo:20260605T130000
DTSTAMP:20260605T034252
CREATED:20260529T151927Z
LAST-MODIFIED:20260529T151927Z
UID:10640-1780657200-1780664400@www.dc.uba.ar
SUMMARY:Defensa Tesis Doctorado Javier Godoy
DESCRIPTION:Título: Abstracciones mediante predicados para la validación de contratos inteligentes \nDirector: Dr. Juan Pablo Galeotti\nConsejero de estudios: Dr. Ricardo O. Rodriguez \nJurados:\nDra. Alessandra Gorla \, Associate Research Professor\, IMDEA Software Institute.\nDr. German E. Regis\, Profesor Adjunto\, Universidad Nacional de Río Cuarto\nDr. Renzo Degiovanni\, Senior Research Scientist\, Luxembourg Institute of Science and Technology (LIST). \nLink Youtube: Se compartirá unos días antes de la defensa. \nResumen: \nLa verificación y validación de contratos inteligentes es crucial debido a la naturaleza inmutable de la blockchain\, donde los errores introducidos antes del despliegue no pueden corregirse posteriormente. Por esta razón\, han surgido numerosas empresas especializadas en la auditoría de contratos inteligentes\, y es frecuente que un mismo contrato sea auditado por múltiples equipos independientes\, lo que evidencia tanto la criticidad como la complejidad del proceso. En la práctica\, la auditoría de contratos inteligentes depende en gran medida del conocimiento y la experiencia de los auditores humanos\, y continúa siendo en gran parte un proceso manual\, a pesar de la disponibilidad creciente de herramientas automáticas y semi-automáticas. En general\, muchas de las herramientas actuales se centran en la verificación\, y requieren la especificación explícita de propiedades\, invariantes o patrones de vulnerabilidades a ser analizados. \nEsta tesis propone un enfoque basado en abstracciones por predicados para asistir la auditoría de contratos inteligentes\, específicamente en la red Ethereum\, aunque aplicable a otros entornos donde los contratos inteligentes implementan protocolos. A diferencia de otros enfoques\, la tesis se centra en la validación\, es decir\, en ayudar a los auditores a comprender si se está cumpliendo con los requerimientos del contrato. Esto se logra mediante la construcción de modelos abstractos representados como máquinas de estados finitos\, que capturan las posibles secuencias de llamadas a funciones y sus efectos en el estado del contrato. El método propuesto permite\, a partir de predicados definidos por el auditor\, generar diferentes visualizaciones del comportamiento de los contratos inteligentes. \nLos principales aportes de esta tesis incluyen: (i) la formalización de dos tipos de abstracciones por predicados (may/must) aplicadas al análisis de contratos inteligentes; (ii) técnicas de refinamiento de transiciones y estados que permiten focalizar el análisis en escenarios específicos de interés; (iii) la incorporación de estados transitorios para capturar comportamientos intermedios relevantes\, como aquellos asociados a vulnerabilidades de reentrada; (iv) la implementación de las técnicas propuestas en dos prototipos funcionales\, uno basado en Alloy y otro en un verificador formal; y (v) una evaluación empírica de las abstracciones mediante benchmarks establecidos y estudios con auditores experimentados. \nLos resultados obtenidos muestran que los modelos abstractos generados a partir de predicados permiten identificar defectos y patrones no detectados por herramientas existentes. Además\, la evaluación aporta evidencia de que las abstracciones propuestas facilitan la comprensión del comportamiento de los contratos inteligentes por parte de los auditores.
URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-javier-godoy/
LOCATION:Aula 1402
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20260608T110000
DTEND;TZID=America/Sao_Paulo:20260608T120000
DTSTAMP:20260605T034252
CREATED:20260602T130729Z
LAST-MODIFIED:20260602T130729Z
UID:10644-1780916400-1780920000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Lucas De Bortoli
DESCRIPTION:Título: Caracterización de fallas en el sistema Apollo para vehículos autónomos\nDirector: Víctor Braberman\nJurado: Juan Pablo Galeotti y Sebastián Uchitel \nResumen \nLa tesis analiza los issues reportados en el repositorio público de\nApollo Auto\, un framework open-source para vehículos autónomos\, con el\nobjetivo de identificar y caracterizar aquellos vinculados a fallas\nrelevantes del sistema. A partir de un proceso de filtrado\, el trabajo\nbusca separar estos reportes pertinentes de los otros. El análisis se\norganiza alrededor de preguntas como: qué tipos de fallas aparecen con\nmayor frecuencia\, en qué módulos del sistema se concentran\, qué\nusuarios tienden a reportarlas\, cómo responden los desarrolladores\nante esos reportes y cuánto tiempo transcurre hasta que son aceptados\no cerrados. Además\, se estudian casos atípicos que requieren más\ninteracción o permanecen abiertos durante más tiempo. Finalmente\, se\ndiscuten posibles acciones para mejorar la detección\, clasificación y\ndepuración de fallas en sistemas de conducción autónoma\, incluyendo\ncriterios de priorización\, mejor uso de etiquetas y estrategias para\nfacilitar el debugging de issues relevantes dentro de repositorios\nabiertos.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-lucas-de-bortoli/
LOCATION:Sala 2103
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20260612T180000
DTEND;TZID=America/Sao_Paulo:20260612T190000
DTSTAMP:20260605T034252
CREATED:20260603T131925Z
LAST-MODIFIED:20260603T131925Z
UID:10646-1781287200-1781290800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Nicolás Sarfati
DESCRIPTION:Título: Compilación de PICs en Smalltalk a partir de LiveTyping\nDirector: Hernán Wilkinson\nJurados: Hernán Gagliardi\, Javier Pimás\n\nResumen:\nLos lenguajes orientados a objetos dinámicamente tipados\, como Smalltalk resuelven los envíos de mensajes en tiempo de ejecución a partir de la clase concreta del receptor. Este modelo favorece la flexibilidad y la evolución dinámica de los programas\, pero introduce un costo de rendimiento asociado al despacho dinámico. Las máquinas virtuales modernas mitigan este costo mediante compilación Just-In-Time\, Inline Caches (ICs) y Polymorphic Inline Caches (PICs). Sin embargo\, estas cachés se construyen de forma reactiva en tiempo de ejecución lo cual también tiene un costo.\nEsta tesis explora un enfoque proactivo para la generación de ICs y PICs usando información de tipos recolectada por LiveTyping. En lugar de usar las PICs como fuente de información dinámica de tipos\, se propone invertir el flujo: aprovechar los tipos previamente observados por LiveTyping para anticipar su generación en tiempo de compilación\, en vez de depender únicamente de que la VM las construya durante la ejecución.\nPara ello\, se implementa soporte en la OpenSmalltalk VM mediante una primitiva que permite generar e instalar explícitamente ICs y PICs en sitios de envío seleccionados. A nivel de imagen\, esta primitiva se integra con Cuis University y LiveTyping mediante un mecanismo que analiza métodos compilados y se concentra\, en esta implementación\, en envíos cuyo receptor proviene de una variable de instancia. A partir de la información de tipos recolectada\, el mecanismo determina las clases receptoras y los métodos destino\, y solicita a la VM la generación e instalación de la caché correspondiente.\nLa evaluación experimental se realiza mediante microbenchmarks que varían la cantidad de sitios de envío\, clases receptoras y el número de iteraciones ejecutadas. Los resultados muestran que la generación proactiva de PICs puede reducir el costo inicial del despacho dinámico\, especialmente en ejecuciones cortas y en métodos con múltiples sitios de envío\, introduciendo un trade-off en términos de código generado y uso de espacio en la zona de código de la VM. \n\nPalabras clave: PIC\, IC\, OpenSmalltalk VM\, LiveTyping\, Smalltalk\, JIT.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-nicolas-sarfati/
LOCATION:Aula a confirmar
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR