George Zakhour

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 3

Top Topics

Automated Verification

Top Venues

Proc. ACM Program. Lang.

Publications

George Zakhour, Pascal Weisenburger, Guido Salvaneschi
Automated Verification of Fundamental Algebraic Laws. Proc. ACM Program. Lang. 8 (PLDI) (2024)
George Zakhour, Pascal Weisenburger, Guido Salvaneschi
Type-Safe Dynamic Placement with First-Class Placed Values. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
George Zakhour, Pascal Weisenburger, Guido Salvaneschi
Type-Checking CRDT Convergence. Proc. ACM Program. Lang. 7 (PLDI) (2023)