Toggle navigation
Sign in
Sign up
conf.researchr.org
/
George Zakhour
conf.researchr.org general profile
ICFP 2024 profile
PLDI 2023 profile
PLDI 2024 profile
POPL 2025 profile
SPLASH 2023 profile
Registered user since Fri 7 Apr 2023
Name:
George Zakhour
Country:
Switzerland
Affiliation:
University of St. Gallen
Contributions
2025
POPL
Author of Dis/Equality Graphs within the POPL-track
2024
ICFP
Committee Member in Artifact Evaluation Committe within the Artifact Evaluation-track
PLDI
Author of Automated Verification of Fundamental Algebraic Laws within the PLDI Research Papers-track
Choreographic Programming
Author of Exploring Algebraic Placement in Multiparty Languages within the Choreographic Programming 2024-track
EGRAPHS
Author of Disequalities in E-Graphs: An Experiment within the EGRAPHS 2024-track
2023
PLF
Author of Mixed & Verified Consistency with Propel & ConOpY within the PLF-track
SPLASH
Author of Type-Safe Dynamic Placement with First-Class Placed Values within the OOPSLA-track
PLDI
Author of Type-Checking CRDT Convergence within the PLDI Research Papers-track
Share
x
Mon 30 Dec 18:13
