Jonathan Protzenko - ICFP 2023

Mon 4 - Sat 9 September 2023 Seattle, Washington, United States

Registered user since Tue 2 Jun 2015

Name:Jonathan Protzenko

Country:United States

Affiliation:Microsoft Research, Redmond

Personal website: https://jonathan.protzenko.fr

Research interests:Type systems, programming languages, software verification

Contributions

2023

ICFP

Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification
Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification

OCaml

Committee Member in Program Committee within the OCaml 2023-track

TyDe

Committee Member in Program Committee within the TyDe 2023-track

Show activities from other conferences

ICFP 2023-profile
View general profile