Write a Blog >>
VMCAI 2017
Sun 15 - Tue 17 January 2017
co-located with POPL 2017
Tue 17 Jan 2017 16:30 - 17:00 at Amphitheater 44 - Concurrency 2 Chair(s): David Monniaux

A high-level datarace occurs when an execution interleaves instructions corresponding to user-annotated critical accesses to shared memory structures. Such races are good indicators of atomicity violations. We propose a technique for detecting all high-level dataraces in a system library like the kernel API of a real-time operating system (RTOS) that relies on flag-based scheduling and synchronization. Our methodology is based on model-checking, but relies on a meta-argument to bound the number of task processes needed to orchestrate a race. We describe our approach in the context of FreeRTOS, a popular RTOS in the embedded domain.

Tue 17 Jan

VMCAI-2017-papers
16:00 - 17:30: VMCAI - Concurrency 2 at Amphitheater 44
Chair(s): David MonniauxCNRS, VERIMAG
VMCAI-2017-papers16:00 - 16:30
Talk
Pietro FerraraIBM Research, Omer TrippIBM Thomas J. Watson Research Center, Peng LiuPurdue University, Eric KoskinenYale University
VMCAI-2017-papers16:30 - 17:00
Talk
Suvam MukherjeeIndian Institute of Science, Arunkumar SIndian Institute of Science, Deepak D'Souza
VMCAI-2017-papers17:00 - 17:30
Talk
Raphaël MonatEcole Normale Supérieure de Lyon, Antoine MinéUPMC, France