Schedule Date Topic Comments 12.09 First Meeting: Overview of Topics See sidebar! 19.09 Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs Background: Møller-Schwartzbach Lectures. 26.09 Continued... (except weak memory) Also generalizations to relational domains and relational interferences. 03.10 Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models See also their array-based approach. 10.10 A Unifying View on SMT-Based Software Verification To be continued... 17.10 Härmel's presentation 24.10 Liisi's presentation Modular Monad Transformers 31.10 SMT-Based Verification, part II: Enlightenment 07.11 SMT-based false positive elimination in static program analysis Lead by Shiting. 14.11 No Meeting NWPT 2019 21.11 Types for Information Flow Control: Labeling Granularity and Semantic Models Lead by Eric. 28.11 SMT-Based Verification, part III: More Details Adjustable-block encoding 05.12 Witnesses (correctness & error) Lead by Simmo. 12.12 Abstraction Refinement Lead by Mirjam.
