Jamie Wright

According to our database, Jamie Wright authored at least 8 papers between 2023 and 2026.

Collaborative distances:

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

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

2024

A formalized programming language with speculative execution.

Jamie Wright, Andrei Popescu

Arch. Formal Proofs, 2024

Relative Security.

Andrei Popescu, Jamie Wright

Arch. Formal Proofs, 2024

More Operations on Lazy Lists.

Andrei Popescu, Jamie Wright

Arch. Formal Proofs, 2024

Secret-Directed Unwinding.

Brijesh Dongol, Matthew Griffin, Andrei Popescu, Jamie Wright

Arch. Formal Proofs, 2024

Relative Security: Formally Modeling and (Dis)Proving Resilience Against Semantic Optimization Vulnerabilities.

Brijesh Dongol, Matt Griffin, Andrei Popescu, Jamie Wright

Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

2023

Comparing Optimization Targets for Contrast-Consistent Search.

Hugo Fry, Seamus Fallows, Ian Fan, Jamie Wright, Nandi Schoots

CoRR, 2023