Guido Salvaneschi
where else to find them
linkedin:guidosalvaneschi
what they talk about
all 6 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski3 editions2023–2026
- OOPSLA2 editions2020–2023
all 8 in the filters
on a stage with
all 16 in the filters
who talks about the same things
- Pascal Weisenburger11 talks
- George Zakhour8 talks
- Guido Martínez10 talks
- Philipp Haller11 talks
- Mira Mezini7 talks
- Benjamin Delaware18 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… | ||
| Infrastructure as Code Programs: How to Test, Finally | Voxxed Days Ticino 2024 | 2024-01-19 |
ProTI is an automated unit-testing tool for Pulumi TypeScript that mocks all cloud resources and replaces them with pluggable oracles and generators so… | ||
| 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… | ||
| Dataflow Engines for Executing Cloud Applications: a Maslow's Hammer? | REBLS 2022 | 2022-12-07 |
A compiler turns imperative Python into a dataflow graph and runs it on a streaming engine, removing all failure-handling code from application logic and… | ||
| Rethinking Safe Consistency in Distributed Object-Oriented Programming | OOPSLA 2020 | 2020-11-15 |
ConSysT is an extension to Java that models a replicated store with Ref references annotated by consistency (examples: @Ev for eventual) and supports… | ||
| Handling Bidirectional Control Flow | OOPSLA 2020 | 2020-11-15 |
Claims that algebraic effects can themselves raise effects and still be statically safe, implemented as a core calculus and type system that forbids unhandled… | ||
| nothing matches | ||