
Registered user since Wed 27 Nov 2019
Name:Yannick Zakowski
Affiliation:University of Pennsylvania
Personal website:https://www.seas.upenn.edu/~zakowski/
Contributions
REMS-DeepSpec 2020 | 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
View general profile