POPL 2023
Sun 15 - Sat 21 January 2023 Boston, Massachusetts, United States
  • Attending
    • Venue: Boston Park Plaza
    • Supporting POPL
    • Registration
    • Information for Students
    • Information for Presenters
    • Information for Virtual Attendees
    • Nearby Events
  • Program
    • POPL Program
    • Your Program
    • Filter by Day
      • Sun 15 Jan
      • Mon 16 Jan
      • Tue 17 Jan
      • Wed 18 Jan
      • Thu 19 Jan
      • Fri 20 Jan
      • Sat 21 Jan
  • Tracks
      • POPL 2023
      • POPL
      • Session Previews
      • Artifact Evaluation
      • Diversity, Equity and Inclusion
      • Student Research Competition
      • Student Volunteers
      • TutorialFest
      • Workshops and Co-located Events
      • Co-hosted Conferences
      • CPP
      • VMCAI
      • Workshops
      • CoqPL
      • LAFI
        • LAFI
        • - Introduction to the tensor-programs framework, a PL approach that helps analyse theoretical properties of deep learning.
      • PEPM
      • PLMW @ POPL
      • PriSC
      • ProLaLa
      • Co-hosted Symposia
      • PADL
  • Organization
      • POPL 2023 Committees
      • Organizing Committee
      • Track Committees
      • POPL
      • Artifact Evaluation
      • Student Research Competition
      • TutorialFest
      • Contributors
      • People Index
      • Co-hosted Conferences
      • CPP
        • Organizing Committee
        • Program Committee
        • Steering Committee
      • VMCAI
        • Organizing Committee
        • Program Committee
        • Artifact Evaluation Committee
      • Workshops
      • CoqPL
        • Program Committee
      • LAFI
        • Organizing Committee
        • Program Committee
        • Steering Committee
      • PEPM
        • Organizing Committee
        • Program Committee
        • Steering Committee
      • PLMW @ POPL
        • Organizing Committee
        • Speakers
        • Panelists
      • PriSC
        • Program Committee
        • Steering Committee
      • ProLaLa
        • Program Committee
      • Co-hosted Symposia
      • PADL
        • Programme Chairs
        • Program Committee
  • Search
  • Series
    • Series
    • POPL 2026
    • POPL 2025
    • POPL 2024
    • POPL 2023
    • POPL 2022
    • POPL 2021
    • POPL 2020
    • POPL 2019
    • POPL 2018
    • POPL 2017
    • POPL 2016
  • Sign in
  • Sign up
POPL 2023 (series) / Jonathan Protzenko
  • conf.research.org general profile
  • CC 2021 profile
  • CC 2025 profile
  • ECOOP 2015 profile
  • ETAPS 2019 profile
  • ICFP 2016 profile
  • ICFP 2017 profile
  • ICFP 2018 profile
  • ICFP 2019 profile
  • ICFP 2020 profile
  • ICFP 2021 profile
  • ICFP 2022 profile
  • ICFP 2023 profile
  • ICFP 2024 profile
  • PLDI 2015 profile
  • PLDI 2018 profile
  • PLDI 2020 profile
  • POPL 2017 profile
  • POPL 2018 profile
  • POPL 2019 profile
  • POPL 2020 profile
  • POPL 2021 profile
  • POPL 2022 profile
  • POPL 2024 profile
  • POPL 2025 profile
  • SPLASH 2015 profile
  • SPLASH 2016 profile
  • SPLASH 2024 profile
Jonathan Protzenko

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

PriSC

  • Committee Member in Steering Committee within the PriSC 2023-track

ProLaLa

  • Co-chair in Program Committee within the ProLaLa 2023-track
  • Session Chair of Session #2 (part of ProLaLa 2023)
  • Session Chair of Session #3 (part of ProLaLa 2023)
  • Opening comments
  • Session Chair of Session #4 (part of ProLaLa 2023)
  • Formalising Criminal Law in Catala
  • Session Chair of Session #1 (part of ProLaLa 2023)

Show activities from other conferences

Share
POPL 2023-profile
View general profile
xThu 8 May 19:33

POPL 2023

contact form

using conf.researchr.org (v1.69.0)
Support page

Tracks

POPL
Session Previews
Artifact Evaluation
Diversity, Equity and Inclusion
Student Research Competition
Student Volunteers
TutorialFest
Workshops and Co-located Events

Co-hosted Conferences

CPP 2023
VMCAI 2023

Workshops

CoqPL 2023
LAFI 2023
PEPM 2023
PLMW @ POPL 2023
PriSC 2023
ProLaLa 2023

Co-hosted Symposia

PADL 2023

Attending

Venue: Boston Park Plaza
Supporting POPL
Registration
Information for Students
Information for Presenters
Information for Virtual Attendees
Nearby Events
Sign Up