Deepak D'Souza -

Registered user since Fri 20 Dec 2024

Name:Deepak D'Souza

Country:India

Affiliation:IISc Bangalore

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

Contributions

2025

ATVA

General Chair in General Chair

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

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