Chelsea Edmonds

According to our database, Chelsea Edmonds authored at least 27 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

Rely-Guarantee Is Coinductive - ESOP 2025 Software Artifact.

Chelsea Edmonds, Andrei Popescu, John Derrick, Jamie Wright

Dataset, January, 2026

Rely-Guarantee Is Coinductive - ESOP 2025 Software Artifact.

Chelsea Edmonds, Andrei Popescu, John Derrick, Jamie Wright

Dataset, January, 2026

Rely-Guarantee Is Coinductive - ESOP 2025 Software Artifact.

Chelsea Edmonds, Andrei Popescu, John Derrick, Jamie Wright

Dataset, January, 2026

Rely-Guarantee Is Coinductive - - A Proof-Centered Investigation of Inductively Approximated Coinduction -.

John Derrick, Chelsea Edmonds, Andrei Popescu, Jamie Wright

Proceedings of the Programming Languages and Systems, 2026

2025

Relative Security: (Dis)Proving Resilience Against Semantic Optimization Vulnerabilities in Isabelle/HOL.

John Derrick, Brijesh Dongol, Chelsea Edmonds, Matt Griffin, Andrei Popescu, Jamie Wright

J. Autom. Reason., December, 2025

CSP Artifact for Model Checking Buffered Durable Linearizability.

Chelsea Edmonds, Brijesh Dongol, John Derrick, Heike Wehrheim, Gerhard Schellhorn

Dataset, August, 2025

CSP Artifact for Model Checking Buffered Durable Linearizability.

Chelsea Edmonds, Brijesh Dongol, John Derrick, Heike Wehrheim, Gerhard Schellhorn

Dataset, June, 2025

CSP Artifact for Model Checking Buffered Durable Linearizability.

Chelsea Edmonds, Brijesh Dongol, John Derrick, Heike Wehrheim, Gerhard Schellhorn

Dataset, March, 2025

CSP Artifact for Model Checking Buffered Durable Linearizability.

Chelsea Edmonds, Brijesh Dongol, John Derrick, Heike Wehrheim, Gerhard Schellhorn

Dataset, February, 2025

CSP Artifact for Model Checking Buffered Durable Linearizability.

Chelsea Edmonds, Brijesh Dongol, John Derrick, Heike Wehrheim, Gerhard Schellhorn

Dataset, February, 2025

Model Checking Buffered Durable Linearizability in CSP.

Chelsea Edmonds, John Derrick, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim

Proceedings of the Integrated Formal Methods - 20th International Conference, 2025

2024

Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma.

Chelsea Edmonds, Lawrence C. Paulson

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

2023

Formalising Szemerédi's Regularity Lemma and Roth's Theorem on Arithmetic Progressions in Isabelle/HOL.

Chelsea Edmonds, Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson

J. Autom. Reason., 2023

Formal Probabilistic Methods for Combinatorial Structures in Isabelle/HOL.

Chelsea Edmonds, Lawrence C. Paulson

CoRR, 2023

Hypergraph Colouring Bounds.

Chelsea Edmonds, Lawrence C. Paulson

Arch. Formal Proofs, 2023

Hypergraphs.

Chelsea Edmonds

Arch. Formal Proofs, 2023

General Probabilistic Techniques for Combinatorics and the Lovasz Local Lemma.

Chelsea Edmonds

Arch. Formal Proofs, 2023

A Formalisation of the Balog-Szemerédi-Gowers Theorem in Isabelle/HOL.

Angeliki Koutsoukou-Argyraki, Mantas Baksys, Chelsea Edmonds

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2022

The Balog-Szemerédi-Gowers Theorem.

Angeliki Koutsoukou-Argyraki, Mantas Baksys, Chelsea Edmonds

Arch. Formal Proofs, 2022

Fisher's Inequality: Linear Algebraic Proof Techniques for Combinatorics.

Chelsea Edmonds, Lawrence C. Paulson

Arch. Formal Proofs, 2022

Undirected Graph Theory.

Chelsea Edmonds

Arch. Formal Proofs, 2022

Formalising Fisher's Inequality: Formal Linear Algebraic Proof Techniques in Combinatorics.

Chelsea Edmonds, Lawrence C. Paulson

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

2021

Combinatorial Design Theory.

Chelsea Edmonds, Lawrence C. Paulson

Arch. Formal Proofs, 2021

Roth's Theorem on Arithmetic Progressions.

Chelsea Edmonds, Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson

Arch. Formal Proofs, 2021

Szemerédi's Regularity Lemma.

Chelsea Edmonds, Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson

Arch. Formal Proofs, 2021

A Modular First Formalisation of Combinatorial Design Theory.

Chelsea Edmonds, Lawrence C. Paulson

Proceedings of the Intelligent Computer Mathematics - 14th International Conference, 2021

2020

Lucas's Theorem.

Chelsea Edmonds

Arch. Formal Proofs, 2020