Collaborated with:
N.Chopra D.D'Souza
Talks about:
interrupt (1) analysi (1) static (1) kernel (1) driven (1) race (1) data (1)
Person: Rekha Pai
DBLP: Pai:Rekha
Contributed to:
Wrote 1 papers:
- ESOP-2019-ChopraPD #kernel #static analysis
- Data Races and Static Analysis for Interrupt-Driven Kernels (NC, RP, DD), pp. 697–723.