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