logo-polimi
Loading...
Manifesto
Struttura Corso di Studi
Cerca/Visualizza Manifesto
Dati Insegnamento
Scarica il Manifesto
Regolamento didattico
Consulta il Regolamento
Elenco docenti
Strutture didattiche
Dati quantitativi
Internazionalizzazione
Orario Personalizzato
Il tuo orario personalizzato è disabilitato
Abilita
Ricerche
Cerca Docenti
Cerca Insegnamenti
Cerca insegnamenti degli Ordinamenti precedenti al D.M.509
Erogati in lingua Inglese

Legenda
Semestre (Sem)
1Primo Semestre
2Secondo Semestre
AInsegnamento Annuale
Attività formative
BCaratterizzanti
Lingua d'erogazione
Insegnamento completamente offerto in lingua italiana
Insegnamento completamente offerto in lingua inglese
--Non definita
Didattica innovativa
I CFU riportati a fianco a questo simbolo indicano la parte dei CFU dell'insegnamento erogati con Didattica Innovativa.
Tali CFU riguardano:
  • Cotutela con mondo esterno
  • Blended Learning & Flipped Classroom
  • Massive Open Online Courses (MOOC)
  • Soft Skills
Dati Insegnamento
Contesto
Anno Accademico 2014/2015
Scuola Scuola di Ingegneria Industriale e dell'Informazione
Corso di Studi (Mag.)(ord. 270) - MI (481) Computer Science and Engineering - Ingegneria Informatica
Piano di Studio preventivamente approvato T2A - COMPUTER SCIENCE AND ENGINEERING
Anno di Corso 1

Scheda Insegnamento
Codice Identificativo 090957
Denominazione Insegnamento CODE TRANSFORMATION AND OPTIMIZATION
Tipo Insegnamento Monodisciplinare
Crediti Formativi Universitari (CFU) 5.0
Semestre Secondo Semestre
Programma sintetico Static program analysis for compilation and software engineering. Intermediate representation of programming languages by intermediate text and by data and control flow graphs. Static properties of programs: variable definition, dominance, reachability, liveness, common expression, alias, etc. Data flow equation and their solution. Basic program optimizations at intermediate level. Constant folding and propagation, control simplification, dead/useless code elimination, redundant expressions and copy simplification. Loop optimizations. Loop invariant extraction, inductive variables, redundant out-of-bound checks. Low level transformations. Machine code generation: tree pattern matching. Register assignment: interference graph colouring, dynamic programming. Static-single assignment representation and related algorithms. Program transformation for parallel machines. Pipeline oriented transformations: jump prediction, instruction scheduling. Loop scheduling for ILP architectures: constraints from data dependencies and resources. Memory hierarchy and cache optimization. Executable intermediate languages. Bytecode virtual machine. Laboratory: the SUIF C compiler. Intermediate representations, code profiling and program transformations.
Settori Scientifico Disciplinari (SSD)
Attività formative Codice SSD Descrizione SSD CFU
B
ING-INF/05
SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
5.0

Orario: aggiungi e rimuoviScaglioneDocenteLingua offertaProgramma dettagliato
Da (compreso)A (escluso)
--AZZZZAgosta Giovanni
manifesti v. 3.1.9 / 3.1.9
Area Servizi ICT
18/11/2019