Título: Inferencia de tipos genéricos para colecciones en ambientes con LiveTyping Director: Hernán Wilkinson Jurados: Agustín Martinez, Maximiliano Contieri Resumen: LiveTyping 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 [...]

Título: Construcción de números simplemente normales con dependencias de dígitos Directora: Verónica Becher Jurados: Santiago Figueira y Martín Mereb Resumen: Dado 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 [...]

Director: Diego Garbervetsky Jurados: Dr Rodrigo Castro, Lic Javier Godoy Resumen: 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 [...]

Título: Un algoritmo para collares perfectos lexicográficamente máximos Directora: Verónica Becher Jurados: Flavia Bonomo y Min Chih Lin (Oscar Lin) Resumen: Fijemos 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 [...]

Este viernes 29/9 tenemos el honor de recibir a Douglas Crockford en el DC. La charla será en inglés La cita es en el aula 1403 del pabellón 0 + inf a las 17hs. Douglas Crockford es una eminencia en el mundo de los lenguajes de programación. Es el creador de [...]

Título: Avances en el uso eficiente de sistemas multi-softcores en FPGAs Directores: David González Márquez y Esteban Mocskos Lugar: https://youtube.com/live/SzvOVCY4q3s Resumen ======= Desde hace años, el avance tecnológico en la fabricación de circuitos integrados ha permitido implementar múltiples procesadores en una misma pastilla con una creciente cantidad de núcleos, memoria e, inclusive, contener unidades funcionales con distinto grado de especialización. Sin embargo, a la hora de [...]

El próximo lunes 30 de Octubre tendremos nuestro 4° Ateneo CID sobre Economía Agraria. La propuesta será debatir sobre Certificaciones, Huella de Carbono, Trazabilidad y Sistemas de Monitoreo con relación al sector agropecuario de nuestro país. Contaremos con palabras de apertura a cargo del Ing. Juan Sebastián Llorens (INTA), [...]

Título: Bisimulación de Data-aware Communicating Finite State Machines con propiedades en las acciones Directores: Carlos Gustavo Lopez Pombo, Hernán Melgratti Jurados: Sergio Abriola, Emilio Tuosto Resumen: Los nuevos paradigmas de computación, como service-oriented computing (SOC) o Cloud/Fog, como así también el Internet de las cosas (IoT por su sigla [...]

Tenemos el agrado de invitarlos al 5° Ateneo CID sobre Agilidad en la Gestión Jurídica, donde estaremos conversando sobre la implementación y gestión de nuevas tecnologías aplicada a entornos normativos, tanto en el Poder Ejecutivo como en el Poder Judicial.

Título: Un estudio en profundidad de los protocolos QUIC y HTTP/3 y su impacto en servicios web modernos Director: RIGHETTI, Claudio Enrique Jurados : CASTRO, Rodrigo Daniel, SANTI, Lucio Resumen :Con la reciente estandarización de los protocolos QUIC y HTTP/3 comienza el largo proceso para comenzar a adoptar estas [...]