Deepak D'Souza -

Not registered as user yet

Name:Deepak D'Souza

Contributions

VMCAI 2023	Committee Member in Program Committee within the VMCAI 2023-track
ESOP 2019	Author of Data-Races and Static Analysis for Interrupt-Driven Kernels within the ESOP 2019-track
SPLASH 2018	Author of Horn-ICE Learning for Synthesizing Invariants and Contracts within the OOPSLA-track Author of Horn-ICE Learning for Synthesizing Invariants and Contracts within the Artifacts-track
VMCAI 2017	Committee Member in Program committee Author of Detecting All High-Level Dataraces in an RTOS Kernel. within the VMCAI-track