!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> 68nqrt Seminar - IRISA/Inria Rennes
Logo IRISA logo Inria

Prochain Exposé

February 9, 3PM (Paris/France). Salle Markov.

Corto Mascle(Université de Bordeaux)

Avoiding deadlocks in lock-sharing systems

In this presentation we will study several problems on lock-sharing systems (LSS), in which processes are modelled by finite transition systems which interact by taking or releasing locks. We will see that model-checking and synthesis of such systems are difficult in general, as processes can use locks to synchronize an arbitrary number of times. By contrast, when restricting lock usage (for instance requiring that processes store their locks in a stack), those problems become more tractable, as we can abstract runs into small witnesses. Finally, we enrich the model to make it parametric and have arbitrary numbers of processes and locks.

Exposés des semaines suivantes

March 2, 3PM (Paris/France). Salle Markov (Online).

Sven Schewe (University of Liverpool)

TBA

TBA

March 16, 3PM (Paris/France). Salle Aurigny (Online).

Christoph Haase (University of Oxford)

TBA

TBA

April 13, 3PM (Paris/France). Salle Aurigny (Online).

Arnaud Sangnier (Université Paris Cité)

TBA

TBA

Vos propositions sont les bienvenues !

Séminaire autour des thèmes 68NQRT