Master in Software and Systems

Reading Group on Basic Analysis of Non-Functional Global Properties

Lecturer (Coordinator):
Manuel Carro
mcarro@fi.upm.es
Lecturer:
Pedro López
pedro.lopez@imdea.org

Semester

First semester

Credits

4 ECTS

Outline

This subject will focus on the reading and presentation of research papers in the area of program analysis, optimization, implementation, and verification. Students are expected to read a selection of contemporary research papers and past papers reporting important results, and to give presentations on the contents of these papers. The contents of the papers will be mainly related to the analysis and verification of non-functional properties like resource usage (e.g., energy, execution time, memory, heap, user-defined resources, etc.), non-failure, determinism or cardinality. Special attention will also be paid to general analysis and verification frameworks and their possible instantiations. However, the contents may vary at the instructor’s discretion and depending on topics that are of current interest to the wider research community.

Students who take this subject will:

Learning Goals

Syllabus

  1. Selection of topics and papers in view of the goals of the students

Website

http://www.software.imdea.org/graduateschool

Prerequisites

Assessment Method

Tuition Language

English

Subject-Specific Competences

More information:

This table shows the code, description and proficiency level for each subject-specific competence

Code Competence Proficiency Level
SSC1 Examination of the state of the art to identify research problems related to the design, construction, use and evaluation of complex software-intensive sociotechnical systems S
SSC5 Contribution of solutions to open problems related to software verification and validation applications and methods, techniques and tools A

Learning Outcomes

More information:

This table shows the code, description and proficiency level for each subject learning outcome

Code Learning Outcome Associated competences Proficiency level
RA-AV-10 Familiarity with resource consumption analysis and its applications SSC5 A
RA-AV-11 Ability to provide formal specifications on target results and program resource consumption SSC1 S

Learning Guide

Subject learning guide for Reading Group on Basic Analysis of Non-Functional Global Properties