Complexity of Consistency Testing for the Release-Acquire Semantics (FM 2026 - Research Track)

Mon 18 - Fri 22 May 2026 Tokyo, Japan

Who

R Govind, Shankaranarayanan Krishna, Sanchari Sil, B Srivathsan

Track

FM 2026 Research Track

Time Zone

The program is currently displayed in (GMT+09:00) Osaka, Sapporo, Tokyo.

Use conference time zone: (GMT+09:00) Osaka, Sapporo, TokyoSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Thu 21 May 2026 11:05 - 11:30 at 2F Conference Room - Session 3: Concurrency & Memory Models Chair(s): Brijesh Dongol

R Govind

The Institute of Mathematical Sciences

India

Shankaranarayanan Krishna

IIT Bombay

India

Sanchari Sil

Chennai Mathematical Institute

India

B Srivathsan

Chennai Mathematical Institute

India

Time Zone

The program is currently displayed in (GMT+09:00) Osaka, Sapporo, Tokyo.

Use conference time zone: (GMT+09:00) Osaka, Sapporo, TokyoSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Thu 21 May
Displayed time zone: Osaka, Sapporo, Tokyo change

10:40 - 12:30	Session 3: Concurrency & Memory ModelsResearch Track at 2F Conference Room Chair(s): Brijesh Dongol University of Surrey

10:40 25m Talk		Automatic Memory Management for Dataflows Research Track Michael Lienhardt
11:05 25m Talk		Complexity of Consistency Testing for the Release-Acquire Semantics Research Track R Govind The Institute of Mathematical Sciences, Shankaranarayanan Krishna IIT Bombay, Sanchari Sil Chennai Mathematical Institute, B Srivathsan Chennai Mathematical Institute
11:30 25m Talk		Towards Proving Liveness on Weak Memory Research Track Lara Bargmann University of Oldenburg, Heike Wehrheim Carl von Ossietzky Universität Oldenburg / University of Oldenburg
11:55 25m Talk		Generating Rely-Guarantee Conditions with the Conditional-Writes Domain Research Track James Tobler The University of Queensland, Graeme Smith The University of Queensland