From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis
Abstract elided by the publisher.
Related papers
- Preemptive Job-Shop Scheduling Using Stopwatch Automata TACAS 2002
- EffiSha: A Software Framework for Enabling Effficient Preemptive Scheduling of GPU PPoPP 2017
- Responsive parallel computation: bridging competitive and cooperative threading PLDI 2017
- Modular verification of preemptive OS kernels ICFP 2011
- Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation POPL 2020
- Modular verification of preemptive OS kernels JFP 2013
- Certifying low-level programs with hardware interrupts and preemptive threads PLDI 2008
- Mechanized verification of preemptive OS kernels (invited talk) CPP 2017