• Sign in
  • Sign up
conf.researchr.org / Deepak D'Souza
  • 17th Innovations in Software Engineering Conference (ISEC 2024) profile
  • ASE 2023 profile
  • ATVA 2025 profile
  • ESEC/FSE 2021 profile
  • ESEC/FSE 2022 profile
  • PLDI 2021 profile
  • POPL 2025 profile
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
Share
xSun 25 May 01:56
using conf.researchr.org (v1.69.0)
Support page
Sign Up