Programming Languages Research Seminar
- ÕIS data: MTAT.03.271, 3 ECTS.
- Time: Mondays 14:15-16:00.
- Place: Delta-1008.
- Language English.
- Contact: Danel Ahman (feat. Apinis, Nester, Vojdani).
- Zulip (log into courses to see link)
The seminar is centred on student presentations with some guest lectures to spice things up.
You can find a list of suggested topics and source materials on the Topics page.
There is also the possibility for Ph.D. students to present their own work, following the same format outlined below.
Requirements
You need to give two talks and write a brief report on a given topic, and actively participate in the seminars throughout the semester. Approximate duration for talks is 60 min for the lecture-style presentation and 30 min for the research paper presentation.
- The first talk will be based on a textbook chapter or tutorial paper. 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: September 16. - The second talk will be based on recently published research paper. Here we prefer focusing on the core idea and understanding it yourself. We therefore require some active engagement with the material before giving the talk.
Deadline for choosing the research paper and presentation slot: October 28. - The report will document your engagement with the material for the second talk. This will depend on the type of paper and we will agree on this with you on a case-to-case basis. If the ideas in the paper have been implemented in a publicly available software artifact, you should try the tool out and report on your experience. If the paper is more theoretical, you can work through examples or complete a proof omitted/sketched by the authors.
Deadline for submitting the report: Thursday of the week preceding your presentation slot.
You can register your chosen topic/paper and presentation slots by sending a timely message to Danel Ahman 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 still 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.