Deepak Garg - POPL 2019

Sun 13 - Sat 19 January 2019 Cascais, Portugal

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 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
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
Show activities from other conferences

POPL 2019-profile
View general profile