UPM / IMDEA Track in Software Development through Rigorous Methods

• Manuel Carro, Julio Mariño, Clara Benac, Lars-Åke Fredlund
• Scientific collaboration from IMDEA: Pedro López and Mark Marron

3 credits (ECTS) (bi-weekly meeting)

Good knowledge of at least one procedural and one declarative programming language. Knowledge of computational complexity basics. Knowledge of basics of compilation for procedural and OO languages.

Not yet available.

The course will focus on reading and presentation of research papers in the area of program analysis, optimization, implementation, and verification. Students are expected to read a selection contemporary research papers, past papers that represent 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 depending on instructor discretion and topics that are of current interest to the wider research community.

Students who take this course will:

1. Gain experience in reading and evaluating research literature.
2. Be exposed to well-written papers.
3. Develop skills needed to give effective technical presentations.
4. Be exposed to leading edge results in the areas of program analysis and implementation.
5. Gain a background in key past research results that have had a large impact on the direction of research in the area.

Will be decided based on the latest research topics, the level of the students, and their personal interest.

Based on interaction and quality of presentations.

Will be decided based on how the course progresses.

Back to the initial page
Go to the IMDEA Software Institute page