Daniel Wright

Orcid: 0000-0001-7404-2367

Affiliations:

University of Kent, UK

According to our database¹, Daniel Wright authored at least 4 papers between 2020 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

Mechanised Operational Reasoning for C11 Programs with Relaxed Dependencies.

[BibT_eX]

[DOI]

Formal Aspects Comput., June, 2023

2021

Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies (Extended Version).

[BibT_eX]

[DOI]

Daniel Wright

Mark Batty

Brijesh Dongol

CoRR, 2021

Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies.

[BibT_eX]

[DOI]

Daniel Wright

Mark Batty

Brijesh Dongol

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

Modular Relaxed Dependencies in Weak Memory Concurrency.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2020

Daniel Wright

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...