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
SPLASH 2018 profile
Not registered as user yet
Name:
Deepak D'Souza
Contributions
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
Share
x
Sat 23 Oct 22:34