Sumários
Dynamic analysis of dynamic languages
7 dezembro 2018, 11:00 • Pedro Adão
Web security and Dynamic Language.
Monitoring Information flow in Dynamic WHILE: Lock-step monitor for Dynamic WHILE. Inlining compiler of a monitor for Dynamic WHILE.
Static Analysis of High Level Languages
7 dezembro 2018, 09:30 • Rodrigo Miguel Corredoura Janota Rato
Type checking program exercises.
Dynamic analysis
6 dezembro 2018, 17:30 • Pedro Adão
Accepting vs. Transforming - mechanisms. A monitor for Information flow analysis (WHILE): Small-step semantics for WHILE. Labelled transitions. Lock-step information flow monitor.
Language Based Security - Static analysis of high-level languages
6 dezembro 2018, 15:30 • Pedro Adão
Lab3: Type checking programs (1.1.a, 2)
Paper presentations
4 dezembro 2018, 11:00 • Miguel Nuno Dias Alves Pupo Correia
Presentations of papers by groups of students