Deepak D'Souza -

Registered user since Fri 20 Dec 2024

Name:Deepak D'Souza

Country:India

Affiliation:Indian Institute of Science

Personal website: http://www.csa.iisc.ac.in/~deepakd

Contributions

2026

FM

Committee Member in Tutorial Track Committee within the Tutorials-track

2025

ATVA

SERI

Author of Symbolic fixpoint algorithms for logical LTL games within the SERI 2025-track

VMCAI

PC Member in Program Committee within the VMCAI 2025-track

2024

ISEC

Committee Member in Program Committee within the Doctoral Symposium-track

2023

ASE

Author of Symbolic Fixpoint Algorithms for Logical LTL Games within the Research Papers-track

VMCAI

Committee Member in Program Committee within the VMCAI 2023-track

2022

ESEC/FSE

Author of Static Executes-Before Analysis for Event Driven Programs within the Research Papers-track

2021

ESEC/FSE

Author of GenSys: A Scalable Fixed-Point Engine for Maximal Controller Synthesis over Infinite State Spaces within the Demonstrations-track

PLDI

Author of Specification Synthesis with Constrained Horn Clauses within the PLDI-track

2019

ESOP

Author of Data-Races and Static Analysis for Interrupt-Driven Kernels within the ESOP 2019-track

2018

SPLASH

2017

VMCAI