Personal information
Verified email domains
inria.fr
Activities
Employment (1)
Research
Employment
Source:
Yannick Zakowski
Works (9)
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
2024-08-15
|
Journal article
Contributors:
Sébastien Michelland;
Yannick Zakowski;
Laure Gonnord
Source:
check_circle
Crossref
Proceedings of the ACM on Programming Languages
2023-01-09
|
Journal article
Contributors:
Nicolas Chappe;
Paul He;
Ludovic Henrio;
Yannick Zakowski;
Steve Zdancewic
Source:
check_circle
Crossref
Proceedings of the ACM on Programming Languages
2022-08-29
|
Journal article
Contributors:
Irene Yoon;
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
Proceedings of the ACM on Programming Languages
2020-01
|
Journal article
Contributors:
Li-yao Xia;
Yannick Zakowski;
Paul He;
Chung-Kil Hur;
Gregory Malecha;
Benjamin C. Pierce;
Steve Zdancewic
Source:
Yannick Zakowski
Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs
2020-01-20
|
Conference paper
Contributors:
Yannick Zakowski;
Paul He;
Chung-Kil Hur;
Steve Zdancewic
Source:
Yannick Zakowski
Journal of Automated Reasoning
2019-08
|
Journal article
Contributors:
Yannick Zakowski;
David Cachera;
Delphine Demange;
Gustavo Petri;
David Pichardie;
Suresh Jagannathan;
Jan Vitek
Source:
check_circle
Crossref
Proceedings of the 33rd Annual ACM Symposium on Applied Computing
2018-04-09
|
Conference paper
Contributors:
Yannick Zakowski;
David Cachera;
Delphine Demange;
David Pichardie
Source:
Yannick Zakowski