Título: Análisis automático de propiedades de calidad en sistemas distribuidos basados en servicios Director: Dr. Carlos Gustavo López Pombo Consejero de estudios: Dr. Juan Pablo Galeotti Jurados: Dr. Sebastián Uchitel (Universidad de Buenos Aires) Dr. Alexandre Madeira (Universidad de Aveiro) Dr. Alberto Lluch Lafuente (Universidad Técnica de Dinamarca) Link [...]

Título: Apuestas y Azar: Martingalas computables y secuencias genéricas de Poisson Directores: Verónica Becher y Santiago Figueira Jurados : Nicolás Álvarez y Martín Mereb Resumen: 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 [...]

Título: AgrOptim: Una plataforma de simulación y optimización para el diseño de agroecosistemas sustentables Lugar de trabajo: -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 -Cátedra de Cerealicultura, Instituto UBA-CONICET de Investigaciones Fisiológicas y Ecológicas Vinculadas a [...]

Este viernes arranca Dátame! 2024. El encuentro es a las 16hs. en el aula 1402 del Edificio 0+Infinito. Esta vez, la charla estará a cargo de Daniela Rodriguez (Instituto de Cálculo, Exactas-UBA). El título de la charla es Unificando enfoques en problemas de datos Sobre la charla En esta charla discutiremos diferentes [...]

Título: Fuzzing de smart contracts: EchidnaAFL Directores: Juan Pablo Galeotti y Diego Garbervetsky (DC/ICC) Jurados: - Victor Braberman (DC/ICC) - Gustavo Grieco (Trail of Bits) Resumen: En los últimos años, han cobrado popularidad y gran capital financiero las tecnologías blockchain y en particular Ethereum, que introdujo el concepto de [...]

Título: Análisis bayesiano del aprendizaje en comunidades de video juegos Director: Esteban Mocskos Co-director: Diego Fernández Slezak Consejero de estudios: Hernán Melgratti Jurados: Dr. Daniel Ramos Castro - Universidad Autónoma de Madrid Dra. Marcela Svarc - Universidad de San Andrés & CONICET Dr. Mariano G. Beiró Facultad de Ingeniería, [...]

Título: "Modelado de funciones propagadoras para taint tracking con CodeQL y GPT-4: una aproximación experimental"  Director: Víctor Braberman Director adjunto: Iván Postolski Jurados: Diego Garbervetsky, Rodolfo Baader Resumen ---------------------- En el análisis estático de programas, el taint tracking se utiliza para detectar vulnerabilidades relacionadas con el flujo de inputs no [...]

Título: Generación aleatoria de casos de test Espresso para Android Director: Prof. Dr. Juan Pablo Galeotti Consejero de estudios: Prof. Dr. Hernán Melgratti Jurados: Prof. Dra. Alessandra Gorla - IMDEA Software Institute Prof. Dr. Marcelo d'Amorim - NC State University Dr. Renzo Degiovanni - University of Luxembourg Transmisión: https://youtube.com/live/Z7-gBWNfZuw Resumen: [...]

Título: "Análisis de estabilidad y seguridad en una red de Proof of Stake: el ejemplo de Algorand" Director: Esteban Mocskos Jurados: Gustavo Sadovoy, Ariel Waissbein Transmite por: https://youtube.com/live/hVe3CpH6LYg?feature=share Resumen ======= En este trabajo de tesis estudiamos Algorand, una red de blockchain basada en Proof of Stake, analizando la estabilidad [...]

Título: Problemas localmente verificables parametrizados por treewidth, clique-width y mim-width Directora: Flavia Bonomo Consejero de estudios: Javier Marenco Jurados: Dr. Sergio Cabello Justo - Prof. Full, DMAT, Univ. de Liubliana Dra. Paloma T. De Lima - Prof. Asis., Univ. de Copenhagen Dr. Dimítrios Thilikós Touloupas - Dir. de Inv., [...]