ParaDiSe Seminar
The ParaDiSe Seminar is a working forum for the presentation of ongoing and finished research in the areas related to the specification, modelling, analysis, and verification of software systems.
The meetings are held on Thursday at the Faculty of Informatics, Masaryk University, starting at 12:00.
Seminar Programme — Autumn 2017
The topic of this autumn semester is abstraction. This semester talks will be held in the room B411. Outline of the seminar is based on Abstract Interpretation: Past, Present and Future.
Resources
Schedule
-
September 18, 2017
Semester start (max 30 minutes)
-
September 25, 2017: slides
Gentle introduction to abstract interpretation
(Henrich Lauko) -
October 2, 2017: slides
Galois connections
Galois connections and abstract interpretation
(Viktória Vozárová) -
October 9, 2017: slides
Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation
(Efficiently intertwining widening and narrowing)
(Vladimír Štill) -
October 16, 2017: slides
Automatic Predicate Abstraction of C Programs
(Jan Mrázek) -
October 23, 2017: slides
Refinement and completion
(Samuel Pastva) -
October 30, 2017: slides
Complementation in Abstract Interpretation
A unifying view of abstract domain design
(Zuzana Baranová) -
November 6, 2017: slides
A Parametric Segmentation Functor for Fully Automatic and Scalable Array Content Analysis
(Honza Horáček) -
November 13, 2017: slides
Parallelism and modular analysis
(Adam Matoušek) -
November 20, 2017
Pointer analysis
(Marek Chalupa) -
November 27, 2017
Abstraction and model checking
Program Analysis as Model Checking of Abstract Interpretations
(Jaroslav Bendík) -
December 4, 2017
Abstractions in SAT and SMT solvers
(Martin Jonáš) -
December 18, 2017
Pre-X-mas Breakfast (ParaDiSe + Formela).