Personal information
Verified email addresses
hobbes@seas.upenn.edu
Verified email domains
upenn.edu
llvm, formal verification, coq, compilers, memory models, software testing
United States, Canada
Activities
Employment (1)
Research Fellow
(Computer and Information Science)
Employment
Source:
check_circle
University of Pennsylvania
via
ORCID Member Portal
Works (2)
Proceedings of the ACM on Programming Languages
2024-08-15
|
Journal article
Contributors:
Calvin Beck;
Irene Yoon;
Hanxi Chen;
Yannick Zakowski;
Steve Zdancewic
Source:
check_circle
Crossref
Proceedings of the ACM on Programming Languages
2021-08-22
|
Journal article
Contributors:
Yannick Zakowski;
Calvin Beck;
Irene Yoon;
Ilia Zaichuk;
Vadim Zaliva;
Steve Zdancewic
Source:
check_circle
Crossref