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
Session Chair of Session 1 (part of PriSC 2019)
PLMW 2019Panelist of Panel: How to Do Good PL Research within the PLMW@POPL-track
Panelist in Panelists within the PLMW@POPL-track
WoSSCA 2018Committee Member in Program Committee within the WoSSCA 2018-track
ESOP 2019Author of Robustly Safe Compilation within the ESOP 2019-track
Committee 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