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:20220101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230911T140000
DTEND;TZID=America/Sao_Paulo:20230911T150000
DTSTAMP:20260406T160921
CREATED:20230905T122220Z
LAST-MODIFIED:20230905T122220Z
UID:8592-1694440800-1694444400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Esteban Ramos
DESCRIPTION:Titulo: MÉTODOS DE RECOLECCIÓN DE UN CORPUS DE CINE DOCUMENTAL ARGENTINO Y EVALUACIÓN DE RESULTADOS\nDirectores: Ricardo rodriguez y José Castaño \nResumen:\nEn este trabajo se generaron corpus de documentales argentinos de archivos html\, pdf y doc que sirven para alimentar a una componente de clasificación de un prototipo de buscador vertical sobre cine documental asistido por aprendizaje. El propósito es generar una herramienta que sustituya la búsqueda manual de documentales\, para el armado de dichos corpus. También se automatizó la generación de estos corpus\, a través del desarrollo de un script\, para evitar la intervención humana. \nAdemás se exploraron distintos criterios para determinar qué documentales son relevantes en esos corpus (buscados de la web) y cuáles no. Estos criterios se basaron en los resultados de aplicar diferentes filtros a los corpus. Dichos filtros fueron implementados en el mismo script. La ejecución del mismo y otros scripts (auxiliares) permitirían automatizar también el filtrado de falsos positivos realizados por intervención manual humana. La aplicación de estos criterios servirían para la etapa de aprendizaje del clasificador (el cual es usado como componente del prototipo de un buscador mencionado con anterioridad).
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-esteban-ramos/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230914T153000
DTEND;TZID=America/Sao_Paulo:20230914T163000
DTSTAMP:20260406T160921
CREATED:20230911T133757Z
LAST-MODIFIED:20230911T133952Z
UID:8606-1694705400-1694709000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Adrian Castiglione
DESCRIPTION:Título: Inferencia de tipos genéricos para colecciones en ambientes con LiveTyping\nDirector: Hernán Wilkinson\nJurados: Agustín Martinez\, Maximiliano Contieri \nResumen:\nLiveTyping es una técnica de anotación automática de tipos cuyo objetivo es mejorar la experiencia de desarrollo en ambientes dinámicamente tipados\, en los que la ausencia de tipado estático limita seriamente la capacidad de las herramientas de desarrollo. Su implementación en Smalltalk consiste en extender la VM para recolectar información durante la ejecución de código\, aprovechando que se trata de un ambiente vivo\, donde el IDE y el programa son ejecutados por la misma VM. Esto permite anotar cada expresión en base a las clases de los valores que haya tomado durante la ejecución y utilizar estas anotaciones para mejorar las herramientas de desarrollo disponibles. Este enfoque sin embargo no es suficiente para anotar tipos genéricos\, que están definidos a partir de su clase base y del uso que se les dé durante la ejecución del programa; un ejemplo típico de estos tipos son las colecciones.\nLa inferencia de tipos\, por otra parte\, consiste en realizar un análisis estático del código fuente del programa con el objetivo de anotar con tipos cada expresión encontrada. Los trabajos previos en este área marcan que para el caso general en lenguajes dinámicos no es posible tipar cada expresión de forma precisa y con suficiente velocidad como para que tenga utilidad práctica\, sin embargo\, cuando se buscan objetivos más acotados es posible reducir la cantidad de esfuerzo que debe realizarse y alcanzar resultados útiles. En ese sentido\, existe un balance entre precisión y velocidad: se puede obtener mayor velocidad reduciendo el alcance del análisis\, pero esto a su vez disminuye la precisión de la solución obtenida.\nEn este trabajo se estudia la extensión de LiveTyping con un algoritmo de inferencia de tipos que aprovecha la información recolectada durante la ejecución del programa y cuyo objetivo es completar los parámetros de las diferentes colecciones del sistema. Se explorará el funcionamiento del algoritmo\, cómo utiliza la información recolectada por LiveTyping y las limitaciones que presenta.\nPor último se presentarán extensiones sobre cómo puede utilizarse o modificarse para tipos genéricos que no son colecciones y se darán algunos ejemplos de cómo las herramientas de desarrollo pueden aprovechar la nueva información disponible.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-adrian-castiglione/
LOCATION:Aula 1113
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230914T170000
DTEND;TZID=America/Sao_Paulo:20230914T180000
DTSTAMP:20260406T160921
CREATED:20230907T123905Z
LAST-MODIFIED:20230907T123905Z
UID:8599-1694710800-1694714400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Agustin Luis Marchionna
DESCRIPTION:Título: Construcción de números simplemente normales con dependencias de dígitos\nDirectora: Verónica Becher\nJurados: Santiago Figueira y Martín Mereb \nResumen:\nDado un entero b mayor o igual que 2 y un conjunto P de números primos consideramos el conjunto T_b de números de Toeplitz compuesto por los números reales de [0\,1) cuya expansión en base b dada por {a_n}_{n>0} satisface a_n = a_{pn} para todo p en P y n>0. \nUn número es simplemente normal una base entera b en el sentido de Borel en si en su expansión en base b todos los dígitos aparecen con la misma frecuencia asintótica. Un número es normal si es simplemente normal en cada base que es potencia de b. Se sabe que casi todos los números de Toeplitz T_b (respecto de la medida uniforme en T_b) son normales en la base b. \nUsando funciones completamente aditivas\, construimos un número en Toeplitz que es simplemente normal en base b si y solamente si P cumple la siguiente condición:\nPara b>2\, la suma de los inversos de los elementos en P debe divergir.\nPara b=2\, la suma de los inversos de los elementos en P debe divergir\, o 2 debe no estar en P\, según el caso. \nPrimero damos la demostración para el caso b = 2\, luego para b > 2. Damos además otra demostración para todo valor de b mayor o igual que 2 junto con una cota superior efectiva para la discrepancia de las secuencia (b^n x mod 1)_{n > 0} para el número x que construimos. \nEste es el primer ejemplo explícito de un número de Toeplitz simplemente normal en una base dada. Fue recientemente publicado: \nOn simply normal numbers with digit dependencies.\nV. Becher\, A. Marchionna\, and G. Tenenbaum.\nMathematika\, 69(4):988–991\, 2023.\nhttps://doi.org/10.1112/mtk.12216
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-agustin-luis-marchionna/
LOCATION:Aula 1305
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230920T130000
DTEND;TZID=America/Sao_Paulo:20230920T140000
DTSTAMP:20260406T160921
CREATED:20230913T124953Z
LAST-MODIFIED:20230913T124953Z
UID:8611-1695214800-1695218400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Pablo Balbi
DESCRIPTION:Director: Diego Garbervetsky\nJurados: Dr Rodrigo Castro\, Lic Javier Godoy \nResumen:  En la actualidad\, las técnicas de análisis estático de código son una herramienta muy usada para detectar\, de manera temprana\, vulnerabilidades de seguridad durante etapas tempranas en el proceso de desarrollo. Taint analysis es un tipo particular de análisis\, con prestaciones que lo caracterizan como un gran candidato para detectar fallas muy comunes en aplicaciones web\, como son los ataques de inyección. Si bien las técnicas para llevar a cabo este tipo de análisis están ampliamente estudiadas\, el mismo depende de una serie de especificaciones que indican qué elementos de un programa podrían estar involucrados en una vulnerabilidad. \nEn esta tesis se presenta una técnica de inferencia de especificaciones de taint analysis\, para el lenguaje JavaScript. La implementación de la misma surge de combinar un método ya existente basado en aprendizaje automático\, con el motor de análisis estático CodeQL. La técnica presentada parte un grafo que modela la propagación de datos a lo largo de un programa\, y construye un modelo de optimización lineal que resuelve el problema de inferencia de manera escalable. Las especificaciones producidas se expresan en una representación que permite generalizar un fragmento de código\, para así poder reconocer casos similares en otros programas. \nAdemás\, se presenta una nueva metodología de evaluación que no requiere supervisión alguna\, a fin de cuantificar el potencial de la técnica para inferir nuevas especificaciones. Mediante esta metodología\, se evalúa el procedimiento presentado en el trabajo\, sobre un conjunto de alrededor de setecientos programas afectados por cuatro clases diferentes de vulnerabilidades de seguridad\, alcanzando valores de recall cercanos al 80%.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-pablo-balbi/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230927T140000
DTEND;TZID=America/Sao_Paulo:20230927T150000
DTSTAMP:20260406T160921
CREATED:20230922T174618Z
LAST-MODIFIED:20230926T163744Z
UID:8628-1695823200-1695826800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Tomás Tropea
DESCRIPTION:Título: Un algoritmo para collares perfectos lexicográficamente máximos\nDirectora: Verónica Becher\nJurados: Flavia Bonomo y Min Chih Lin (Oscar Lin) \nResumen:\nFijemos un alfabeto. Un collar es una secuencia circular de símbolos. Los collares perfectos son variantes de las secuencias de Bruijn: un collar es (n\,k)-perfecto si todas las palabras de longitud n aparecen en el collar exactamente k veces\, en posiciones con distinta congruencia módulo k\, para cualquier convención de la posición inicial. En esta tesis presentamos un algoritmo para generar los collares (n\,k)-perfectos lexicográficamente máximos\, cuando k divide a n. Nuestro algoritmo es una adaptación del algoritmo clásico de Fredricksen y Maiorana (1978) basado en la concatenación de palabras Lyndon. Como subproducto obtuvimos una demostración de la correctitud del algoritmo de Fredricksen y Maiorana mucho más clara que la original.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-tomas-tropea/
LOCATION:Aula 1203
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230929T170000
DTEND;TZID=America/Sao_Paulo:20230929T180000
DTSTAMP:20260406T160921
CREATED:20230927T143655Z
LAST-MODIFIED:20230928T125559Z
UID:8635-1696006800-1696010400@www.dc.uba.ar
SUMMARY:Charla de Douglas Crockford
DESCRIPTION:Este viernes 29/9 tenemos el honor de recibir a Douglas Crockford en el DC.\nLa charla será en inglés \nLa cita es en el aula 1403 del pabellón 0 + inf a las 17hs. \nDouglas Crockford es una eminencia en el mundo de los lenguajes de programación. Es el creador de JSON (JavaScript Object Notation). Además\, desarrolló varias herramientas relacionadas con JavaScript\, como el analizador de código estático JSLint y el minimizador JSMin. La charla que ofrecerá Douglas\, será una oportunidad única para aprender de su vasta experiencia y conocimientos en el campo de la programación y JavaScript. \nLos esperamos.
URL:https://www.dc.uba.ar/event/charla-de-douglas-crockford/
LOCATION:Aula 1403
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR