Data races and static analysis for interrupt-driven kernels

DOI10.1007/978-3-030-17184-1_25zbMath1524.68063MaRDI QIDQ6070804

Deepak D'Souza, Nikita Chopra, Rekha R. Pai

Publication date: 24 November 2023

Published in: Programming Languages and Systems (Search for Journal in Brave)

zbMATH Keywords

static analysisdata racesinterrupt-driven programs

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

This page was built for publication: Data races and static analysis for interrupt-driven kernels