Design and Implementation of Modern Programming Languages
With this seminar you will learn the core techniques of scientific work. There are no frontal lessons: you will have to write a term paper that summarizes your knowledge of an assigned topic after reading a selection of scientific papers. Each participant is also required to give a talk about the topic chosen. Several topics are available, proposals from students can also be evaluated.
Modern programming languages like Java offer the programmer many advanced concepts: automatic memory management, dynamic class loading and linking, powerful type systems, and efficient just-in-time compilation. Typically, such features are partly implemented by the language's compiler (checking whether a program is well-typed), partly by the runtime environment (collecting garbage, i.e., objects no longer reachable).
This course is complemented by a hands-on training: Implementation of Programming Languages. Attending the hands-on training is not mandatory, although there may exist synergies between topics offered here and in the hands-on training.
- Course Type
S2 / 3 CPs
Please send an email to the instructor
Friday, April 13 2018, 16:00 in S2|02 A313 (passed, slides avaliable here)
July 10 (time and room TBA)
Both papers and talks must be delivered in English
With this seminar we want to introduce you to core techniques of scientific work; each participant is thus required to give a talk about the topic chosen. This talk will be given during a Blockseminar at the end of the term.
All talks have to be 15 minutes long if given by a single person, and 25 minutes or 35 minutes when given by a group of two or three, respectively. (Each member of the group should have an equal share in it.) Please practice your talk several times; in particular, make sure that you do not miss the time limit by much, i.e., by at most 10%; this mimics the strict time limits of real-world conferences and workshops. Consequently, if a talk is significantly shorter or longer, then this fact will have a (negative) impact on the presenters' grade.
- How to give a good research talk by Simon L Peyton Jones, John Hughes, and John Launchbury
In addition to giving scientific talks, we want to introduce you to the process of writing and publishing research papers. In other words: you will have to write a term paper. The following notes may guide you in this process:
The initial references provided with the topic chosen by you are only a first step; in your term paper, try not to summarize everything that's written therein or in the references' references. Instead, try to tell an engaging, coherent story about one aspect of the topic. (It helps to image oneself as a novice to the topic, who attends the talks or reads the term papers.) Also, search for further references on your own and point out connections between the various papers you researched; we expect at least 2-3 related references found per person. Please present technologies, e.g., programming languages, with your own words and your own examples. If you merely copy the work of others, this means but one thing: no contribution; you will fail the seminar. This rule does not prevent you from quoting other researchers, however. It does require you to faithfully attribute quotations or other kinds of references, though.
Overall, we expect about 6 pages of term paper if written by a single person. For groups of two or three persons we expected 8 or 10 pages, respectively. (This page limit take the space needed for the title, the list of references, and any figures already into account.) If many or large figures or tables are included, we expect a slightly longer term paper to compensate for this. Please consult your advisor about this. To make the term papers' length comparable, all participants are required to use the ACM SIGPLAN Proceedings Template, preferably in its LaTeX incarnation (default font size, 9pt).
- Reading a computer science research paper by Philip W.L. Fong
A review is an assessment of a scientific paper, which is submitted for publication at a journal or conference. Scientific peers rate the paper's quality and thus decide, whether the paper is accepted for publication. Furthermore, peer reviewers provide the paper's author with suggestions on how to improve it. During this seminar we want to introduce you to this aspect of scientific practice, too.
Consequently, every participant has to write two reviews of other students' term papers. All reviews should be constructive and name clearly both positive and negative issues with the paper in question. Each such review should contain the following three sections:
- A short summary of the paper
- Suggestions for the author, regarding both content and presentation
- A list of the major positive and negative issues
There is no page limit for the reviews; however, 500 words is a good guideline for a single review.
- How to review a systems paper by Timothy Roscoe
- How NOT to review a paper: the tools and techniques of the adversarial reviewer by Graham Cormode
The overall grade for the seminar is determined by three factors: the talk given, the paper handed in, and the reviews made. Furthermore, we will consider your participation in the discussion following each talk; it counts towards the grade received for your reviews. Overall, the three factors are weighted 40 : 40 : 20, respectively. In other words, both the talk and term paper are of equal importance.
Please note that it is possible, due to the fact that each participants talk and reviews are graded individually, that different members of a group are assigned different overall grades.