Collaborated with:
R.Pai D.D'Souza
Talks about:
interrupt (1) analysi (1) static (1) kernel (1) driven (1) race (1) data (1)
Person: Nikita Chopra
DBLP: Chopra:Nikita
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.