Stack Size Analysis for Interrupt-Driven Programs
No abstract available.
Related papers
- Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol POPL 2011
- Data Races and Static Analysis for Interrupt-Driven Kernels ESOP 2019
- Toward compositional verification of interruptible OS kernels and device drivers PLDI 2016
- Stack-Driven Program Generation of WebAssembly APLAS 2020
- Transactional concurrency control for intermittent, energy-harvesting computing systems PLDI 2019
- A posteriori environment analysis with Pushdown Delta CFA POPL 2017
- Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts ESOP 2007
- A Demand-Driven Set-Based Analysis POPL 1997