POPL 2024
Wed 17 - Fri 19 January 2024
London, United Kingdom
Toggle navigation
Attending
Venue: Institution of Engineering and Technology
Supporting POPL
Registration
Conference Hotel: Strand Palace Hotel
Information for Virtual Attendees
Requesting a Visa
Tracks
POPL 2024
Artifact Evaluation
Diversity, Equity and Inclusion
POPL
Student Research Competition
Student Volunteers
TutorialFest
Workshops and Co-located Events
Co-hosted Conferences
CPP
VMCAI
Workshops
CoqPL
CoqPL
- Melocoton: A Program Logic for Verified Interoperability Between OCaml and C (Invited Talk)
Dafny
GALOP
Incorrectness
LAFI
N40AI
O'Hearn Fest
PEPM
PLMW @ POPL
PLanQC
POCL
PROPL
PriSC
The Future of Weak Memory
WAW
WITS
Co-hosted Symposia
PADL
Organization
POPL 2024 Committees
Organizing Committee
Track Committees
Artifact Evaluation
Diversity, Equity and Inclusion
POPL
Student Research Competition
Contributors
People Index
Co-hosted Conferences
CPP
Organizing Committee
Program Committee
Steering Committee
VMCAI
Program Committee
Artifact Evaluation Committee
Workshops
CoqPL
Program Committee
Dafny
Program Chairs
Program Committee
Steering Committee
GALOP
Invited Speakers
Organising Committee
Program Committee
Incorrectness
Organizing Committee
Program Committee
LAFI
Organizing Committee
Program Committee
Steering Committee
N40AI
Organizing Committee
O'Hearn Fest
Program Committee
PEPM
Organizing Committee
Program Committee
Steering Committee
PLMW @ POPL
Organizing Committee
Speakers
Panelists
PLanQC
Organizing Committee
Program Committee
POCL
Organizing Committee
Program Committee
PROPL
Chairs
Programme Committee
PriSC
Program Committee
Steering Committee
The Future of Weak Memory
Organizing Committee
Program Committee
WAW
Organizing Committee
WITS
Program Committee
Co-hosted Symposia
PADL
Programme Chairs
Program Committee
Search
Series
Series
POPL 2024
POPL 2023
POPL 2022
POPL 2021
POPL 2020
POPL 2019
POPL 2018
POPL 2017
POPL 2016
Sign in
Sign up
POPL 2024
(
series
) /
Nicolas Wu
POPL 2024 profile
conf.research.org general profile
APLAS 2020 profile
ECOOP 2022 profile
FLOPS 2022 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
POPL 2022 profile
POPL 2023 profile
SPLASH 2015 profile
SPLASH 2021 profile
SPLASH 2023 profile
SPLASH 2024 profile
‹Programming› 2017 profile
Registered user since Thu 3 Sep 2015
Name:
Nicolas Wu
Country:
United Kingdom
Affiliation:
Imperial College London
Personal website:
http://zenzike.com
Contributions
2024
PLMW
Speaker in Speakers within the PLMW @ POPL 2024-track
POPL
Algebraic Effects Meet Hoare Logic in Cubical Agda
Show activities from other conferences
Share
Using general profile
x
Sat 2 Dec 23:32