a_software.gif
tercer_nivel_software.gif

UPM / IMDEA Software Institute Specialization Track in Software Development through Rigorous Methods (2017-2018)

Note: this course is taught at the the IMDEA Software Institute (in the Montegancedo Campus, 500 m. from the CS School). Please get in touch with the coordinator or one of the instructors for more details regarding the exact meeting place and possible schedule changes.



This course has specific requirements. If you are not a student affiliated to the IMDEA Software Institute, please follow these instructions. If you do not follow them, you may be asked to register in some other course.

Reading group on advanced analysis of non-functional global properties

Coordinator(s)

Scientific collaboration from the IMDEA Software Institute

Length

4 credits (ECTS)

The class will meet initially to settle down on an schedule which is adequate for everyone. Depending on the amount of work and the difficulty of the topics selected for presentation, there may be some weeks in which lectures will be shortened or skipped in order for the students to have time to prepare their presentations adequately.

Prerequisites

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.

Course web page (if any)

Not yet available.

Summary and objectives

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.

Topics

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

Evaluation

Based on interaction and quality of presentations.

Recommended reading

Will be decided based on how the course progresses.




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

Fractals are used with permission from their author Cory Ench | © 2006-2007. IMDEA Software.
All rights reserved | Legal Notice | Privacy Policy