Type-Checking CRDT Convergence. - George Zakhour; Pascal Weisenburger; Guido Salvaneschi (Proc. ACM Program. Lang., 2023)

Type-Safe Dynamic Placement with First-Class Placed Values. - George Zakhour; Pascal Weisenburger; Guido Salvaneschi (Proc. ACM Program. Lang., 2023)

Automated Verification of Fundamental Algebraic Laws. - George Zakhour; Pascal Weisenburger; Guido Salvaneschi (Proc. ACM Program. Lang., 2024)

Dis/Equality Graphs. - George Zakhour; Pascal Weisenburger; Jahrim Gabriele Cesario; Guido Salvaneschi (Proc. ACM Program. Lang., 2025)

Consistent Local-First Software: Enforcing Safety and Invariants for Local-First Applications. - Mirko Köhler 001; George Zakhour; Pascal Weisenburger; Guido Salvaneschi (IEEE Trans. Software Eng., 2025)