Deepak Garg

Registered user since Sun 12 Jun 2016

Name:Deepak Garg
Country:Germany
Affiliation:MPI-SWS

Contributions

ECOOP 2022 Committee Member in Program Committee within the Research Papers-track
PriSC 2022 Committee Member in Steering Committee within the PriSC 2022-track
PriSC 2021 Committee Member in Steering Committee within the PriSC 2021-track
PLDI 2021 Author of RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types within the PLDI-track
POPL 2021 Author of A Unifying Type-Theory for Higher-Order (Amortized) Cost Analysis within the POPL-track
Committee Member in Program Committee within the POPL-track
SPLASH 2022 Committee Member in Review Committee within the OOPSLA-track
ICFP 2021 Author of Higher-Order Probabilistic Adversarial Computations: Categorical Semantics and Program Logics within the Research Papers-track
PriSC 2020 Author of Trace-Relating Compiler Correctness and Secure Compilation within the Principles of Secure Compilation 2020-track
Committee Member in Steering Committee within the Principles of Secure Compilation 2020-track
POPL 2020 Author of The High-Level Benefits of Low-Level Sandboxing within the Research Papers-track
PriSC 2019 Committee 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 2019 Panelist of Panel: How to Do Good PL Research within the PLMW@POPL-track
Panelist in Panelists within the PLMW@POPL-track
WoSSCA 2018 Committee Member in Program Committee within the WoSSCA 2018-track
ESOP 2019 Author of Robustly Safe Compilation within the ESOP 2019-track
Committee Member in Program Committee within the ESOP 2019-track
PLDI 2019 Author of Bidirectional Type Checking for Relational Properties within the PLDI Research Papers-track
POPL 2019 Author 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
ICFP 2019 Author of Relational Cost Analysis for Functional-Imperative Programs within the Research Papers-track
PriSC 2018 Committee 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 2017 Committee Member in Organizing Committee within the SCM-track
ICFP 2017 Author of A Relational Logic for Higher-Order Programs within the Research Papers-track
POPL 2018 Author of Monadic refinements for relational cost analysis within the Research Papers-track
POPL 2017 Author of Relational Cost Analysis within the POPL-track
SPLASH 2017 Author of Robust and Compositional Verification of Object Capability Patterns within the OOPSLA-track
ICFP 2016 Author of A Type Theory for Incremental Computational Complexity with Control Flow Changes within the Research Papers-track
ESOP 2015 Author of Refinement Types for Incremental Computational Complexity within the ESOP-track