‹Programming› 2025
Mon 2 - Fri 6 June 2025
Prague, Czechia
Toggle navigation
Attending
Venue: Charles University - Faculty of Mathematics and Physics
Accommodation
Visa Information
Tracks
‹Programming› 2025
Research Papers
Workshops
Artifacts
Student Research Competition
Workshops
MoreVMs
PX/25
QP
SCLIT
Substrates
-25
VIMPL
Tutorials
Effekt
: Lexical Effect Handlers In Action
Organization
‹Programming› 2025 Committees
Organizing Committee
Steering Committee
Track Committees
Research Papers
Program Committee
External Reviewers
Workshops
Artifacts
Student Research Competition
Organizing Committee
Jury
Contributors
People Index
Workshops
MoreVMs
Organizing Committee
Program Committee
PX/25
Organizing Committee
Program Committee
QP
Organizing Committee
Program Committee
SCLIT
Organizing Committee
Program Committee
Substrates
Organizing Committee
Program Committee
VIMPL
Organizing Committee
Program Committee
Tutorials
Effekt
Organizing Committee
Program Committee
Search
Series
Series
‹Programming› 2025
‹Programming› 2024
‹Programming› 2023
‹Programming› 2022
‹Programming› 2021
‹Programming› 2020
‹Programming› 2019
‹Programming› 2018
‹Programming› 2017
Sign in
Sign up
‹Programming› 2025
(
series
) /
Pierre Chambart
‹Programming› 2025 profile
conf.research.org general profile
ICFP 2016 profile
ICFP 2017 profile
ICFP 2023 profile
ICFP 2024 profile
Registered user since Tue 12 Sep 2023
Name:
Pierre Chambart
Affiliation:
OCamlPRO
Contributions
2025
‹Programming›
Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly
Show activities from other conferences
Share
Using general profile
x
Wed 5 Feb 10:57