02242: Program Analysis

Feedback §2.1

This course is still in its infancy, feedback is therefore crucial to make it better for generations to come. You are welcome to send suggestions to chrg@dtu.dk or anonymously on this Google Form.

Teaching Philosophy §2.2

Personally, I have always thought we teach material backwards; first we give students all the information in a lecture, and then afterward we ask them to solve exercises. This is problematic as the student does not know what to do with the information, and when they figure out what they need to do, they have no way of getting the information.

So my teaching philosophy is a best summarized by the phrase:

You only learn from your mistakes.

Essentially, no matter what you, the student, is presented with, it will not be absorbed, unless it is needed by you to fill gabs in your understanding. And you only realize that there are gabs, if you fail at doing a task. My teaching style is therefore practical and hands on.

We know this form of teaching is taxing, and can feel frustrating, so please reach out if you need help, because it is the only way to learn.

Didactic Contract §2.3

During the course you will spend most of your time implementing different program analyses. It is therefore expected (and required) that you have a good level of programming experience. DTU sets the expected workload of one ETCS point to 28 hours. Since this is a 7.5 ETCS point course over 13 weeks + 1 week exam, one should expect to use 14 hours on this course a week, only 4 of which are in class.

Participation in the class or doing the assignments are not mandatory. However, they are the primary way we convey the material of the class. It will be very hard to pass the course without engaging with the material.

In return, I will teach you program analysis by presenting you with challenges to overcome, make the lectures relevant, help you to learn when you fail, and support you, so you do not give up.

The Challenge §2.4

Because of my Teaching Philosophy (§2.2), I will make sure you have the activity before the lectures. The goal of the course is very simply to do as well as possible on a benchmark suite called JPAMB. In short, the benchmark suite is a collection of java programs, which you will build multiple analyses for. You will try to build an analysis which is as good as possible.

In the end of the course you will be evaluated on how well you did at this task.

The rules are available in the README of the project.

You can upload the results of running the evaluation to Autolab, use the access code 7FNKZO.

Questions §2.5

At every lecture, I will ask 2-4 questions which can guide you to investigate different different aspects of program analysis.

Groups §2.6

To solve the challenges, we are going to have two kinds of groups:

• The Feedback Group is a group of ~8 random students. The goal of this groups is to have a place to hear about alternative solutions to your current problems. In the start of every class, you'll sit at these groups, as well as answer the Questions (§2.5) together.

• The Project Group is a group of 4 - 6 students. The goal of this group is do the final project and defend it together orally. The groups are due when handing in the proposal, and the groups cannot overlap with your feedback groups.

Lecture Structure §2.7

To foster an atmosphere of collaboration and give you a change to get peer-feedback on your ideas, we start every lecture with 30 minutes of feedback revolving around the questions given in class. Every lecture (except the first) is structure like so:

• 13:00 Peer-feedback. In the beginning of the lecture you should sit with you feedback groups. Together with them you'll discuss your progress over the last week: what was easy and what was hard, as well as the questions from the previous lecture.

• 13:20 Communal Feedback. We'll then summarize the feedback in class, hopefully resolving the biggest questions from the last week.

• 13:30 Lecture. Then we'll have an interactive lecture about the problem of the day. Here we can cover any problems and questions that have come up during the Getting started section.

• 15:00 Lab-work, with TA's.

Schedule §2.8

The lectures are on Mondays at 13:00 to 17:00. This is a tentative list of topics and might change. As I update the lecture notes, the links to the old lecture notes will disappear.

Proceedings §3.1

After the exams, we will collect the papers on a voluntary basis in a proceedings, which is shared among the participating students and with the students of the classes years to come. Furthermore, every semester, we will assign a paper the best paper award, which will be indicated in the proceedings.

You can find the proceedings from last year on Learn.