The 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 course will:
|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|
|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|
Subject learning guide for Reading Group on Advanced Analysis of Non-Functional Global Properties