Separation is all you need: Foundations for Modular Verification

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (31)

Page 3 of 4

Subtyping and Polymorphism

Explores subtyping rules, challenges, and its connection to various forms of polymorphism in programming languages.

Transaction Management & Concurrency Control

Explores transaction management, concurrency control, ACID properties, anomalies, and conflict serializability in database systems.

Concurrency Control & Recovery in Databases

Delves into transaction management, concurrency control, and recovery in databases to ensure data integrity and system resilience.

Compiler Extension Lab

Covers the Compiler Extension Lab, focusing on adding new functionality to a simple functional language compiler.

Meta-metaprogramming: Advanced Tools for Software Engineering

Explores 'meta-metaprogramming' for simplifying advanced programming tools and addressing software engineering challenges.

Block Pulled by a Spring

Explores the dynamics of a block pulled by a spring under various conditions.

Scalable Synchronization Mechanisms for Manycore Operating Systems

Explores scalable synchronization mechanisms for many-core operating systems, focusing on the challenges of handling data growth and regressions in OS.

Formal Verification and Program Synthesis

By the instructor Viktor Kuncak explores formal verification, program synthesis, and teaching activities at EPFL.

Termination Analysis using Dependency Pairs

Explores automated termination analysis using dependency pairs, covering classical and modern techniques, annual competitions, and tools like AProVE.

Pointers: Strings, Functions, Casting

Covers pointers to strings, functions, and casting in C programming.