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:20230101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240214T140000
DTEND;TZID=America/Sao_Paulo:20240214T150000
DTSTAMP:20260403T195859
CREATED:20240208T115939Z
LAST-MODIFIED:20240208T115939Z
UID:8885-1707919200-1707922800@www.dc.uba.ar
SUMMARY:Charla de Joost Peter Katoen on Safe AI
DESCRIPTION:El miércoles 14\, a las 14hs va a dar una charla Joost Peter Katoen\, (https://en.wikipedia.org/wiki/Joost-Pieter_Katoen) y va a dar una charla que tal vez sea de su interés.\nSala 2103 a las 14 horas.\n\n\nFacing Uncertainty in AI – From Verification to Synthesis \nUncertainties occur in different forms: data may be noisy\, mechanisms may be inherently randomised\, the visibility (of e.g. a robot) may not be optimal\, and the environment in which a system needs to operate may behave in an unknown manner. \nThe central question that we will address is «Can we guarantee that AI systems are safe and dependable in the presence of such uncertainty?» We advocate using model-based\, formal verification and synthesis with a particular focus on automation. \nWe will present techniques to verify uncertainty aspects modeled as randomness and to use formal synthesis to complete partial designs. Several example AI systems will illustrate the capabilities of these approaches.
URL:https://www.dc.uba.ar/event/charla-de-joost-peter-katoen-on-safe-ai/
LOCATION:Sala 2103
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240221T180000
DTEND;TZID=America/Sao_Paulo:20240221T190000
DTSTAMP:20260403T195859
CREATED:20240214T125354Z
LAST-MODIFIED:20240219T121556Z
UID:8891-1708538400-1708542000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Giselle Zeitoune
DESCRIPTION:Título: Un cálculo-lambda cronometrado\nDirector: Pablo Barenbaum\nJurado: Sergio Abriola y Rafael Romero \nResumen:\nEl cálculo-lambda permite estudiar la noción de función computable desde un\npunto de vista matemático\, modelando la abstracción y la aplicación de una\nfunción a un argumento. El mecanismo de cómputo por el cual se realiza esta\naplicación se conoce como beta-reducción. En este trabajo extendemos el\ncálculo-lambda a una variante «cronometrada»\, a la que llamamos cálculo-lambda\ncronometrado. Extendemos la sintaxis\, la semántica y el sistema de tipos para\nreflejar el hecho de que la aplicación de una función a un argumento tiene un\ncosto temporal. Para esto se incorpora un constructor de términos que\nrepresenta una demora de una unidad de tiempo\, y un operador que modela la\nacción de esperar hasta que el resultado de un cómputo esté listo. Modificamos\nel mecanismo de cómputo para que cada paso de beta-reducción introduzca una\ndemora. Demostramos que este cálculo preserva propiedades como la confluencia y\nla normalización fuerte del fragmento tipado. Damos un argumento de terminación\ndébil\, bajo ciertas hipótesis de tipabilidad\, que exhibe una cota explícita\npara la longitud de la reducción a forma normal\, basado en las características\ndel nuevo cálculo\, usando la noción de costo definida. Finalmente\, demostramos\nque hay términos tipables en el cálculo-lambda a los que no se les puede hacer\ncorresponder un término tipable en el cálculo-lambda cronometrado. Este\nresultado se obtiene por medio de un sistema de tipos auxiliar en el que los\njuicios de tipado vienen acompañados de restricciones ecuacionales.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-giselle-zeitoune/
LOCATION:Aula 1114
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240305T100000
DTEND;TZID=America/Sao_Paulo:20240305T120000
DTSTAMP:20260403T195859
CREATED:20240304T131002Z
LAST-MODIFIED:20240304T150854Z
UID:8977-1709632800-1709640000@www.dc.uba.ar
SUMMARY:Defensa Tesis Doctorado Agustín Martinez Suñé
DESCRIPTION:Título: Análisis automático de propiedades de calidad en sistemas distribuidos basados en servicios\nDirector: Dr. Carlos Gustavo López Pombo\nConsejero de estudios: Dr. Juan Pablo Galeotti\nJurados:\nDr. Sebastián Uchitel (Universidad de Buenos Aires)\nDr. Alexandre Madeira (Universidad de Aveiro)\nDr. Alberto Lluch Lafuente (Universidad Técnica de Dinamarca) \nLink de youtube para la transmisión: https://youtube.com/live/px5yJR8cA_U \nResumen: \nLos sistemas distribuidos basados en servicios responden a paradigmas de cómputo que ponen a los servicios como los elementos fundamentales de la arquitectura y del proceso de desarrollo de las aplicaciones de software. Bajo estos paradigmas\, entre los que se encuentra la Computación Orientada a Servicios (SOC)\, los sistemas de software ya no son piezas monolíticas de código que se ejecutan dentro de los límites de una organización. En cambio\, están constituidos a partir de la ejecución coordinada y distribuida de múltiples servicios que proveen funcionalidades específicas. \nEstos sistemas se sustentan sobre lo que se conoce como cómputo global\, que comprende los recursos computacionales e infraestructuras de comunicación disponibles a nivel mundial\, y dan lugar a la llamada economía de las API. Esta idea sostiene que es posible construir artefactos de software a partir de componer\, en tiempo de ejecución\, servicios provistos por terceros y registrados previamente en repositorios. \nEn este contexto\, la calidad de servicio (QoS) es un aspecto fundamental a tener en cuenta en el proceso de desarrollo y despliegue de aplicaciones de software\, ya que está directamente influenciada por la calidad de los servicios que componen el sistema.\nPor lo tanto\, los aspectos de calidad se convierten en elementos centrales en la selección de dichos servicios y\, como resultado\, en la negociación de acuerdos de nivel de servicio (SLA). El término calidad de servicio se utiliza de manera amplia en este contexto para referirse a lo que comúnmente se conoce como requisitos de calidad\, en contraposición a los requisitos funcionales. Esto significa que se refiere a aquellos requisitos que expresan propiedades de calidad del software sin condicionar la funcionalidad que proporciona. \nEn esta tesis\, nuestro objetivo es contribuir al campo del análisis automático de propiedades de calidad en sistemas distribuidos basados en servicios. Nuestras contribuciones se basan en el enfoque de los métodos formales aplicados a la ingeniería de software\, es decir\, métodos de análisis de artefactos de software cuyas técnicas pueden explicarse en términos lógico-matemáticos. \nDesde este enfoque\, nos concentraremos en el análisis de propiedades que predican sobre atributos cuantitativos\, esto es\, aquellos atributos de calidad que admiten algún tipo de medición. Este conjunto incluye atributos de naturaleza diversa\, como el tiempo de respuesta\, el consumo de memoria\, el costo monetario y la reputación\, entre otros. \nEn suma\, las contribuciones de esta tesis se centran en dos aspectos fundamentales. Por un lado\, en el desarrollo de lenguajes formales capaces de expresar contratos de calidad de servicio\, tanto de provisión como de requisito\, desde una mirada general que no hace suposiciones sobre la naturaleza de los atributos de calidad\, excepto por la condición de que sean cuantitativos. Por otro lado\, en el diseño de técnicas de análisis para estos lenguajes\, que permiten la verificación automática de la compatibilidad entre un contrato de provisión y uno de requisito.
URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-agustin-martinez-sune/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240312T100000
DTEND;TZID=America/Sao_Paulo:20240312T110000
DTSTAMP:20260403T195859
CREATED:20240306T170121Z
LAST-MODIFIED:20240306T170121Z
UID:8991-1710237600-1710241200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Franco Assenza
DESCRIPTION:Título: Apuestas y Azar: Martingalas computables y secuencias genéricas de Poisson\nDirectores: Verónica Becher y Santiago Figueira\nJurados : Nicolás Álvarez y Martín Mereb \nResumen: Intuitivamente un número es aleatorio si no hay forma hacer apuestas a los dígitos de su expansión fraccionaria y conseguir\, a la larga\, una ganancia infinita. La formalización de esta idea originó la definición de aleatoriedad basada en martingalas. Un número es puramente aleatorio si ninguna martingala computablemente enumerable hace una ganancia infinita sobre su expansión fraccionaria. Las nociones de aleatoriedad más débiles (o impuras) sí pueden tener martingalas computables asociadas. En este trabajo consideramos la noción llamada genericidad de Poisson. Un número es genérico de Poisson si la distribución de bloques largos de dígitos en los segmentos iniciales de su expansión fraccionaria es una distribución de Poisson. Recientemente Peres y Weiss demostraron que casi todos los números son genéricos de Poisson\, y Álvarez\, Becher y Mereb mostraron que todos los números puramente aleatorios son genéricos de Poisson. En esta tesis damos una martingala computable que logra infinita ganancia sobre las expansiones fraccionarias de números que no son Poisson genéricos en una base entera dada\, analizamos su complejidad computacional de peor caso.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-franco-assenza/
LOCATION:Aula 1303
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240319T140000
DTEND;TZID=America/Sao_Paulo:20240319T150000
DTSTAMP:20260403T195859
CREATED:20240312T135440Z
LAST-MODIFIED:20240312T135440Z
UID:8996-1710856800-1710860400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Lucas Figarola
DESCRIPTION:Título: AgrOptim: Una plataforma de simulación y optimización para el diseño de agroecosistemas sustentables \nLugar de trabajo:\n-Laboratorio de Simulación de Eventos Discretos (SED)\, Instituto UBA-CONICET de Ciencias de la Computación (ICC)\, Departamento de Computación (DC)\, FCEyN-UBA\n-Cátedra de Cerealicultura\, Instituto UBA-CONICET de Investigaciones Fisiológicas y Ecológicas Vinculadas a la Agricultura (IFEVA)\, FAUBA-UBA \nDirector: Dr. Rodrigo Castro (DC-ICC)\nCo Director: Lic. Felipe Ghersa (IFEVA)\nAsesor: Dr. Diego Ferraro (IFEVA) \nJurado:\n– Dr. Esteban Feuerstein (DC-ICC)\n– Dr. José Andrade (IFEVA)  \nResumen del trabajo:\nLos objetivos económicos y ambientales de productores agrícolas presentan compromisos no triviales. Diseñar sistemas agrícolas que cumplan a largo plazo con estos objetivos y reduzcan los compromisos que existen entre ellos requiere evaluar un gran conjunto de combinaciones de variables de decisión agronómica. Esto presenta varias dificultades cuando se utilizan experimentos de campo\, ya que requieren de una gran cantidad de espacio\, tiempo y recursos para medir adecuadamente las interrelaciones complejas entre los factores humanos y naturales que determinan los sistemas de producción. \nLos modelos de simulación de cultivos\, acoplados con algoritmos de optimización\, pueden proporcionar una herramienta sólida para estudiar y diseñar sistemas de cultivo bajo diferentes condiciones ambientales y de manejo\, tanto actuales como futuras\, y a largo plazo. \nEn esta tesis presentamos AgrOptim\, un framework que integra un modelo de simulación de cultivos (DSSAT)\, un modelo de simulación de riesgo ecotoxicológico (RIPEST)\, indicadores de Síntesis Emergética (por Embodied Energy) y algoritmos genéticos\, con el fin de optimizar objetivos económicos y biofísicos bajo diferentes combinaciones de variables de decisión agronómica (secuencia de cultivos\, estructura de cultivo\, tipos y dosis de pesticidas y fertilizantes). \nAplicamos AgrOptim a las condiciones de la zona de Pergamino\, Argentina\, para (1) caracterizar la relación entre los objetivos económicos y ambientales y (2) evaluar el estado actual y las mejoras potenciales para tres sistemas de cultivo en la región: monocultura de soja\, monocultura de maíz y rotación de tercios (maíz-soja-trigo/soja de 2da.) \nPara esto\, se diseñó un experimento de optimización multiobjetivo para sistemas de cultivo extensivos durante 30 años\, de acuerdo con prácticas agrícolas modales típicas. Se utilizó la optimalidad de Pareto para optimizar simultáneamente un objetivo económico (retorno de la inversión) y cuatro objetivos biofísicos (entradas de carbono de residuos de cultivo\, eficiencia de uso de la precipitación\, relación de energía no renovable a renovable\, y la ecotoxicidad de fitosanitarios).  \nLos resultados permiten cuantificar y mensurar los compromisos entre los objetivos económicos y todos los objetivos ambientales. Además\, se pudo comprobar que las variables de decisión que proporcionaron un mejor rendimiento biofísico en términos de residuos de carbono\, eficiencia de uso de la precipitación y riesgo ecotoxicológico requieren aumentar el uso de energía no renovable. Los sistemas de cultivo estudiados mostraron que existen oportunidades (brechas) de mejora tanto para los objetivos económicos como biofísicos\, y se identificaron variables de decisión que permiten mejorar el rendimiento biofísico mientras se mantiene (o incluso se mejora) el nivel de rendimiento económico. \nEstos resultados destacan los desafíos que enfrentan los productores agrícolas respecto de los compromisos económicos y ambientales\, y exponen las oportunidades de mejoras que pueden identificarse mediante modelos de simulación y optimización\, ofreciendo nuevas opciones para el rediseño de sistemas de cultivo.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-lucas-figarola/
LOCATION:Sala 1606
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240322T160000
DTEND;TZID=America/Sao_Paulo:20240322T170000
DTSTAMP:20260403T195859
CREATED:20240320T143046Z
LAST-MODIFIED:20240320T143046Z
UID:9011-1711123200-1711126800@www.dc.uba.ar
SUMMARY:Charla Dátame: Unificando enfoques en problemas de datos
DESCRIPTION:Este viernes arranca Dátame! 2024. El encuentro es a las 16hs. en el aula 1402 del Edificio 0+Infinito. \nEsta vez\, la charla estará a cargo de Daniela Rodriguez (Instituto de Cálculo\, Exactas-UBA). El título de la charla es \nUnificando enfoques en problemas de datos \n \nSobre la charla \nEn esta charla discutiremos diferentes problemas con datos en donde si bien tienen objetivos diferentes pueden ser abordados bajo un mismo enfoque.  En particular\, discutiremos un problema de regresión en donde se postula diferentes regímenes en un modelo único y un desafío es estimar dónde ocurren las transiciones. También presentaremos un problema de reducción de la dimensión en donde mostraremos cómo simplificar el modelo detectando puntos de independencia en un vector aleatorio. Y finalmente abordaremos un problema de estimación de la dimensión. \n\nSobre Daniela\nDaniela Rodriguez obtuvo en 2008 su doctorado en Ciencias Matemáticas por la Universidad de Buenos Aires. Es Profesora Asociada en UTDT e investigadora independiente de CONICET.  Es directora del Instituto de Cálculo y actualmente\, es miembro del Comité Científico de la Unión Matemática de América Latina y el Caribe y de la Sociedad Latinoamericana de Probabilidad y Estadística Matemática.  Sus líneas de investigación se centran en la estadística matemática.Consultas: info.lcd@exactas.uba.ar \nSobre ¡DÁTAME! \nEste ciclo de charlas busca simultáneamente: \n– Ser un lugar de encuentro entre todos/as los/as que nos sentimos\ncercanos a LCD ya sea por ser estudiantes de la carrera o carrera\ncercanas\, docentes\, investigadores/as interesados/as o simplemente\namigos/as de LCD. \n– Ofrecer a estudiantes de la carrera un panorama amplio de posibles\ncaminos que puede recorrer un/a especialista en ciencias de datos. \n– Exponer a estudiantes de LCD a importantes referentes de la disciplina\nque trabajan en diversos ámbitos (investigación científica\, empresas\,\norganismos estatales\, ONGs\, etc. ) \n– Aprender un montón de cosas sobre datos. Qué tipo de problemas se\npueden resolver con ellos y cuáles no\, qué precauciones debemos tener\,\nqué desafíos afronta la disciplina y mucho más. \n– Evidenciar la diversidad de disciplinas que confluyen en esta carrera\ny experimentar cómo interactúan. \n– Compartir un buen rato\, un viernes a la tarde\, una vez por mes. \nEstá destinado principalmente a estudiantes de la carrera\, pero todas/os\nsomos bienvenidas/os. \nNos juntamos el 3er. viernes de cada mes a las 16hs. \n¡Las y los esperamos!
URL:https://www.dc.uba.ar/event/charla-datame-unificando-enfoques-en-problemas-de-datos/
LOCATION:Aula 1402
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240325T140000
DTEND;TZID=America/Sao_Paulo:20240325T150000
DTSTAMP:20260403T195859
CREATED:20240320T184655Z
LAST-MODIFIED:20240320T184655Z
UID:9015-1711375200-1711378800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Dago de Renteria y Melissa Regnier
DESCRIPTION:Título: Fuzzing de smart contracts: EchidnaAFL\nDirectores: Juan Pablo Galeotti y Diego Garbervetsky (DC/ICC)\nJurados:\n– Victor Braberman (DC/ICC)\n– Gustavo Grieco (Trail of Bits) \nResumen:\nEn los últimos años\, han cobrado popularidad y gran capital financiero las tecnologías blockchain y en particular Ethereum\, que introdujo el concepto de smart contracts que permitió el desarrollo de una gran variedad de proyectos. Esto dio lugar a la investigación y desarrollo de herramientas de testing de smart contracts\, en particular fuzzing. En esta tesis\, en búsqueda de una herramienta para extender\, llevamos a cabo en primer lugar un análisis del estado del arte de las herramientas de fuzzing existentes\, lo que nos llevó a elegir a Echidna\, debido a su popularidad\, simpleza de extensión y disponibilidad de código y desarrolladores. En base a esto\, realizamos una investigación de reverse-engineering que nos permitió documentar extensamente el algoritmo de Echidna\, obteniendo diversos diagramas que disponibilizamos para el uso de la comunidad. Una vez hecho esto\, implementamos una versión de Echidna que incorpora conceptos de la herramienta AFL Fast\, que asigna energía a los elementos del corpus en función de la frecuencia del camino explorado por cada elemento. Además\, implementamos una versión random que asigna energías uniformes para utilizar como testigo en el análisis. Finalmente\, mediante el uso de tres distintos benchmarks\, comparamos los resultados obtenidos por las tres distintas versiones y concluimos que la adaptación implementada obtiene resultados equivalentes a la original pero con un overhead de tiempo significativo\, mientras que la versión random también obtiene resultados similares sin ningún overhead de tiempo. Esto nos lleva a concluir que la estrategia de elección de elementos de corpus no pareciera influir lo suficiente en la eficiencia de la herramienta ya que su comparación con random que representa la elección trivial de elementos de corpus resulta en el mismo nivel de performance. Como trabajo futuro\, se pueden seguir explorando los resultados observados haciendo uso de benchmarks más complejos y extensos que permitan otorgarle mayor confianza a lo concluido o incluso proponer nuevas estrategias de feedback utilizando la documentación provista en esta tesis para facilitar el desarrollo. \nPalabras claves: Ethereum\, smart contracts\, fuzzing\, Echidna\, AFL-Fast\, feedback\, elección de elementos de corpus.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-dago-de-renteria-y-melissa-regnier/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240409T100000
DTEND;TZID=America/Sao_Paulo:20240409T120000
DTSTAMP:20260403T195859
CREATED:20240404T151550Z
LAST-MODIFIED:20240404T151550Z
UID:9041-1712656800-1712664000@www.dc.uba.ar
SUMMARY:Defensa Tesis Doctorado Gustavo Landfried
DESCRIPTION:Título: Análisis bayesiano del aprendizaje en comunidades de video juegos \nDirector: Esteban Mocskos\nCo-director: Diego Fernández Slezak \nConsejero de estudios: Hernán Melgratti \nJurados: \nDr. Daniel Ramos Castro – Universidad Autónoma de Madrid\nDra. Marcela Svarc – Universidad de San Andrés & CONICET\nDr. Mariano G. Beiró Facultad de Ingeniería\, UBA & CONICET \nTransmisión: https://youtube.com/live/HvNwM5Fmf9I?feature=share \nResumen: \nLas especie humana tiene una singular capacidad de aprendizaje social\,\nque le permite acumular adaptaciones sucesivas en el tiempo que van\nproduciendo el inimaginablemente complejo sistema de información\ncultural. Si bien el aprendizaje humano ocurre en los cuerpos\nbiológicos\, el aprendizaje cultural es un fenómeno poblacional que\nemerge de la interacción prolongada entre individuos y entre\ngeneraciones. Entender las propiedades de los sistemas de información\ncultural es uno de los problemas fundamentales de la antropología\,\nrelevante para las ciencias de la computación y la inteligencia\nartificial multi-agente. En particular\, comprender las relaciones que\nvinculan el nivel poblacional (como la dinámica y estructura de la red\nde intercambios de información cultural) con el nivel individual (el\naprendizaje efectivo que se produce en los cuerpos)\, ha sido la pregunta\nque motivó esta tesis de doctorado. Para ello\, decidimos estudiar las\ncomunidades de video juegos en línea. Además de que ofrecen la\noportunidad de estudiar poblaciones grandes sin perder un alto grado de\ndetalle\, ellas son un lugar privilegiado para estudiar cómo cambian las\nestrategias en el tiempo. Algunas de las preguntas que nos propusimos\nresponder durante el doctorado fueron las siguientes. ¿Cuál es la mejor\nforma de medir el aprendizaje de un individuo en el tiempo? ¿Cuál es la\nrelación entre la formación de equipos y el aprendizaje individual a\nlargo plazo? ¿Cuál es el efecto que la posición topológica de un\nindividuo en la red información cultural tiene sobre el aprendizaje\nindividual? ¿Cuáles son algunas de las propiedades generales del\naprendizaje?\nDurante el doctorado en ciencias de la computación el enfoque bayesiano\nde la probabilidad respondió las preguntas metodológicas y\nepistemológicas más profundas que traía de mi formación previa en\nciencias antropológicas: cómo alcanzar acuerdos respecto a la correcta\nevaluación de argumentos causales alternativos. Las reglas de la\nprobabilidad se conocen desde finales del siglo 18 y desde entonces se\nlas ha adoptado como sistema de razonamiento en todas las ciencias\nempíricas. Si bien en todo este tiempo no se ha propuesto nada mejor en\ntérminos prácticos\, el costo computacional asociado a la evaluación de\ntodo el espacio de hipótesis ha limitado históricamente la aplicación\nestricta de las reglas de la probabilidad (enfoque bayesiano). El\nenfoque bayesiano se fue incorporando lentamente durante el transcurso\nde la tesis\, hasta transformarse en un protagonista.\nEn el primer trabajo usamos el modelo bayesiano de habilidad más\nutilizado en la industria del video juego para estudiar una comunidad en\nel que las personas podían jugar individualmente o en equipos. Mediante\ntest de hipótesis estadísticos detectamos que jugar en equipo está\nasociado a mayor aprendizaje a largo plazo\, y que mantener un equipo\nestable está asociado a mayor velocidad de aprendizaje. Los estimadores\nde habilidad disponibles\, considerados estado del arte al inicio del\ndoctorado\, no permiten sin embargo obtener estimaciones iniciales\nfiables ni garantizar la comparabilidad entre estimaciones distantes en\nel tiempo y el espacio. En el transcurso del doctorado descubrimos la\nespecificación matemática de un modelo conocido como TrueSkill Through\nTime (TTT) que resolvı́a estos problemas realizando la inferencia en\núnica red bayesiana\, propagando la información histórica correctamente.\nDebido a que el modelo no se encontraba disponible en ningún lenguaje de\nprogramación en el segundo trabajo resolvimos la matemática de este\nmodelo\, la documentamos\, la implementamos y la publicamos en los\nlenguajes de programación Julia\, Python y R. En un tercer trabajo\,\nestudiamos la evolución de una red de partidas en el juego de Go durante\nun periodo de ocho años y encontramos\,con el nuevo estimador\, que la\nposición de los individuos en la red tiene un efecto sobre el\naprendizaje en los personas que están en el medio del proceso de\naprendizaje\, ausente entre novatas y expertas. \nPalabras claves: Ciencias Sociales Computacionales\, Inferencia\nbayesiana\, Cultura\, Habilidad\, Aprendizaje\, Comunidades virtuales\,\nVideojuegos
URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-gustavo-landfried/
LOCATION:Sala 2103
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240410T163000
DTEND;TZID=America/Sao_Paulo:20240410T173000
DTSTAMP:20260403T195859
CREATED:20240403T180304Z
LAST-MODIFIED:20240403T180304Z
UID:9030-1712766600-1712770200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura David Venegas
DESCRIPTION:Título: «Modelado de funciones propagadoras para taint tracking con CodeQL y GPT-4: una aproximación experimental» \nDirector: Víctor Braberman\nDirector adjunto: Iván Postolski\nJurados: Diego Garbervetsky\, Rodolfo Baader\n\nResumen\n———————-\n\n\nEn el análisis estático de programas\, el taint tracking se utiliza para detectar vulnerabilidades relacionadas con el flujo de inputs no sanitizados\, como lo son las inyecciones de código. CodeQL es una herramienta de data-flow analysis que convierte el código fuente en una base de datos para detectar vulnerabilidades utilizando queries\, sin embargo\, su eficacia es limitada al utilizar métodos de APIs no contempladas en estas reglas. Este desafío se resuelve agregando modelos que extiendan las queries y especifiquen cómo fluye la información a través de sus parámetros. El proceso de modelado\, que identifica las funciones propagadoras\, requiere conocimientos especializados en CodeQL y seguridad informática\, así como un entendimiento del dominio del problema y el código en cuestión por lo que resulta en una tarea costosa que debe ser abordada por un experto en el área.\n\nEsta tesis estudia si el rol de un humano en el modelado de estas funciones propagadoras puede ser relegado a un modelo de lenguaje (GPT-4). Primero\, se propone una taxonomía de los subproblemas del modelado y los distintos tipos de variaciones de información contextual a los que se enfrenta un experto. Adicionalmente\, se identifican las competencias que caracterizan a dicho experto. Luego\, se analizan estrategias de prompt engineering adecuadas y se recopilan casos relevantes creados por la comunidad para ser utilizados como oráculo. La evaluación empírica muestra que las capacidades de las LLMs aún no alcanzan las de un experto en ciberseguridad\, sin embargo\, a pesar de las limitaciones de esta técnica\, como un contexto de prompting acotado y la falta de garantías teóricas de utilizar IA\, se obtuvo un set de casos donde es viable usar al agente. Además\, se establecen las bases para futuras investigaciones que extiendan el rol de las LLMs en la detección de vulnerabilidades en el código fuente.\n\n\nPalabras claves: CodeQL\, Taint Tracking\, Static Analysis\, LLM\, GPT4\, CWE\, API modeling
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-david-venegas/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240412T100000
DTEND;TZID=America/Sao_Paulo:20240412T120000
DTSTAMP:20260403T195859
CREATED:20240404T170700Z
LAST-MODIFIED:20240404T170700Z
UID:9043-1712916000-1712923200@www.dc.uba.ar
SUMMARY:Defensa Tesis Doctorado Ivan Arcuschin Moreno
DESCRIPTION:Título: Generación aleatoria de casos de test Espresso para Android\nDirector: Prof. Dr. Juan Pablo Galeotti\nConsejero de estudios: Prof. Dr. Hernán Melgratti\nJurados:\nProf. Dra. Alessandra Gorla – IMDEA Software Institute\nProf. Dr. Marcelo d’Amorim – NC State University\nDr. Renzo Degiovanni – University of Luxembourg \nTransmisión: https://youtube.com/live/Z7-gBWNfZuw \nResumen: \nEl testing es una parte integral del proceso de desarrollo de aplicaciones Android: al correr casos de test regularmente en sus aplicaciones\, los desarrolladores pueden verificar el correcto comportamiento y la usabilidad antes de poner las aplicaciones a disposición del público. Espresso es un framework de testing que permite a los desarrolladores escribir casos de test de interfaz de usuario (UI) Android concisos\, confiables y legibles\, y es el único framework de testing de UI con una amplia adopción entre los desarrolladores de aplicaciones. Se han propuesto varias herramientas de generación automática de tests para ayudar a los desarrolladores en la tarea de testing. Sin embargo\, muchas de estas herramientas no producen casos de test ejecutables\, solo informan errores\, y de las que generan tests\, sólo algunas admiten el formato Espresso. \nEsta tesis se centra en mejorar la generación de casos de test Espresso para aplicaciones Android. Comenzamos realizando un estudio empírico que compara la efectividad de distintos algoritmos evolutivos y muestra que dichos algoritmos no son adecuados para generar casos de test Android\, siendo muchas veces superados por algoritmos puramente aleatorios. A continuación\, analizamos los desafíos de generar casos de test en formato Espresso\, utilizando un enfoque basado en traducción que aprovecha la salida de herramientas de testing automático existentes. Encontramos que uno de los principales desafíos es la falta de propiedades únicas para identificar de manera inequívoca widgets específicos en la UI. Esto se agrava debido a que muchas herramientas utilizan el Servicio de Accesibilidad de Android\, que puede devolver información inconsistente. \nFinalmente\, esta tesis presenta una técnica para generar casos de test Espresso que son ampliamente más confiables que los generados utilizando el enfoque basado en traducción según una evaluación experimental en 1.035 apps Android. Esta técnica incluye algoritmos novedosos para generar View Matchers de Espresso que seleccionan de manera concisa widgets de Android\, y para crear View Assertions de Espresso que sirven para tests de regresión. Utiliza además el framework Espresso directamente para obtener información e interactuar con la aplicación bajo test. \nPalabras claves: Android\, Espresso\, generación de casos de test\, oráculos de test\, algoritmos basados en búsqueda.
URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-ivan-arcuschin-moreno/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240412T170000
DTEND;TZID=America/Sao_Paulo:20240412T180000
DTSTAMP:20260403T195859
CREATED:20240411T165358Z
LAST-MODIFIED:20240411T165358Z
UID:9066-1712941200-1712944800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Ezequiel Vera
DESCRIPTION:Título: «Análisis de estabilidad y seguridad en una red de Proof of Stake: el ejemplo de Algorand»\nDirector: Esteban Mocskos\nJurados: Gustavo Sadovoy\, Ariel Waissbein \nTransmite por: https://youtube.com/live/hVe3CpH6LYg?feature=share \nResumen\n=======\nEn este trabajo de tesis estudiamos Algorand\, una red de blockchain basada en Proof of Stake\, analizando la estabilidad y seguridad de la misma en dos etapas. \nEn una primera etapa\, experimentamos con la estabilidad y adaptación a cambios en la topología física de la red. Para ello creamos experimentos con distintas configuraciones en los que afectamos enlaces agregando latencias de manera incremental. En todos ellos logramos degradar y hasta detener la red al afectar un 20% del stake participante del consenso\, encontrando un potencial vector de ataque. \nComo segunda etapa\, ante la factibilidad de un ataque de este tipo\, nos interesó poder reconstruir la topología lógica de la red para ubicar a los nodos de mayor stake\, a partir de los mensajes recibidos por un relay del sistema. Experimentamos con redes de diferentes tamaños hasta replicar la escala de la red real. Para cada uno creamos un escenario en el que el stake se distribuye de manera homogénea entre los nodos\, y otro heterogéneo en el que se respeta la distribución real de la red para fines de 2022. \nPara los escenarios homogéneos\, logramos predicciones que aciertan por completo en las conexiones de los nodos a los relays vecinos del relay analizado\, pero que comienzan a fallar en la escala realista (bajando el nivel de detección y generando falsos positivos). \nPara los escenarios heterogéneos observamos un comportamiento similar: partimos de predicciones exactas para redes más pequeñas\, que comienzan a fallar a medida que incrementamos el tamaño de la red. Sin embargo\, nuestro algoritmo pudo predecir en escala realista de manera exacta y precisa las conexiones de las cuentas más importantes de la red (aquellas con mayor stake). \nEste estudio es el primero para la red de Algorand en base a los aspectos analizados\, con emulaciones de la misma en escala realista.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-ezequiel-vera/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240415T100000
DTEND;TZID=America/Sao_Paulo:20240415T120000
DTSTAMP:20260403T195859
CREATED:20240408T124937Z
LAST-MODIFIED:20240408T124937Z
UID:9058-1713175200-1713182400@www.dc.uba.ar
SUMMARY:Defensa Tesis Doctorado Carolina Lucía Gonzalez
DESCRIPTION:Título: Problemas localmente verificables parametrizados por treewidth\, clique-width y mim-width\nDirectora: Flavia Bonomo\nConsejero de estudios: Javier Marenco\nJurados:\nDr. Sergio Cabello Justo – Prof. Full\, DMAT\, Univ. de Liubliana\nDra. Paloma T. De Lima – Prof. Asis.\, Univ. de Copenhagen\nDr. Dimítrios Thilikós Touloupas – Dir. de Inv.\, CNRS – LIRMM \nResumen:\nIntuitivamente\, un problema localmente verificable es un problema de partición de vértices (o\, equivalentemente\, de coloreo de vértices) para el cual una solución puede ser verificada simplemente chequeando una determinada propiedad local para cada vértice\, es decir\, una propiedad que involucra solamente la solución restringida al vértice y a sus vecinos. Este es el caso de diversas variantes de los problemas de dominación\, conjunto independiente y k-coloreo\, entre otros. Existen numerosos marcos generales que incluyen un gran subconjunto de estos problemas\, para los cuales se propusieron algoritmos para resolverlos eficientemente en varias clases de grafos.\nEn esta tesis definimos un nuevo marco para problemas localmente verificables\, formalizando la noción intuitiva que tenemos de ellos para luego analizar bajo qué circunstancias podemos proponer algoritmos eficientes que los resuelvan. Los algoritmos propuestos se basan en programación dinámica y para ellos calculamos sus complejidades parametrizadas por treewidth\, clique-width y mim-width. Los resultados obtenidos generalizan aquellos de marcos definidos anteriormente. Mostramos además cómo modelar dentro de nuestro marco diversos problemas de la literatura\, como ser [k]-dominación romana\, k-comunidad y dominación Grundy\, probando así que son FPT o XP parametrizados por treewidth\, clique-width o mim-width. Más aún\, proponemos esquemas de aproximación polinomiales para algunos problemas localmente verificables en grafos planares. \nPalabras claves: problema localmente verificable\, treewidth\, clique-width\, mim-width\, complejidad parametrizada\, esquema de aproximación polinomial.
URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-carolina-lucia-gonzalez/
LOCATION:Aula 1302
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240416T183000
DTEND;TZID=America/Sao_Paulo:20240416T193000
DTSTAMP:20260403T195859
CREATED:20240404T124026Z
LAST-MODIFIED:20240415T141632Z
UID:9038-1713292200-1713295800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Darío Ocles
DESCRIPTION:Título: El algoritmo de Huang\nDirectora: Verónica Becher\nJurados: Nicolás Álvarez y Martín Mereb \nResumen:\nFijemos un alfabeto. Una secuencia de De Bruijn de orden n es una secuencia de símbolos del alfabeto que contiene todas las palabras de longitud n exactamente una vez. Estas secuencias fueron descubiertas y redescubiertas más de una vez a partir de finales del 1800. En este trabajo analizamos el algoritmo de Yuejiang Huang del año 1990 que produce secuencias de Bruijn en un alfabeto de dos símbolos. Es un algoritmo óptimo en tiempo y memoria\, que arroja secuencias de Bruijn muy balanceadas\, esto significa que en cada segmento de la secuencia los dos símbolos del alfabeto aparecen casi la misma cantidad de veces. Mostramos aquí de qué manera el algoritmo de Huang construye una secuencia de Bruijn de orden n definiendo un camino Euleriano en el grafo de Bruijn de orden n-1\, uniendo una clase particular de ciclos simples.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-dario-ocles/
LOCATION:Sala 1606
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240419T160000
DTEND;TZID=America/Sao_Paulo:20240419T170000
DTSTAMP:20260403T195859
CREATED:20240417T130959Z
LAST-MODIFIED:20240417T131233Z
UID:9069-1713542400-1713546000@www.dc.uba.ar
SUMMARY:Charla Dátame: Neurociencias y reducción de dimensionalidad: de millones de neuronas al comportamiento
DESCRIPTION:Este viernes 19/4 hay Dátame! El encuentro es a las 16hs. en el aula 1402 del Edificio 0+Infinito. \n \nEsta vez\, la charla estará a cargo de Ana Amador (Dpto de Física\, Exactas-UBA e INFINA-CONICET). El título de la charla es \nNeurociencias y reducción de dimensionalidad: de millones de neuronas al comportamiento\n \nSobre la charla \nUna pregunta central en el área de neurociencias es cómo emerge el comportamiento a partir de la interacción de grandes cantidades de neuronas. En esta charla tomaré la producción de vocalizaciones de aves como ejemplo de un comportamiento complejo que requiere la delicada coordinación de músculos respiratorios y del aparato vocal. Veremos distintas estrategias para estudiar cómo emergen en el cerebro de un ave las características rítmicas del canto\, mostrando los desafíos involucrados para extraer información relevante de la actividad neuronal en redes biológicas complejas. \nSobre Ana \nAna ha estado trabajando con datos toda su vida científica. Empezó su carrera científica en temas de epidemiología\, primero con datos de la epidemia de Fiebre Aftosa del 2001 en Argentina\, para luego trabajar en Brasil con datos de Tuberculosis. Volvió a Argentina para realizar su doctorado en física (UBA) en los mecanismos de fonación de aves y nunca más dejó la interdisciplina. Realizó un postdoctorado en Neurociencias en la Universidad de Chicago y volvió a Argentina en el 2012. Desde entonces es profesora e investigadora en el CONICET y en el departamento de Física de Exactas\, UBA\, trabajando en neurociencia del canto de aves. \nConsultas: info.lcd@exactas.uba.ar\nSobre ¡DÁTAME!Este ciclo de charlas busca simultáneamente: \n– Ser un lugar de encuentro entre todos/as los/as que nos sentimos\ncercanos a LCD ya sea por ser estudiantes de la carrera o carrera\ncercanas\, docentes\, investigadores/as interesados/as o simplemente\namigos/as de LCD. \n– Ofrecer a estudiantes de la carrera un panorama amplio de posibles\ncaminos que puede recorrer un/a especialista en ciencias de datos. \n– Exponer a estudiantes de LCD a importantes referentes de la disciplina\nque trabajan en diversos ámbitos (investigación científica\, empresas\,\norganismos estatales\, ONGs\, etc. ) \n– Aprender un montón de cosas sobre datos. Qué tipo de problemas se\npueden resolver con ellos y cuáles no\, qué precauciones debemos tener\,\nqué desafíos afronta la disciplina y mucho más. \n– Evidenciar la diversidad de disciplinas que confluyen en esta carrera\ny experimentar cómo interactúan. \n– Compartir un buen rato\, un viernes a la tarde\, una vez por mes. \nEstá destinado principalmente a estudiantes de la carrera\, pero todas/os\nsomos bienvenidas/os. \nNos juntamos el 3er. viernes de cada mes a las 16hs. \n¡Las y los esperamos!
URL:https://www.dc.uba.ar/event/charla-datame-neurociencias-y-reduccion-de-dimensionalidad-de-millones-de-neuronas-al-comportamiento/
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240422T100000
DTEND;TZID=America/Sao_Paulo:20240422T120000
DTSTAMP:20260403T195859
CREATED:20240419T132730Z
LAST-MODIFIED:20240419T132730Z
UID:9075-1713780000-1713787200@www.dc.uba.ar
SUMMARY:Defensa Tesis Doctorado Facundo Pessacg
DESCRIPTION:Título: Aplicaciones de SLAM: mapeo de ambientes naturales\, localizacion consistente en tiempo real y exploración autónoma multi-robot.\nDirector: Pablo De Cristóforis\nConsejero de estudios: Julio Jacobo\nJurados:\nDr. Manuel Jesús Marín Jiménez (Universidad de Córdoba\, España).\nDr. Gonzalo Daniel Tejera López (Universidad de la República\, Uruguay).\nDr. Matias A. Nacusse (Universidad Nacional de Rosario\, Argentina). \nTransmisión: https://youtube.com/live/IWlfBVeq3xA?feature=share \nResumen: \nEn el ámbito de la robótica móvil los sistemas de SLAM (Localización y Mapeo Simultáneo) abrieron nuevas posibilidades con respecto a la navegación autónoma y la reconstrucción del entorno. De acuerdo a la aplicación específica\, el proceso de tratamiento de las imágenes capturadas por el robot puede variar\, imponiendo diferentes restricciones al problema. Sin embargo\, los modelos matemáticos y\nmétodos numéricos subyacentes resultan equivalentes. En este trabajo se estudió el problema de SLAM desde diferentes perspectivas enfocándose en tres aplicaciones. \nEn primer lugar\, se realizó un estudio de reconstrucciones 3D en zonas boscosas utilizando imágenes capturadas por VANTs (Vehículos Aéreo No Tripulado)\, tanto reales como simuladas. Para esto se construyó un VANT para la adquisición autónoma de imágenes reales\, y un simulador altamente realista para generar imágenes sintéticas. Luego se optimizaron los parámetros de las misiones de vuelo. Además\, se desarrolló un nuevo método para estimar el model digital de terreno (DTM) en entornos boscosos. Finalmente\, este flujo de trabajo seaplicó en la detección de tala no autorizada. \nEn segundo lugar\, se desarrolló un novedoso método para resolver el problema de SLAM con estimaciones consistentes de la incertidumbre de las variables de estado\, cuando el tiempo de procesamiento es limitado. El método acota la cantidad de variables consideradas durante el proceso de estimación\, pero mantiene la consistencia global de las estimaciones de las variables e incertidumbres calculadas. \nPor ultimo\, se desarrolló una aplicación de exploración y planificación de trayectorias multi-robot utilizando métodos de SLAM capaces de mantener estimaciones de incertidumbres consistentes\, cuando los tiempos de cómputo son acotados. Esta aplicación permite explotar los beneficios de los métodos de SLAM\, demostrando su utilidad en tareas de navegación autónoma eficientes.
URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-facundo-pessacg/
LOCATION:Sala 2103
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240507T150000
DTEND;TZID=America/Sao_Paulo:20240507T160000
DTSTAMP:20260403T195859
CREATED:20240506T131350Z
LAST-MODIFIED:20240506T131350Z
UID:9102-1715094000-1715097600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Chiara Tarzia
DESCRIPTION:Título: «EPAs para REST APIs con EvoMaster»\nDirector: Dr. Juan P. Galeotti\nJurados: Dr. Guido De Caso y Dr. Sebastian Uchitel\n\nResumen:\nLa validación y verificación de las REST APIs pueden resultar altamente complejas debido a la gran cantidad de endpoints que pueden contener. Cada combinación de llamadas HTTP puede requerir diversas precondiciones que pueden no estar documentadas. En este trabajo\, se propone una innovadora solución para la generación de Enabledness-Preserving Abstractions (EPAs) para REST APIs utilizando EvoMaster\, una herramienta de generación de pruebas automatizadas con algoritmos evolutivos. Las EPAs son una representación del modelo mental que los desarrolladores tienen de una API\, modelando el comportamiento del código y facilitando su análisis y comprensión. La propuesta se destaca por su enfoque dinámico en la generación de EPAs\, a diferencia de los métodos estáticos tradicionales. Adicionalmente\, se plantea la modificación del algoritmo evolutivo MIO de EvoMaster\, incorporando una heurística que prioriza la identificación de nuevos arcos en las EPAs. Esta estrategia permite enfocar los casos de prueba para maximizar la cobertura de la EPA.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-chiara-tarzia/
LOCATION:Sala 1606
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240531T110000
DTEND;TZID=America/Sao_Paulo:20240531T120000
DTSTAMP:20260403T195859
CREATED:20240527T124316Z
LAST-MODIFIED:20240527T124316Z
UID:9133-1717153200-1717156800@www.dc.uba.ar
SUMMARY:Defenda Tesis Licenciatura Julian Braier
DESCRIPTION:Título: Reducción de Simetrías para la versión modular de Non-blocking\nDirector: Sebastián Uchitel\nJurados: Victor Braberman y Hernán Gagliardi \nResumen:\nEn esta tesis tratamos con el problema de control dirigido con objetivos Safe y Non-blocking\, más precisamente\, con su versión modular. En esta versión\, el input es una especificación representada con varios autómatas\, y se quiere resolver el problema de control en la composición paralela de estos. En la composición\, se genera una explosión exponencial de la cantidad de estados. Observamos que\, en algunas especificaciones\, hay autómatas que son isomorfos entre sí\, lo cual puede causar que la planta compuesta presente simetrías. Se decide explorar si hay alguna posibilidad de mejora\, sacando provecho de estas simetrías para atenuar la explosión de estados. Siguiendo este enfoque\, se propone e implementa un nuevo algoritmo. En los casos en los que estas simetrías se presentan\, este logra una mejor performance que los algoritmos preexistentes.
URL:https://www.dc.uba.ar/event/defenda-tesis-licenciatura-julian-braier/
LOCATION:Aula 1206
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240607T100000
DTEND;TZID=America/Sao_Paulo:20240607T120000
DTSTAMP:20260403T195859
CREATED:20240604T153213Z
LAST-MODIFIED:20240604T153213Z
UID:9157-1717754400-1717761600@www.dc.uba.ar
SUMMARY:Defensa Tesis Doctorado Mauro Lucci
DESCRIPTION:Título: Métodos para el problema de ruteo de vehículos y planificación de tripulaciones simultáneos\nDirectores: Daniel Severín y Paula Zabala\nJurados: Dra. Gabriela Corsano\, Dr. Celso Ribeiro\, Dr. Andrés Weintraub\n\nLink al evento: https://youtube.com/live/SO-pd8s0AKw?feature=share\n\n\n\nResumen: En las últimas décadas\, los problemas de ruteo de vehículos y de asignación de tripulaciones han sido ampliamente estudiados por separado. Recientemente\, ha habido un creciente interés por combinarlos en un único problema simultáneo\, abandonando la simplificación de que una misma tripulación debía ejecutar la totalidad de una ruta sin posibilidad de ser relevada. El resultado es un problema difícil desde la optimización combinatoria\, que involucra complejas restricciones operativas\, laborales y de sincronización. En esta tesis se estudian métodos para la resolución heurística y exacta de este problema\, siguiendo el caso de estudio de una empresa real que debe cumplir con pedidos de recolección y entrega de mercadería con ventanas de tiempo en larga distancia\, minimizando distancias recorridas y demoras en las entregas. Por un lado\, se analiza una descomposición secuencial en dos etapas\, realizando primero el ruteo de los vehículos y posteriormente la asignación de las tripulaciones sobre segmentos de rutas. Para cada etapa\, se desarrollan algoritmos basados en metaheurísticas híbridas. Por otro lado\, se proponen modelos de Programación Lineal Entera que resuelven el problema en una única etapa y se estudian familias de desigualdades válidas. Todos estos desarrollos se incorporan luego en un algoritmo de branch-and-cut.
URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-mauro-lucci/
LOCATION:Sala 1606
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240613T183000
DTEND;TZID=America/Sao_Paulo:20240613T193000
DTSTAMP:20260403T195859
CREATED:20240611T121550Z
LAST-MODIFIED:20240611T121550Z
UID:9162-1718303400-1718307000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Hernán Ghianni
DESCRIPTION:Título: «Generación de datos en bases Mongo para mejorar el testing automático»\nDirector: Dr. Juan P. Galeotti\nJurados: Lic. Javier Altauz. Lic. Sergio D’Arrigo \nResumen:\nEs común que los microservicios interactúen con una base de datos. A la hora de generar tests de caja blanca\, es necesario tener en cuenta el estado de la base de datos para lograr una cobertura más amplia y descubrir nuevas fallas. En este trabajo\, se presentan técnicas para mejorar el testing de software basadas en búsqueda para microservicios que utilizan bases de datos MongoDB\, considerando su estado. Además\, se permite la inserción de datos directamente desde los tests. Esto resulta particularmente útil cuando es difícil o lleva mucho tiempo generar la secuencia correcta de eventos para poner la base de datos en el estado interesante para ser ejercitado. También es beneficioso cuando se trata de microservicios de «solo lectura». Esta técnica está implementada como una extensión de EvoMaster\, una herramienta de código abierto para generar tests automáticos para API REST. Los experimentos realizados en 5 APIs REST mostraron mejoras significativas en el cubrimiento de líneas de código (hasta +30 %).
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-hernan-ghianni/
LOCATION:Sala 1606
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240618T100000
DTEND;TZID=America/Sao_Paulo:20240618T110000
DTSTAMP:20260403T195859
CREATED:20240614T125943Z
LAST-MODIFIED:20240614T131330Z
UID:9167-1718704800-1718708400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Darío Reyes
DESCRIPTION:Título: Un algoritmo exacto para TDTSPD-D\, el problema del viajante de comercio con dron dependiente del tiempo\nDirector: Francisco Soulignac\nJurados: Isabel Méndez Díaz y Federico Pousa \nRESUMEN\nEl rápido crecimiento de las plataformas de e-commerce motiva a resolver eficientemente la etapa final de la logística\, conocida como\núltima milla. Estos problemas pueden modelarse como problemas de ruteo de vehículos (VRP) que consisten en atender de manera óptima un\nconjunto de clientes utilizando una flota de camiones. Una estrategia interesante para resolver este problema dentro de ciudades es\nconsiderar utilizar drones para distribuir paquetes\, dado que no están limitados a la red vial. En este trabajo proponemos un algoritmo\nexacto para el problema de viajante de comercio con dron dependiente del tiempo (TDTSP-D)\, una variante de VRP donde\, en vez de una flota\nde camiones contamos con un dron y un camión para atender a los clientes\, y donde el tiempo de viaje del camión en vez de ser una\nconstante\, es una función que depende del momento de partida.\nDescribimos dicho algoritmo\, que está basado en un branch-and-price para TSP-D\, y explicamos los cambios que fueron necesarios aplicar\npara poder lidiar con dependencia en el tiempo. Contamos diversas mejoras que realizamos sobre nuestro algoritmo inicial\, aprovechando\nlas particularidades del nuevo problema. Realizamos también una comparativa de la solución TDTSP-D contrastándola con la solución\nTSP-D\, notando qué propiedades dejan de valer y provocan que el problema se torne más complejo\, y midiendo el impacto que tiene la\ndependencia en el tiempo sobre la calidad de las soluciones y la cantidad de instancias que son capaces de resolver los algoritmos.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-dario-reyes/
LOCATION:Aula 1113
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240715T140000
DTEND;TZID=America/Sao_Paulo:20240715T150000
DTSTAMP:20260403T195859
CREATED:20240712T130643Z
LAST-MODIFIED:20240712T130643Z
UID:9231-1721052000-1721055600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Daniel Wappner
DESCRIPTION:Título: Construcción de abstracciones de comportamiento para contratos inteligentes mediante ejecución simbólica\nDirectores: Javier Godoy\, Diego Garbervetsky\nJurados: Dr. Ariel Waissbein\, Dr. Sebastián Uchitel\n\nResumen:\nLos smart contracts son programas inmutables que se despliegan en una blockchain. Dado que a menudo manejan activos de alto valor real\, su verificación y validación antes de desplegarlos es de gran importancia. Por esta razón\, es una práctica común contratar empresas de seguridad especializadas para auditar el código de los smart contracts. Sin embargo\, se han explotado numerosas vulnerabilidades en los últimos años provocando pérdidas a miles de personas. Las Enabledness Preserving Abstractions (EPAs)\, son máquinas de estado finitas que abstraen el comportamiento de artefactos de código\, basándose en predicados sobre la habilitación de los métodos disponibles. En general\, han resultado útiles como herramienta para la validación de código tanto contra especificaciones formales como contra modelos informales o “mentales” del comportamiento esperado. Presentamos un prototipo que genera EPAs de contratos inteligentes a partir de código fuente\, haciendo uso y extensión de una herramienta open source de ejecución simbólica dinámica: “Manticore”. Discutimos las optimizaciones implementadas y comparamos el prototipo desarrollado con otras estrategias alternativas.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-daniel-wappner/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240723T160000
DTEND;TZID=America/Sao_Paulo:20240723T170000
DTSTAMP:20260403T195859
CREATED:20240716T125607Z
LAST-MODIFIED:20240716T125607Z
UID:9243-1721750400-1721754000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura  Mauro Schiavinato
DESCRIPTION:Título: Fragmentos de CPDL+ mediante propiedades de pathwidth\nDirector: Santiago Figueira\nCo-director: Edwin Pin\nJurados: Ricardo Rodríguez y Sergio Abriola \nResumen: En este trabajo nos centramos en CPDL+\, un lenguaje recientemente definido que extiende a PDL (Propositional Dynamic Logic)\, una lógica modal ya conocida y ampliamente estudiada. Sobre esta nueva lógica estudiamos una jerarquización del lenguaje basado en propiedades de pathwidth asociados a los grafos subyacentes de ciertas expresiones que este lenguaje posee. Esta jerarquización es comparable y análoga a la jerarquización de CPDL+ basada en propiedades de treewidth con la que se definió originalmente. \nEn un principio\, nuestro problema se basaba en hacer una comparación de expresividad de varios fragmentos de CPDL+\, pero varias propiedades relacionadas con teoría de modelos y juegos de simulación fueron surgiendo a medida que este estudio se fue desarrollando. Finalmente\, demostramos que el criterio de simulación estudiado para la jerarquía treewidth también sirve para pathwidth\, con algunas modificaciones semánticas.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-mauro-schiavinato/
LOCATION:Sala 1606
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240802T090000
DTEND;TZID=America/Sao_Paulo:20240802T100000
DTSTAMP:20260403T195859
CREATED:20240729T145807Z
LAST-MODIFIED:20240729T145807Z
UID:9286-1722589200-1722592800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Jonathan Scherman
DESCRIPTION:Título: Inclusión léxica y sintáctica en modelos de etiquetado offline de transiciones de turno\nDirector: Pablo Brusco\nJurados: Pablo Turjanski\, Lautaro Estienne \nResumen\nEn una conversación hablada entre dos personas\, existe una noción implícita de manejo de turnos que permite un intercambio fluido de mensajes. Esto sucede a través de distintos tipos de señales (acústicas\, prosódicas\, léxicas e incluso gestuales) que los hablantes producen y que\, de manera combinada\, afectan la manera en la que se desarrollarán los turnos de la conversación. Por ejemplo\, se ha estudiado cómo el uso de palabras de relleno (tales como «em…» o «este…») suele indicar que el hablante tiene la intención de mantener el turno. Entender cuál es la dinámica del manejo de turnos y construir sistemas que puedan identificar y clasificar distintas transiciones de manera automática ha ganado mucha relevancia en las últimas décadas debido a las múltiples aplicaciones prácticas en el mundo real\, siendo los sistemas de diálogo hablado (como Alexa o Siri) y el análisis de grandes volúmenes de datos sus principales aplicaciones. En particular\, varios estudios han mostrado que\, en adición a las características acústico-prosódicas\, las características léxicas y sintácticas de la conversación contienen información relevante para entender la mecánica del manejo de turnos. \nEn esta tesis\, nos enfocamos en el desarrollo de una herramienta de etiquetado offline de transiciones de turno en conversaciones completas de tipo humano-humano\, para lo cual construimos distintas variantes de modelos multimodales sobre un corpus compuesto por conversaciones diádicas orientadas a tareas\, en inglés y español. Partimos de un modelo preexistente basado en redes neuronales recurrentes bidireccionales\, que extendemos con atributos léxicos y sintácticos. Además\, consideramos modelos alternativos basados en arquitecturas multiescala. Para cada uno de los modelos desarrollados\, evaluamos la capacidad de generalización en conversaciones tanto en el mismo idioma en el que fueron entrenados como en otros. Los resultados obtenidos muestran que la inclusión de estos atributos otorgó mejoras para algunas de las variantes propuestas de hasta un 15% relativo en el subconjunto de desarrollo y un 9% relativo en el subconjunto de control al ser evaluados en conversaciones nuevas del mismo idioma\, mientras que observamos disminuciones en el rendimiento al variar entre idiomas. Por su parte\, no pudimos evidenciar mejoras en la propuesta multiescala\, aunque creemos que tiene potencial para hacerlo. \nPalabras claves: Manejo de Turnos\, Diálogo Hablado\, Inglés\, Español\, Aprendizaje Automático\, Redes Neuronales\, BERT\, Atributos Léxicos\, Atributos Sintácticos.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-jonathan-scherman/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240802T110000
DTEND;TZID=America/Sao_Paulo:20240802T120000
DTSTAMP:20260403T195859
CREATED:20240731T122914Z
LAST-MODIFIED:20240731T122914Z
UID:9289-1722596400-1722600000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Darío Turco
DESCRIPTION:Título: Agregando información específica de dominio para escalar la síntesis de controladores de tipo GR(1)\nDirectores: Sebastián Uchitel\nJurados: Victor Braberman\, Florencia Zanollo \nResumen:\nEl área de síntesis de controladores busca construir automáticamente estrategias para resolver problemas bajo ciertas garantías. El algoritmo On-The-Fly Directed Controller Synthesis (OTF-DCS)\, propuesto por Daniel Ciolek en su trabajo de tesis doctoral\, resuelve este problema\, pero depende de una heurística auxiliar. Además de proponer el algoritmo OTF-DCS\, Ciolek también propuso una heurística llamada Ready Abstraction(RA)\, la cual es la que mejores resultados logra. Luego\, Tomas Delgado propuso una heurística basada en aprendizaje por refuerzos\, la cual\, requiere una función de abstracción que captura las features más importantes de un estado. Exploraremos el impacto de agregar features con información específica del dominio del problema a resolver a la función de abstracción que usa la heurística basada en aprendizaje por refuerzos. Para esto\, ofrecemos una metodología para abstraer información referente a las entidades del problema de control. Esto con el objetivo de mejorar el rendimiento de dicha heurística y por lo tanto\, el rendimiento del algoritmo OTF-DCS en su versión para restricciones de tipo GR(1).
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-dario-turco/
LOCATION:Aula 1114
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240809T150000
DTEND;TZID=America/Sao_Paulo:20240809T170000
DTSTAMP:20260403T195859
CREATED:20240805T125930Z
LAST-MODIFIED:20240805T125930Z
UID:9299-1723215600-1723222800@www.dc.uba.ar
SUMMARY:Defensa Tesis Doctorado Juan Manuel Ortiz de Zarate
DESCRIPTION:Título: Modelos para el análisis de la polarización a través de PLN.\nDirector: Esteban Feuerstein\nConsejero de estudios: Diego Fernandez Slezak\nJurados:\nDr. Carlos Diuk (Facebook INC).\nDr. Ana Gabriela Maguitman (Universidad Nacional del Sur).\nDr. Germán Rosatti (Universidad Nacional de San Martín). \nTransmisión: https://youtube.com/live/Hhcp9jP9c1o?feature=share \nResumen: \nLa polarización\, entendida como la intensificación de contrastes ideológicos y sociales\, ha emergido con fuerza como un tema central de preocupación en el ámbito político y académico desde el comienzo del siglo XXI. Varios países han evidenciado este fenómeno\, especialmente con el ascenso de regímenes post neoliberales. Estas divisiones\, en algunos casos\, han despertado inquietudes sobre una posible erosión de la democracia\, ya que se teme que algunas facciones puedan optar por estructuras no democráticas en lugar de ceder el poder a un grupo rival. En otros trabajos incluso\, se ha señalado que la polarización provoca una reducción en el crecimiento económico debido a la incertidumbre sobre las condiciones sociales y económicas que genera. \nPor otro lado\, diversos trabajos de la literatura señalan una posible influencia de las redes sociales en la polarización. Estas plataformas\, mediante su diseño y algoritmos de recomendación\, podrían crear «cámaras de eco»\, donde las opiniones se refuerzan mutuamente\, lo que podría potenciar la división y el aislamiento ideológico. Resultando en un potencial aumento de conflictos y malentendidos entre diferentes grupos sociales y políticos. A su vez\, otros estudios indican la dificultad de poder hacer este análisis causal al mismo tiempo que sugieren que los motivos de la polarización podrían ser multicausales o incluso ajenos a las redes sociales. Por ello\, es necesario contar con nuevas herramientas para analizar mejor este complejo fenómeno y aprovechar la masividad de datos digitales que estas plataformas nos brindan. \nLos avances recientes en el procesamiento del lenguaje natural \, combinados con la digitalización de las discusiones a través de redes sociales\, ofrecen un panorama prometedor para comprender y abordar la polarización desde una perspectiva computacional. Estas nuevas herramientas y técnicas permiten un análisis más profundo de las conversaciones y discusiones\, además nos brindan la oportunidad de diseñar intervenciones más informadas y efectivas\, con el objetivo final de promover un mayor entendimiento y diálogo en nuestra sociedad contemporánea. \nEn esta tesis\, presento técnicas computacionales innovadoras para analizar la polarización\, colaborando estrechamente con expertos en ciencias sociales para validar nuestras herramientas. Detecto que la polarización está fuertemente ligada al lenguaje\, permitiéndonos cuantificarla y tomar medidas para abordarla. Hallo que mientras que algunos actores mantienen posturas ambivalentes\, otros\, como los políticos\, adaptan sus estrategias según el público. También destaco que las inteligencias artificiales\, como los chatbots\, presentan inclinaciones en debates contemporáneos\, lo que subraya la necesidad de estar informados sobre sus posiciones.
URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-juan-manuel-ortiz-de-zarate/
LOCATION:Sala 2103
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240816T120000
DTEND;TZID=America/Sao_Paulo:20240816T130000
DTSTAMP:20260403T195859
CREATED:20240813T130815Z
LAST-MODIFIED:20240813T130815Z
UID:9337-1723809600-1723813200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Victoria Zolezzi
DESCRIPTION:Título: Análisis de debates partidarios en redes sociales con Procesamiento de Lenguaje Natural\nDirector: Esteban Feuerstein\nCo-director: Federico Albanese\nJurados:\nDr. Pablo Balenzuela\nDra. Viviana Cotik \nResumen:\nEn este trabajo nos dedicamos a analizar distintos aspectos sobre debates partidarios de Estados Unidos en redes sociales. En particular\, en Twitter examinamos la evolución temporal del flujo de los usuarios en comunidades políticas. Estas  últimas son halladas mediante la aplicación de algoritmos de detección de comunidades en grafos. Por otro lado\, en Reddit analizamos el debate del aborto y el debate del control de armas. Clasificando posteos y comentarios por sentimiento\, estudiamos diferencias entre las distintas clasificaciones\, como ser el sentimiento de sus respuestas\, su toxicidad\, su engagement\, entre otras. Además\, analizamos la evolución temporal del sentimiento y del engagement de los debates\, prestando especial atención a aquellos momentos en donde el interés por los mismos crece como consecuencia de algún hecho de la realidad. Para intentar determinar qué fenómenos dentro del debate podemos atribuir a estos eventos (por ejemplo un aumento de posteos\, de comentarios\, de score\, etcétera)\, acudimos a métodos de inferencia causal. \nPalabras claves: detección de comunidades\, análisis de sentimiento\, inferencia causal\, toxicidad\, redes sociales.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-victoria-zolezzi/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240905T170000
DTEND;TZID=America/Sao_Paulo:20240905T180000
DTSTAMP:20260403T195859
CREATED:20240830T135708Z
LAST-MODIFIED:20240830T135708Z
UID:9364-1725555600-1725559200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Valeria Wodka
DESCRIPTION:Título: Collares perfectos anidados\nDirectora: Verónica Becher\nJurados: Sergio Abriola y Pablo Terlisky \nResumen: Fijemos un alfabeto A. Un collar es una palabra circular. Un collar es (n\,k)-perfecto si todas las palabras de longitud n aparecen k veces en el collar\, pero en posiciones con distinta congruencia modulo k\, para cualquier convención de la posición inicial. Un collar (n\,k)-perfecto es anidado si n=1\, o si el collar es la concatenación de |A| collares (n-1\,k)-perfectos. Los collares (n\,k)-perfectos están caracterizados por los ciclos hamiltonianos en el grafo G(n\,k)\, que es el producto del grafo de Bruijn de orden n y un ciclo simple de longitud k. En 2019 Becher y Carton dieron un método para construir todos los collares (n\,n)-perfectos anidados en el alfabeto de dos símbolos\, para n potencia de dos. En esta tesis mostramos que\, para alfabetos de más de 2 símbolos\, el método de Becher y Carton no produce todos los collares (n\,n)-perfectos anidados y\, basándonos en la caracterización en grafos\, damos un método de para construir nuevos.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-valeria-wodka/
LOCATION:Aula 1402
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240911T080000
DTEND;TZID=America/Sao_Paulo:20240911T170000
DTSTAMP:20260403T195859
CREATED:20240911T150525Z
LAST-MODIFIED:20240911T150525Z
UID:9403-1726041600-1726074000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Juan Pablo Lebón
DESCRIPTION:Título: Algoritmos basados en programación lineal entera para el Survivable Routing and Spectrum Assignment Problem \nDirector: Javier Marenco \nJurados: Dra. Isabel Méndez Díaz y Dra. Paula Zabala \nResumen: \nLas redes de fibra óptica utilizan la luz\, transportada por un cable\, como un medio de comunicación entre dos nodos de la red. En respuesta al crecimiento sostenido del tráfico en este tipo de redes\, en los últimos años se ha propuesto una nueva generación de redes de fibra óptica\, llamada flexgrid elastic optical networks (EONs) con el objetivo de mejorar la eficiencia en el uso del espectro electromagnético y aumentar así la capacidad de las redes. \nEn las EONs\, el espectro de frecuencias de una fibra óptica se divide en slots de frecuencias relativamente pequeños\, cada uno con un ancho de banda fijo. Se puede utilizar cualquier secuencia de slots consecutivos para formar un canal\, que a su vez puede ser ruteado por la red para crear lo que se conoce como un lightpath. \nDada la estructura de una red y un conjunto de demandas\, el routing and spectrum assignment (RSA) problem consiste en establecer los lightpaths para un conjunto de demandas de tráfico\, cada una de las cuales está expresada en términos de un nodo de origen\, un nodo de destino y una cantidad de slots. Dado que cada lightpath está determinado por una ruta y un canal\, el RSA consiste en encontrar una ruta y asignar un intervalo de slots para cada demanda. \nEl survivable RSA with path protection es una variante de RSA\, que corresponde a solicitar dos lightpaths para cada demanda: un camino titular y un camino de backup\, y ambos deben respetar las restricciones de RSA. Este problema es NP-hard y ha recibido atención por parte de la comunidad especializada en los últimos años. \nEn este trabajo se proponen distintos modelos de programación lineal entera para este problema\, y se estudia su performance en la práctica sobre topologías reales. Se presentan además heurísticas para optimizar los modelos\, buscando acelerar la obtención de soluciones factibles iniciales. Notando que el problema se puede descomponer en una fase de ruteo y una fase de asignación\, se estudian esquemas de descomposición basados en la descomposición combinatoria de Benders para obtener soluciones a estos modelos mucho más rápidamente.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-juan-pablo-lebon/
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240911T160000
DTEND;TZID=America/Sao_Paulo:20240911T170000
DTSTAMP:20260403T195859
CREATED:20240909T143850Z
LAST-MODIFIED:20240909T143850Z
UID:9392-1726070400-1726074000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Juan Cruz Basso
DESCRIPTION:Título: Automatizando tests en Go con EvoMaster\nDirector: Juan P. Galeotti\nJurados: Diego Garbervetsky\, Hernán Melgratti \nResumen:\nEn este trabajo se introduce un nuevo Driver de EvoMaster\, una herramienta open source para generación automática de testeos impulsada por un algoritmo evolutivo\, para aplicaciones web REST implementadas en el lenguaje de programación Go. Esta herramienta cuenta con dos componentes principales: un Core\, encargado de llevar a cabo el algoritmo de búsqueda denominado MIO que aplica heurísticas para la optimización de testeos maximizando\nla cobertura de líneas y branches sobre el código de la aplicación a testear; y un Driver o controlador\, encargado de alimentar al Core con las métricas necesarias para la evolución del algoritmo. Se describe el diseño e implementación de un controlador exclusivo para Go encargado de la comunicación con el Core bajo un protocolo ya establecido y la instrumentación de código mediante la aplicación de transformaciones sobre el árbol AST del código fuente original y la inyección del mismo al binario final en compilación.\nAdemás\, como parte de este trabajo se extiende el core para soportar la escritura de los tests en lenguaje Go y se provee un paquete de Go para la distribución y testeo del nuevo controlador. Por último\, se reportan y analizan métricas de cobertura de líneas obtenidas a partir de tests generados automáticamente para casos de prueba diferentes\, tanto artificiales y como originales de terceros\, disponibles públicamente en GitHub.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-juan-cruz-basso/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240918T163000
DTEND;TZID=America/Sao_Paulo:20240918T173000
DTSTAMP:20260403T195859
CREATED:20240909T131058Z
LAST-MODIFIED:20240909T131058Z
UID:9388-1726677000-1726680600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Luis Brassara
DESCRIPTION:Título: Distancia SQL avanzada para generación de casos de test con EvoMaster\nDirector: Juan P. Galeotti\nJurados: Javier Altauz\, Sergio D’Arrigo\n\n\n\nLink Aula Zoom: https://zoom.us/my/dc.aula03\nNombre Aula Zoom: dc.aula03\nClave del Aula Zoom: D.Knuth\n\n\n\n\nResumen:\nEvoMaster [7] es una herramienta de generación automática de casos de test para una API REST. Para que la suite generada consiga el mayor coverage posible\, EvoMaster intenta generar tests que visiten todas las ramas de los condicionales. Esto lo consigue usando algoritmos evolutivos\, cuya población de individuos serán test con llamadas REST y cuya función de fitness será lo que se conoce como branch distance [13]. Como algunas guardas de los condicionales no dependen solo de los parámetros REST sino también del estado de la base de datos\, se extendió EvoMaster para tener en cuenta este comportamiento [1]. La heurística planteada en ese trabajo supone que algunas ramas de los condicionales no se visitan cuando la base de datos devuelve una query sin resultados. Luego\, identifica esas queries y determina cuán lejos o cerca están de devolver algún resultado mediante la definición de una SQL distance. Esa definición de distancia es usada en la fitness function para guiar al algoritmo evolutivo hacia soluciones que visiten más ramas y en consecuencia ofrezcan mayor coverage. Actualmente\, la implementación de la SQL distance cubre sólo un subconjunto de todas las posibles queries SQL ya que no tiene soporte para operadores que involucran subqueries tales como IN\, EXISTS\, SOME/ALL o UNION. Además\, la SQL distance actual no da ningún gradiente intermedio cuando la cláusula FROM no trae resultados. El objetivo de la tesis será entonces definir\, implementar y probar una extensión de la SQL distancia actual\, que llamaremos distancia SQL avanzada\, de manera que cubra esos nuevos casos y funcionalidades.\n\n 
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-luis-brassara/
LOCATION:https://zoom.us/my/dc.aula03
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR