Login
Talks & Seminars
Title: Verifying Linearizability
Prof.Ahmed Bouajjani, University of Paris Diderot
Date & Time: February 17, 2017 14:00
Venue: Conference Room, C Block, 01st Floor, Dept. of CSE, Kanwal Rekhi (KReSIT) Bldg.
Abstract:
We address the issue of verifying the correctness of libraries of concurrent data structures. We consider the problem of checking whether a given implementation is linearizable w.r.t. a sequential abstract specification of the data structure. We overview complexity and decidability results concerning this problem in general, and show cases where efficient reductions of this problem to state reachability problems are possible. The talk is based on joint work with Michael Emmi, Constantin Enea, and Jad Hamza (published in ESOP'13, POPL'15, and ICALP'15)
Speaker Profile:
Details about Prof.Ahmed Boujjani are available at : https://www.irif.fr/~abou/
List of Talks

Webmail

Username:
Password:
Faculty CSE IT
Forgot Password
    [+] Sitemap     Feedback