Items where Author, Editor or other role is "Richards, Jay"

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: 2026 | 2025

Number of items: 2.

2026

Kissig, Christian and Richards, Jay and Batty, Mark (2026) Episodic loops: Finitary event structures and operational semantics for C11 programs with retries. [Preprint] (doi:10.48550/arXiv.2609.34646) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:116968)

2025

Richards, Jay, Wright, Daniel, Cooksey, Simon, Batty, Mark (2025) Symbolic MRD: Dynamic Memory, Undefined Behaviour, and Extrinsic Choice. Proceedings of the ACM on Programming Languages, 9 (OOPSLA). pp. 1858-1882. ISSN 2475-1421. (doi:10.1145/3721089) (KAR id:110436)

This list was generated on Thu Nov 5 19:29:01 2026 GMT.