Proof Repair across Type Equivalences (PLDI 2021)

Proof Repair across Type Equivalences (PLDI 2021)

[PLDI'23] Beyond Backtracking: Connections in Fine-Grained Concurrent Separation LogicПодробнее

[PLDI'23] Beyond Backtracking: Connections in Fine-Grained Concurrent Separation Logic

[PLDI'23] Proving and Disproving Equivalence of Functional Programming AssignmentsПодробнее

[PLDI'23] Proving and Disproving Equivalence of Functional Programming Assignments

[PLDI'23] Mostly Automated Proof Repair for Verified LibrariesПодробнее

[PLDI'23] Mostly Automated Proof Repair for Verified Libraries

SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed ... (ICFP 2020)Подробнее

SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed ... (ICFP 2020)

[PLDI24] [PLDI 2023] Program Reconditioning: Avoiding Undefined Behaviour When Finding and(…)Подробнее

[PLDI24] [PLDI 2023] Program Reconditioning: Avoiding Undefined Behaviour When Finding and(…)

[PLDI24] Equivalence by Canonicalization for Synthesis-Backed RefactoringПодробнее

[PLDI24] Equivalence by Canonicalization for Synthesis-Backed Refactoring

Talia's Ph.D. Thesis Defense: Proof RepairПодробнее

Talia's Ph.D. Thesis Defense: Proof Repair

Synthesizing Structured CAD Models with Equality Saturation and Inverse TransfoПодробнее

Synthesizing Structured CAD Models with Equality Saturation and Inverse Transfo