263-2100-00L  Research Topics in Software Engineering

SemesterSpring Semester 2017
LecturersH. Lehner
Periodicityevery semester recurring course
Language of instructionEnglish
CommentNumber of participants limited to 23.



Courses

NumberTitleHoursLecturers
263-2100-00 SResearch Topics in Software Engineering2 hrs
Tue15:15-17:00HG E 33.5 »
H. Lehner

Catalogue data

AbstractThis seminar introduces students to the latest research trends that help to improve various aspects of software quality.

Topics cover the following areas of research: Compilers, domain-specific languages, concurrency, formal methods, performance optimization, program analysis, program generation, program synthesis, testing, tools, verification
ObjectiveAt the end of the course, the students should be:

- familiar with a broad range of key research results in the area as well as their applications.

- know how to read and assess high quality research papers

- be able to highlight practical examples/applications, limitations of existing work, and outline potential improvements.
ContentThe course will be structured as a sequence of presentations of high-quality research papers, spanning both theory and practice. These papers will have typically appeared in top conferences spanning several areas such as POPL, PLDI, OOPSLA, OSDI, ASPLOS, SOSP, AAAI, ICML and others.
LiteratureThe publications to be presented will be announced on the seminar home page at least one week before the first session.
Prerequisites / NoticePapers will be distributed during the first lecture.

Performance assessment

Performance assessment information (valid until the course unit is held again)
Performance assessment as a semester course
ECTS credits2 credits
ExaminersH. Lehner
Typegraded semester performance
Language of examinationEnglish
RepetitionRepetition only possible after re-enrolling for the course unit.

Learning materials

 
Main linkInformation
Only public learning materials are listed.

Groups

No information on groups available.

Restrictions

Places23 at the most
Waiting listuntil 04.03.2017

Offered in

ProgrammeSectionType
Certificate of Advanced Studies in Computer ScienceSeminarsWInformation
Doctoral Department of Computer ScienceDoctoral and Post-Doctoral CoursesWInformation
Computer Science MasterSeminar in Software EngineeringWInformation