Advances in Symbolic Execution: A Workshop on C, JavaScript, and WebAssembly
Program Schedule
9:00 AM - 10:30 AM - Symbolic Execution for WebAssembly and C
- 20 mins - João Borges - Static Symbolic Execution
- 20 mins - Filipe Marques - Concolic Execution
- 20 mins - Francisco Sena - Parameterized Execution
11:00 AM - 12:00 PM - Summaries in Symbolic Execution
- 20 mins - Frederico Ramos - Summaries for Symbolic Execution
- 20 mins - Manuel Costa - Symbolic Summaries for JavaScript
- 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
- 20 mins - André Nascimento - ECMA-SL: An Intermediate Representation for JavaScript Analysis
- 20 mins - Filipe Marques - Symbolic Execution for JavaScript
- 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
- 20 mins - André Mendes - Symbolic Memory Models for C Language
- 20 mins - Tutorial: Implementing 3 Symbolic Memory Models in While Language
Enjoy Reading This Article?
Here are some more articles you might like to read next: