STINT Workshop on Assured Software Engineering
October 21, 2019
Ciudad Universitaria, Pabellón 1
(UBA)
Buenos Aires, Argentina
Organizer:
Sebastián Uchitel
A STINT collaboration workshop beteween the Department of Computer
Science, Universidad de Buenos Aires (Argentina) and the Department of
Computer Science and Engineering at the University of Gothenburg
(Sweden).
============================================
PROGRAMME
============================================
10:00 Welcome and Introductions
10:30 Alejandro Russo (Chalmers, Sweden): DPella: Un framework de programación para Privacidad Diferencial con Exactitud
11:00 Nazareno Aguirre (UNRC/CONICET, Argentina): Mejoramiento de Ejecución Simbólica Generalizada usando SAT
11:30 Juan Pablo Galeotti (ICC, UBA/CONICET, Argentina): Desafíos y oportunidades en Generación Automática de Casos de Tests
12:00 Lunch
13:30 Gerardo Schneider (University of Gothenburg, Suecia), Smart Contracts: Qué son? Temas abiertos y vínculo con el mundo real
14:00 Diego Garbervetsky (ICC, UBA/CONICET, Argentina), Integración de Herramientas Automáticas en Auditorías de Smart Contracts
14:30 Marcelo Frias (ITBA/CONICET, Argentina): Título a confirmar, pero será seguramente sobre verificación automática de código
15:00 Coffee Break
15:30 Pablo Castro (UNRC/CONICET, Argentina), Midiendo Tolerancia Fallas por Enmascaramiento
16:00 Carlos Lopez Pombo (ICC, UBA/CONICET, Argentina): Sistemas distribuidos reconfigurables basados en servicios
16:30 Sebastian Uchitel (ICC, UBA/CONICET, Argentina): Síntesis automática de
planes reactivos y aplicaciones en robótica
============================================
TALKS' ABSTRACTS
============================================
TBA