George Zakhour
where else to find them
no profile links on file
what they talk about
where they keep going back
- PLDI Workshop Honoring Andreas Podelski3 editions2023–2026
all 6 in the filters
on a stage with
all 4 in the filters
who talks about the same things
- Pascal Weisenburger11 talks
- Guido Salvaneschi17 talks
- Jahrim Gabriele Cesario2 talks
- Michel Steuwer17 talks
- Zachary Tatlock11 talks
- Thomas Kœhler4 talks
| title | conference | date |
|---|---|---|
| Versioned E-Graphs | PLDI 2026 | 2026-06-15 |
Introduces versioned e-graphs that store multiple conditional equivalence sets in one structure, implements a versioned union-find with propagation and version… | ||
| Dis/Equality Graphs | POPL 2025 | 2025-01-19 |
The paper develops an abstract, extensible framework that proves e-graphs encode the smallest reflexive, symmetric, transitive, congruent closure and adds… | ||
| Disequalities in E-Graphs: An Experiment | EGRAPHS 2024 | 2024-06-24 |
Implements disequalities inside egg as a lightweight extension called dis that adds a forbid field to e-classes and a disunion operation to record class-level… | ||
| Exploring Algebraic Placement in Multiparty Languages | CP 2024 | 2024-06-24 |
Claims that placement systems mirror type-system structure and that a type-checker can be repurposed into a placement checker, demonstrated by a Scala… | ||
| Automated Verification of Fundamental Algebraic Laws | PLDI 2024 | 2024-06-24 |
A verifier called Propel automatically conjectures and proves auxiliary lemmas (distributivity, generalizations) for a purely functional Scala subset, uses… | ||
| Type-Safe Dynamic Placement with First-Class Placed Values | OOPSLA 2023 | 2023-10-23 |
A new DSL called Dyno implements placement types with union placement and first-class remote refs, letting the compiler statically track values that may live… | ||
| Mixed & Verified Consistency with Propel and ConOpY | PLF 2023 | 2023-10-22 |
ConOpY is an object-oriented language that annotates replicated objects and methods with consistency levels and enforces them in the type system so programs… | ||
| Type-Checking CRDT Convergence | PLDI 2023 | 2023-06-17 |
Propel is a Scala-embedded language and type system that encodes CRDT merge laws as types and automatically proves them by case analysis, induction, and… | ||
| nothing matches | ||