Yannick Zakowski - ISMM 2020

Write a Blog >>

Tue 16 Jun 2020

co-located with PLDI 2020

Registered user since Wed 27 Nov 2019

Name:Yannick Zakowski

Affiliation:University of Pennsylvania

Personal website: https://www.seas.upenn.edu/~zakowski/

Contributions

2020

DeepSpec

Representing recursive and impure programs in Coq: from a toy assembly language to a modular formal semantics for LLVM IR

Show activities from other conferences

PLDI 2020-profile
View general profile