Deepak Garg - ISMM 2022

Tue 14 Jun 2022 San Diego, California, United States

co-located with PLDI 2022

Registered user since Sun 12 Jun 2016

Name:Deepak Garg

Country:Germany

Affiliation:MPI-SWS

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

Contributions

2022

PLDI

Islaris: Verification of Machine Code Against Authoritative ISA Semantics
(PLDI 2021) RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types

PLMW

Organizing Committee in Organizing Committee within the PLMW-track

Show activities from other conferences

PLDI 2022-profile
View general profile