Derek Dreyer - ISMM 2021

Tue 22 Jun 2021 PLDI

co-located with PLDI 2021

Registered user since Sun 28 Sep 2014

Name:Derek Dreyer

Country:Germany

Affiliation:MPI-SWS

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

Contributions

2021

PLDI

Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic
RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types

PLMW

How to give talks that people can follow

Show activities from other conferences

PLDI 2021-profile
View general profile