Toggle navigation
Sign in
Sign up
conf.researchr.org
/
George Zakhour
conf.researchr.org general profile
PLDI 2023 profile
SPLASH 2023 profile
Registered user since Fri 7 Apr 2023
Name:
George Zakhour
Country:
Switzerland
Affiliation:
University of St.Gallen
Contributions
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
Sun 24 Sep 22:18