Third-Cycle Courses

Faculty of Engineering | Lund University

Details for Course EDA045F Program Analysis

Printable view

  • EDA045F
  • Temporary
Course Name
  • Program Analysis
Course Extent
  • 7.5
Type of Instruction
  • Third-cycle course
Administrative Information
  • 7121 (Computer Science (LTH))
  •  -05-18
  • Professor Thomas Johansson

Current Established Course Syllabus

  • English
  • Every other autumn semester
  • 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.
  • The course topics include: type and effect systems, operational semantics, program dependency analysis, data flow analysis, constraint-based analysis, profiling, and sampling.
Knowledge and Understanding
  • For a passing grade the doctoral student must
  • understand and demonstrate knowledge about static program analysis techniques and their strengths and weaknesses.
    understand and demonstrate knowledge about dynamic program analysis techniques, their strengths and weaknesses, and their effect on program execution.
    understand and be able to express themselves in the formal language(s) used in the class.
Competences and Skills
  • For a passing grade the doctoral student must
  • be able to design, implement, and validate static, dynamic and combined static-dynamic program analyses for different tasks.
Judgement and Approach
  • For a passing grade the doctoral student must
  • demonstrate the ability to describe, understand, and critically evaluate different program analysis techniques as applied to different tasks.
Types of Instruction
  • Lectures
  • Laboratory exercises
  • Self-study literature review
Examination Formats
  • Written exam
  • Failed, pass
Admission Requirements
  • EDAN65 or equivalent knowledge about compilers
Assumed Prior Knowledge
Selection Criteria
  • Nielson, F., Nielson, H.R. & Hankin, C.: Principles of Program Analysis. Springer, 1999. ISBN 9783540654100.
Further Information
Course code
  • EDA045F
Administrative Information
  •  -05-18
  • Professor Thomas Johansson

All Established Course Syllabi

1 course syllabus.

Valid from First hand in Second hand in Established
Autumn 2018 2018‑05‑14 09:26:41 2018‑05‑14 09:41:34 2018‑05‑18

Current or Upcoming Published Course Occasion

No matching course occasion was found.

All Published Course Occasions

No matching course occasions were found.

0 course occasions.

Printable view