Deepak Garg

Registered user since Sun 12 Jun 2016

Name: Deepak Garg

Country: Germany

Affiliation: Max Planck Institute for Software Systems

Personal website: http://www.mpi-sws.org/~dg

Contributions

PriSC 2019Committee Member in Organizing Committee within the PriSC 2019-track
PC co-chair in Program Committee within the PriSC 2019-track
WoSSCA 2018Committee Member in Program Committee within the WoSSCA 2018-track
ESOP 2019Committee Member in Program Committee within the ESOP 2019-track
POPL 2019Author of Formal verification of higher-order probabilistic programs within the Research Papers-track
Author of From Fine- to Coarse-Grained Dynamic Information Flow Control and Back within the Research Papers-track
PriSC 2018Committee Member in Program Committee within the PriSC 2018-track
Author of Robust Hyperproperty Preservation for Secure Compilation within the PriSC 2018-track
Organizer in Organizing Committee within the PriSC 2018-track
SCM 2017Committee Member in Organizing Committee within the SCM-track
ICFP 2017Author of A Relational Logic for Higher-Order Programs within the Research Papers-track
POPL 2018Author of Monadic refinements for relational cost analysis within the Research Papers-track
POPL 2017Author of Relational Cost Analysis within the POPL-track
SPLASH 2017Author of Robust and Compositional Verification of Object Capability Patterns within the OOPSLA-track
ICFP 2016Author of A Type Theory for Incremental Computational Complexity with Control Flow Changes within the Research Papers-track
ESOP 2015Author of Refinement Types for Incremental Computational Complexity within the ESOP-track