Programming Languages Research Seminar
- ÕIS data: MTAT.03.271, 3 ECTS.
- Time: Mondays 14:15-16:00.
- Place: Delta-2010.
- Language English.
- Contact: Kalmer Apinis (feat. Ahman, Nester, Vojdani).
- Zulip (log into courses to see link)
This semester, the seminar is centered around the Iris framework (tutorial).
The plan is that each student will pick two chapters so that two students will present each chapter. In the lecture, one student presents the first half of the chapter, and the other presents the second half.
Tutorial chapters are listed on the Topics page.
Ph.D. students can also present their own work.
Requirements
You must give two talks, write a brief report on each topic, and actively participate in the seminars throughout the semester. The approximate duration for talks is 40 minutes.
- Each report will document your engagement with the material. In practice this means that you need to work through pen-and-paper or Rocq/Iris proofs, experiment by modifying example code snippets, invariants etc.
Deadline for submitting the report: a day before your talk. - Both talks will be based on a Iris tutorial (sub)-chapter. You need to give a proper lecture-like presentation, working through examples and being able to fully explain the content. You can get assistance in understanding the material before the talk.
Deadline for choosing the topic and presentation slot: ???.
You can register your chosen chapter presentation slots by sending a timely message to Kalmer via the course Zulip or by e-mail.
If you are presenting your own work, your writing counts as the report and you only need to give the two talks. The first talk should present the background to your research in a way that everybody understands, and you should use this to brush up on your foundational knowledge; in particular, tutorial papers and introductory sections from "Handbook of ..." may be appropriate material.