George Zakhour -

Registered user since Fri 7 Apr 2023

Name:George Zakhour

Country:Switzerland

Affiliation:University of St. Gallen

Contributions

2025

ECOOP

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

ESEC/FSE

Author of Consistent Local-First Software: Enforcing Safety and Invariants for Local-First Applications within the Journal First-track

PLDI

Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

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