Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Deepak D'Souza
conf.researchr.org general profile
ETAPS 2019 profile
POPL 2016 profile
POPL 2017 profile
POPL 2023 profile
SPLASH 2018 profile
Not registered as user yet
Name:
Deepak D'Souza
Contributions
2023
VMCAI
Committee Member in Program Committee within the VMCAI 2023-track
2019
ESOP
Author of Data-Races and Static Analysis for Interrupt-Driven Kernels within the ESOP 2019-track
2018
SPLASH
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
2017
VMCAI
Committee Member in Program committee
Author of Detecting All High-Level Dataraces in an RTOS Kernel. within the VMCAI-track
Share
x
Thu 10 Oct 00:04