Seminar on Programming Languages and Program Analysis

Pointer Analysis

In this seminar we will discuss papers regarding pointer and shape analysis.

Requirements

  • Give a 70-80 minutes talk about his or hers assigned topic (one or two research papers).
  • Answer students questions during the talk.
  • Lead a summary discussion.
  • Say something original (i.e., not written in the paper) about the topic. For example:
    • Download and execute two implementations of the described algorithm and evaluate them.
    • Extend the discussion regarding a particularly close related work.
    • Make an interesting connection to a topic discussed in a previous talk.
    • Describe a personal expereicne with using the discussed technique (or a simialr one) at work.
  • Write a short (1 page) summary about the discussed topic, the original contribution, and the main points that came out during the discussion.
  • Actively participate in the discussions led by other students.

Admin

  • The slides and the summary should be written in English. (The talk can be given in Hebrew.)
  • You are expected to be present in every lesson, unless coordinated beforehand with the lecturer.
  • Name your presentation and summary using the seminar's naming conventions, e.g.,
    • seminar1718a-lec-Num-presentation-firstname-secondname.pptx
    • seminar1718a-lec-Num-summary-firstname-secondname.docx
  • Meet the lecturer one week before the lesson.
  • Send your presentation and summary to the lecturer up to one week after your lecture.
  • Mathematical fonts for Powerpoint and Word can be found here.
  1. Topic: Overview
    • Date: 27.Oct.2019
    • Presenter: Noam Rinetzky
    • Presentation: PPTX