Advanced Compilers (2012/2013)

Course code
4S000557
Name of lecturers
Isabella Mastroeni, Alessandra Di Pierro
Coordinator
Isabella Mastroeni
Number of ECTS credits allocated
6
Academic sector
INF/01 - INFORMATICS
Language of instruction
Italian
Period
II semestre dal Mar 4, 2013 al Jun 14, 2013.

Lesson timetable

II semestre
Day Time Type Place Note
Monday 3:30 PM - 5:30 PM lesson Lecture Hall I  
Tuesday 9:30 AM - 11:30 AM lesson Lecture Hall C  

Learning outcomes

The course aims to deepen advanced subjects concerning compilers and static analysis. In particular the objective is that of providing advanced techniques for transforming programs with the aim, not only of obtaining standard optimization of code, but also of protecting code by hiding information or discovering vulnerabilities.

Syllabus

- Introduction
- Mathematical foundations
- Lattice theory
- Abstract interpretation
- Basic compiler
- Program analysis
- Static analysis on numerical domains
- Data-flow analysis
- Shape analysis
- Control-flow analysis
- Probabilistic static analysis
- Optimization
- Single static assignment (SSA)
- Constant propagation
- Redundancy elimination
- Inter-procedural analysis
- Pointer analysis
- BDD in pointer analysis
- Dynamic compilation
- Escape analysis