Program Schedule

9:00 AM - 10:30 AM - Symbolic Execution for WebAssembly and C

1. 20 mins - João Borges - Static Symbolic Execution
2. 20 mins - Filipe Marques - Concolic Execution
3. 20 mins - Francisco Sena - Parameterized Execution

11:00 AM - 12:00 PM - Summaries in Symbolic Execution

1. 20 mins - Frederico Ramos - Summaries for Symbolic Execution
2. 20 mins - Manuel Costa - Symbolic Summaries for JavaScript
3. 20 mins - Rafael Gonçalves - Synthesizing Symbolic Summaries

12:00 PM - 1:30 PM - Lunch

1:30 PM - 3:00 PM - Symbolic Execution for JavaScript

1. 20 mins - André Nascimento - ECMA-SL: An Intermediate Representation for JavaScript Analysis
2. 20 mins - Filipe Marques - Symbolic Execution for JavaScript
3. 20 mins - Miguel Monteiro - Explode.js: Identifying Security Vulnerabilities in Node.js Applications via Symbolic Execution

3:00 PM - 6:00 PM - Symbolic Memory Models

1. 20 mins - André Mendes - Symbolic Memory Models for C Language
2. 20 mins - Tutorial: Implementing 3 Symbolic Memory Models in While Language