Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
POPL 2019 (series) / Deepak Garg
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

POPL 2019 Formal Verification of Higher-Order Probabilistic Programs
From Fine- to Coarse-Grained Dynamic Information Flow Control and Back
PLMW 2019 Panel: How to Do Good PL Research
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)
Show activities from other conferences

POPL 2019-profile
View general profile