Detecting All High-Level Dataraces in an RTOS Kernel
Abstract elided by the publisher.
Related papers
- Dataflow analysis for concurrent programs using datarace detection PLDI 2008
- Scalable and precise dynamic datarace detection for structured parallelism PLDI 2012
- Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs PLDI 2002
- Code Generation from Formal Models for Automatic RTOS Portability CGO 2019
- Optimizing remote accesses for offloaded kernels: application to high-level synthesis for FPGA PPoPP 2012
- Scaling model checking of dataraces using dynamic information PPoPP 2005
- Rely-Guarantee Reasoning About Concurrent Memory Management in Zephyr RTOS CAV 2019
- Mechanized verification of preemptive OS kernels (invited talk) CPP 2017