Gäller från och med: Autumn 2018
Beslutad av: Professor Thomas Johansson
Datum för fastställande: 2018-05-18
Avdelning: Computer Science (LTH)
Kurstyp: Ren forskarutbildningskurs
Undervisningsspråk: English
Program analysis allows us to better understand what software does and does not do. The techniques of program analysis can thereby contribute to software security, software quality control, program understanding, software maintenance and evolution, and software performance improvement. The aim of this course is to provide a detailed understanding of modern program analysis techniques, as well as their strengths and weaknesses, when applied to realistic software.
Kunskap och förståelse
För godkänd kurs skall doktoranden
Färdighet och förmåga
För godkänd kurs skall doktoranden be able to design, implement, and validate static, dynamic and combined static-dynamic program analyses for different tasks.
Värderingsförmåga och förhållningssätt
För godkänd kurs skall doktoranden demonstrate the ability to describe, understand, and critically evaluate different program analysis techniques as applied to different tasks.
The course topics include: type and effect systems, operational semantics, program dependency analysis, data flow analysis, constraint-based analysis, profiling, and sampling.
Nielson, F., Nielson, H.R. & Hankin, C.: Principles of Program Analysis. Springer, 1999. ISBN 9783540654100.
Undervisningsformer: Föreläsningar, laborationer, litteraturkurs som självstudier
Examinationsform: Skriftlig tentamen
Betygsskala: Underkänd, godkänd
Examinator:
Förkunskapskrav: EDAN65 or equivalent knowledge about compilers
Kursansvariga: