• Sign in
  • Sign up
conf.researchr.org / George Zakhour
  • PLDI 2023 profile
  • SPLASH 2023 profile
George Zakhour

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
xSun 24 Sep 22:18
using conf.researchr.org (v1.61.2)
Support page
Sign Up