Programming Languages Research Seminar
- ÕIS data: MTAT.03.271, 3 ECTS.
- Time: Tuesdays, 10:15 - 12:45 (starting 18.02).
- Place: Delta 1025 (Lab Meetings: Delta 3115).
- Language English.
- Contact: Vesal Vojdani.
- Content curation: Kalmer Apinis and Vesal Vojdani.
This seminar is intended to introduce and involve students in research conducted at the Laboratory for Software Science. The seminar is mainly in the form of paper discussions. The reading schedule is set according to our research agenda. This year we are covering the following two topics:
- Static Security Analysis for Android and Web Application.
- Verified Static Analysis & Correctness Witnesses.
Students may also nominate papers from the Harvard seminar on Advanced Topics in Programming languages. Their seminar is focused on verified compilation, which relates to our second topic. We mainly want to focus on Static Security Analysis for JVM-Based Apps, but are open to some verification topics as well, especially as it applies to verification and certification of static analysis results.
Requirements
- This is a research seminar intended for our Ph.D. students to present their work or get up to speed on literature essential to their thesis. We expect basic familiarity and interest in the field of programming languages, but of course we will answer any questions the participants have.
- Students must select topics from our carefully curated list of topics or suggest something directly related to the seminar focus. This must be agreed upon with the content curators.
- To pass the course, students need to give a single well-prepared presentation.
Project work
If you want to try the ideas out, or maybe you just want do some practical work during this seminar. Well, we can register you to MTAT.03.272 (Programmeerimiskeelte uurimisprojekt / Special Assignment in Programming Languages). This provides an extra 3 ECTS credits for completing an independent task in the field of programming languages.