Programmanalyse

Dozenten

Florian Martin (AbsInt), Laurent Mauborgne (AbsInt), Sebastian Hack, Christoph Mallon

Themen

Hier eine vorläufige Liste von Themen. Es sind sowohl grundlegende, formal anspruchsvolle, als auch angewandte Arbeiten dabei.

1. Cousot: Abstract Interpretation Based Formal Methods and Future Challenges (Fabian Ritter)
2. Köpf, Mauborgne, Ochoa: Automatic Quantification of Cache Side-Channels (Seu Kalil)
3. Bouissou et al.: Space Software Validation Using Abstract Interpretation (Patrick Speicher)
4. Cousot et al.: Varieties of Static Analyzers: A Comparison with ASTRÉE (Maximilian Schwenger)
5. Feautrier: Dataflow Analysis of Array and Scalar References (Yannick Forster)
6. Gulwani et al.: Synthesis of Loop-free Programs (Tim Böhm)
7. Ferdinand, Martin, Wilhelm: Compiler Techniques to Cache Behavior Prediction (Wiam Rachid)
8. Balakrishnan, Reps: WYSINWYX: What you see is not what you eXecute (Jonas Teshome)
9. Navas, Schachte, Søndergaard, Stuckey: Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code (Fabian Kunze)
10. Wegman, Zadeck: Constant Propagation with Conditional Branches (Franziska Müller)

Organisatorisches

Anmeldung an per Mail an Christoph Mallon per eMail.