Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Deepak Garg
conf.researchr.org general profile
ECOOP 2022 profile
ECOOP and ISSTA 2018 profile
ESOP 2015 profile
ETAPS 2019 profile
ICFP 2016 profile
ICFP 2017 profile
ICFP 2019 profile
ICFP 2021 profile
ICFP/SPLASH 2025 profile
PLDI 2019 profile
PLDI 2021 profile
PLDI 2022 profile
PLDI 2024 profile
POPL 2017 profile
POPL 2018 profile
POPL 2019 profile
POPL 2020 profile
POPL 2021 profile
POPL 2022 profile
POPL 2023 profile
POPL 2025 profile
SPLASH 2017 profile
SPLASH 2022 profile
SPLASH 2023 profile
SPLASH 2024 profile
Registered user since Sun 12 Jun 2016
Name:
Deepak Garg
Country:
Germany
Affiliation:
MPI-SWS
Personal website:
http://www.mpi-sws.org/~dg
Contributions
2025
PriSC
Author of Non-Interference Preserving and Optimising Compilation with Hyperproperty Simulations within the PriSC 2025-track
Author of A Semantic Approach to Robust Property Preservation within the PriSC 2025-track
ICFP
Committee Member in ICFP Programme Committee within the ICFP Papers-track
2024
SPLASH
Author of A modal type-theory of expected cost in higher-order probabilistic programs within the OOPSLA 2024-track
PLDI
Author of Program Analysis for Adaptive Data Analysis within the PLDI Research Papers-track
2023
SPLASH
Author of Compositional Security Definitions for Higher-Order Where Declassification within the OOPSLA-track
POPL
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
Committee Member in Steering Committee within the PriSC 2023-track
2022
SPLASH
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
Committee Member in Program Committee within the Research Papers-track
PLDI
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
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
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
2021
ICFP
Author of Higher-Order Probabilistic Adversarial Computations: Categorical Semantics and Program Logics within the Research Papers-track
PLDI
Author of RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types within the PLDI-track
POPL
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
Committee Member in Steering Committee within the PriSC 2021-track
2020
POPL
Author of The High-Level Benefits of Low-Level Sandboxing within the Research Papers-track
PriSC
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
2019
ICFP
Author of Relational Cost Analysis for Functional-Imperative Programs within the Research Papers-track
PLDI
Author of Bidirectional Type Checking for Relational Properties within the PLDI Research Papers-track
ESOP
Author of Robustly Safe Compilation within the ESOP 2019-track
Committee Member in Program Committee within the ESOP 2019-track
POPL
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
Panelist of Panel: How to Do Good PL Research within the PLMW@POPL-track
Panelist in Panelists within the PLMW@POPL-track
PriSC
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)
2018
WoSSCA
Committee Member in Program Committee within the WoSSCA 2018-track
POPL
Author of Monadic refinements for relational cost analysis within the Research Papers-track
PriSC
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
2017
SPLASH
Author of Robust and Compositional Verification of Object Capability Patterns within the OOPSLA-track
ICFP
Author of A Relational Logic for Higher-Order Programs within the Research Papers-track
POPL
Author of Relational Cost Analysis within the POPL-track
SCM
Committee Member in Organizing Committee within the SCM-track
2016
ICFP
Author of A Type Theory for Incremental Computational Complexity with Control Flow Changes within the Research Papers-track
2015
ESOP
Author of Refinement Types for Incremental Computational Complexity within the ESOP-track
Share
x
Sat 21 Dec 17:15
