Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 Virtual Conference
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

PLDI 2021 RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types
Show activities from other conferences

Using general profile