Predicting All Data Race Pairs for a Specific Schedule (MPLR 2019 - Managed Programming Languages and Runtimes)

Who

Martin Sulzmann, Kai Stadtmüller

Track

The program is currently displayed in (GMT+03:00) Beirut.

Use conference time zone: (GMT+03:00) BeirutSelect other time zone

When

Mon 21 Oct 2019 16:00 - 16:30 at Room 1 - Program analysis

The program is currently displayed in (GMT+03:00) Beirut.

Use conference time zone: (GMT+03:00) BeirutSelect other time zone

Session Program

16:00 - 17:30: MPLR 2019 - Program analysis at Room 1

16:00 - 16:30
Talk

Predicting All Data Race Pairs for a Specific Schedule

Martin SulzmannKarlsruhe University of Applied Sciences, Germany, Kai StadtmüllerKarlsruhe University of Applied Sciences

16:30 - 17:00
Talk

Jacob KreindlJohannes Kepler University Linz, Daniele BonettaOracle Labs, Hanspeter MössenböckJKU Linz, Austria

17:00 - 17:30
Talk

Markus WeningerChristian Doppler Lab. MEVSS, Johannes Kepler University Linz, Elias GanderChristian Doppler Lab. MEVSS, Johannes Kepler University Linz, Hanspeter MössenböckJKU Linz, Austria

Predicting All Data Race Pairs for a Specific Schedule