Speaker: Durwasa Chakraborty
Topic: Linearizability: a correctness condition for concurrent objects
Description: In this talk the presenter would be presenting the idea of Linearizability. Linearizability is introduced as a correctness condition that allows us to reason about these concurrent operations as if they occurred instantaneously at some point between invocation and response. This creates the illusion of a sequential execution, enabling programmers to apply familiar reasoning techniques such as pre- and post-conditions. The talk then discusses how linearizability is defined, how it compares to other correctness conditions, and how it can be used to prove the correctness of concurrent implementations.
Time 6 pm to 7 pm (IST)
Presenter: Durwasa Chakraborty
About the Presenter: https://durwasa-chakraborty.github.io/