BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Departamento de Computación - ECPv6.17.4.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:20260917T143000
DTEND;TZID=America/Sao_Paulo:20260917T153000
DTSTAMP:20260916T124835Z
CREATED:20260910T144838Z
LAST-MODIFIED:20260916T124835Z
UID:10934-1789655400-1789659000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Nicolás Papagna Maldonado
DESCRIPTION:Título: Cobertura de código en lenguajes dinámicamente tipados usando meta-programación\nDirector: Hernán Wilkinson\nJurados: Juan Pablo Galeotti\, Pablo Rubinstein \nResumen:\nCuis Smalltalk no contaba con herramientas de cobertura de código antes de este trabajo\, y en el ecosistema más amplio de Smalltalk las herramientas disponibles se limitaban a Method Coverage (Squeak\, VAST) y Statement Coverage (Pharo). Este trabajo desarrolla la primera herramienta de cobertura de código para Cuis Smalltalk\, de uso público desde 2021. La herramienta soporta cuatro criterios. Method Coverage\, necesario para distinguir métodos vacíos ejecutados; Statement Coverage; Branch Coverage (no implementado previamente en ningún dialecto de Smalltalk evaluado); y Observed Boolean Coverage (OBC)\, una variante computable de Boolean Coverage\, caracterizada en este trabajo específicamente para lenguajes dinámicamente tipados donde la identificación estática de expresiones booleanas es indecidible.\nLa implementación se basa fuertemente en el uso de metaprogramación: los métodos a analizar se instrumentan mediante reescritura de su abstract syntax tree (AST)\, sin requerir modificaciones a la máquina virtual ni al bytecode. Como contribución adicional\, el trabajo desarrolla PackageSnapshot\, un módulo independiente para clonar paquetes de Cuis preservando jerarquías de clases y referencias internas\, que habilita el análisis reflexivo de la cobertura del propio código de la herramienta.\nLa evaluación de performance sobre paquetes representativos del ecosistema Cuis muestra que el overhead absoluto se mantiene en el orden de los segundos para suites de duración razonable\, compatible con el uso interactivo durante el desarrollo. \nPalabras clave: cobertura de código\, Smalltalk\, Cuis Smalltalk\, metaprogramación\, lenguajes dinámicamente tipados\, criterios de cobertura\, Boolean Coverage\, instrumentación a nivel de AST\, testing de software
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-nicolas-papagna-maldonado/
LOCATION:Aula 1113
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20260918T110000
DTEND;TZID=America/Sao_Paulo:20260918T120000
DTSTAMP:20260911T141042Z
CREATED:20260911T141042Z
LAST-MODIFIED:20260911T141042Z
UID:10937-1789729200-1789732800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Augusto Nicola
DESCRIPTION:Título: Sistemas de Preferencias en LLMs: Efectos de las Perturbaciones Textuales y Elicitación de Perfiles sobre la Consistencia y Robustez en la Toma de Decisiones\nDirectores: Sergio Abriola\, Tomás Schitter\nJurados: Santiago Cifuentes\, Enzo Ferrante \nResumen:\nA medida que los modelos de lenguaje evolucionan\, el riesgo que representan no queda determinado únicamente por sus capacidades\, sino también por las preferencias\, objetivos y valores que exhiben. Para analizar estos aspectos\, y en línea con trabajos recientes\, realizamos una exploración empírica sobre los sistemas de preferencias declaradas de seis modelos de lenguaje modernos a través de preguntas de opción múltiple basadas en dilemas morales. Estudiamos el efecto de dos ejes: la perturbación de prompts\, que consiste en aplicar modificaciones sobre el texto sin alterar la naturaleza de la situación planteada; y la elicitación de perfiles\, que a través de instrucciones textuales basadas en psicología humana busca alterar el sistema de preferencias declaradas del modelo. A través de la ejecución de 561 mil prompts\, presentamos evidencia del efecto de los ejes estudiados\, observando una robustez frente a las perturbaciones mayor a la esperada (con algunas excepciones compatibles con ciertos sesgos que aparecen en humanos)\, perfiles psicológicos elicitados que alteran de manera medible las respuestas\, y\, en un modelo particular\, un fenómeno de rechazo sistemático que mayormente desaparece ante la elicitación de perfiles.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-augusto-nicola/
LOCATION:Aula 1113
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR