Deepak Garg -

Registered user since Sun 12 Jun 2016

Name:Deepak Garg

Country:Germany

Affiliation:MPI-SWS

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

Contributions

SPLASH 2023	Author of Compositional Security Definitions for Higher-Order Where Declassification within the OOPSLA-track
POPL 2023	Associate Chair in Program Committee within the POPL-track Author of DimSum: A Decentralized Approach to Multi-language Semantics and Verification within the POPL-track
PriSC 2023	Committee Member in Steering Committee within the PriSC 2023-track
SPLASH 2022	Committee Member in Review Committee within the OOPSLA-track Author of BFF: Foundational and Automated Verification of Bitfield-Manipulating Programs within the OOPSLA-track
ECOOP 2022	Committee Member in Program Committee within the Research Papers-track
PLDI 2022	Author of Islaris: Verification of Machine Code Against Authoritative ISA Semantics within the PLDI-track Author of (PLDI 2021) RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types within the SIGPLAN Track-track
PLMW	Organizing Committee in Organizing Committee within the PLMW-track
POPL 2022	Author of Pirouette: Higher-Order Typed Functional Choreographies within the POPL-track Author of Isolation without Taxation: Near-Zero-Cost Transitions for WebAssembly and SFI within the POPL-track
PriSC 2022	Author of SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation within the PriSC 2022-track Committee Member in Steering Committee within the PriSC 2022-track
ICFP 2021	Author of Higher-Order Probabilistic Adversarial Computations: Categorical Semantics and Program Logics within the Research Papers-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
PriSC 2021	Committee Member in Steering Committee within the PriSC 2021-track
POPL 2020	Author of The High-Level Benefits of Low-Level Sandboxing 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
ICFP 2019	Author of Relational Cost Analysis for Functional-Imperative Programs within the Research Papers-track
PLDI 2019	Author of Bidirectional Type Checking for Relational Properties within the PLDI Research Papers-track
ESOP 2019	Author of Robustly Safe Compilation within the ESOP 2019-track Committee Member in Program Committee within the ESOP 2019-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
PLMW 2019	Panelist of Panel: How to Do Good PL Research within the PLMW@POPL-track Panelist in Panelists within the PLMW@POPL-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)
WoSSCA 2018	Committee Member in Program Committee within the WoSSCA 2018-track
POPL 2018	Author of Monadic refinements for relational cost analysis 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
SPLASH 2017	Author of Robust and Compositional Verification of Object Capability Patterns within the OOPSLA-track
ICFP 2017	Author of A Relational Logic for Higher-Order Programs within the Research Papers-track
POPL 2017	Author of Relational Cost Analysis within the POPL-track
SCM 2017	Committee Member in Organizing Committee within the SCM-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