Main Page

Hi all – I hear that the audio in the video is partially damaged, a bug that occurred during Youtube post-processing. Please excuse the inconvenience. I will do a high-quality re-recording on the weekend and post a new link. Stay tuned! -- Andreas Zeller

Video "How to give a good research talk"

Written on 14.12.23 by Andreas Zeller

Hi all – It's been a month, but I finally managed to make available the recording of my November presentation
"How to give a good research talk":

https://www.youtube.com/watch?v=CP_NadchnmQ

Enjoy! (and please do not publish outside of CISPA) -- Andreas

Summary

Written on 03.11.23 by Jordan Samhi

Dear students,

A kind reminder that our seminar sessions will take place every Thursday from 3 pm to 4 pm.

Here are the information regarding the Zoom link we will use throughout the seminar:

Join Zoom Meeting
… Read more

Dear students,

A kind reminder that our seminar sessions will take place every Thursday from 3 pm to 4 pm.

Here are the information regarding the Zoom link we will use throughout the seminar:

Join Zoom Meeting
https://cispa-de.zoom-x.de/j/5882049174?pwd=YThSWm9XMlM2VHRoWlo0d1dzMUNuZz09

Meeting ID: 588 204 9174
Passcode: c5#$ZE
One tap mobile
+496938980596,,5882049174# Germany

/!\ Please ensure that you have a GitHub account set up /!\

Upon receiving your initial assignment via GitHub Classroom, it will be necessary to connect your personal GitHub account to the designated GitHub Classroom account.

Note: Each paper assigned to you will be accompanied by a practical lab task, which involves implementing a specified technique/algorithm. You will be allocated one week for the paper review and two weeks to fulfill the lab assignment.

Register in LSF by November 17

Written on 25.10.23 by Andreas Zeller

Dear seminar participants,

our exam office reminds us that all seminar participants must register in LSF three weeks after the first meeting, i.e. by November 17. Do not delay!

Best wishes,

Jordan and Andreas

Show all

Static Program Analysis Lab

Description: How can one reason about program code? In this advanced seminar, we study several seminal approaches to static code analysis and debugging and implement them all (at least in a basic way). Our set of techniques includes:

Control Flow Analysis
Data Flow Analysis
Inter-procedural Analysis (points-to, call graphs)
Symbolic Reasoning
and more!

The general process will be as follows: Each week, you get 1-2 reading assignments and write an abstract about them. We may also ask you to give an (ungraded) five-minute short presentation to kick off the discussion and improve your presentation skills. Having discussed the approach, you have another week to finish a programming assignment (using Python and Jupyter Notebooks). in which you implement the respective technique on top of the given code.

At the end of the seminar, you give a 15-20 minute presentation on one of the techniques, including experiments you designed and conducted. We will determine your final grade from your abstracts (10%), your programming assignments (30%), and the final presentation (60%).

Requirements: This seminar requires creativity and ambition. Experience with programming languages and logic reasoning is a plus. Prior knowledge in automated testing, debugging, and software engineering (esp. from earlier courses) will be beneficial. In your motivation, please mention relevant projects and courses you have taken along with your grades.

Registration: To register for this seminar, use the SIC Seminar Registration Page.