Robert J. Colvin

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 20

Top Topics

Operational Semantics

Statistical Model

Multi Core Systems

Speculative Execution

Top Venues

Formal Aspects Comput.

FM Workshops (2)

Publications

Robert J. Colvin, Ian J. Hayes, Scott Heiner, Peter Höfner, Larissa Meinicke, Roger C. Su
Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures. CoRR (2024)
Robert J. Colvin
A Fine-Grained Semantics for Arrays and Pointers Under Weak Memory Models. FM (2023)
Robert J. Colvin
Separation of Concerning Things: A Simpler Basis for Defining and Programming with the C/C++ Memory Model. ICFEM (2022)
Robert J. Colvin
Separation of concerning things: a simpler basis for defining and programming with the C/C++ memory model (extended version). CoRR (2022)
Robert J. Colvin
Parallelized sequential composition, pipelines, and hardware weak memory models. CoRR (2021)
Robert J. Colvin
Parallelized Sequential Composition and Hardware Weak Memory Models. SEFM (2021)
Graeme Smith, Kirsten Winter, Robert J. Colvin
Linearizability on hardware weak memory models. Formal Aspects Comput. 32 (1) (2020)
Robert J. Colvin, Kirsten Winter
An abstract semantics of speculative execution for reasoning about security vulnerabilities. CoRR (2020)
Robert J. Colvin, Kirsten Winter
An Abstract Semantics of Speculative Execution for Reasoning About Security Vulnerabilities. FM Workshops (2) (2019)
Ian J. Hayes, Larissa A. Meinicke, Kirsten Winter, Robert J. Colvin
A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency. Formal Aspects Comput. 31 (2) (2019)
Robert J. Colvin, Graeme Smith
A wide-spectrum language for verification of programs on weak memory models. CoRR (2018)
Robert J. Colvin, Graeme Smith
A high-level operational semantics for hardware weak memory models. CoRR (2018)
Robert J. Colvin, Graeme Smith
A Wide-Spectrum Language for Verification of Programs on Weak Memory Models. FM (2018)
Graeme Smith, Kirsten Winter, Robert J. Colvin
A sound and complete definition of linearizability on weak memory models. CoRR (2018)
Graeme Smith, Kirsten Winter, Robert J. Colvin
Correctness of Concurrent Objects under Weak Memory Models. Refine@FM (2018)
Ian J. Hayes, Larissa A. Meinicke, Kirsten Winter, Robert J. Colvin
A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency. CoRR (2017)
Robert J. Colvin, Ian J. Hayes, Larissa A. Meinicke
Designing a semantic model for a wide-spectrum language with concurrency. Formal Aspects Comput. 29 (5) (2017)
Ian J. Hayes, Robert J. Colvin, Larissa A. Meinicke, Kirsten Winter, Andrius Velykis
An Algebra of Synchronous Atomic Steps. FM (2016)
Robert J. Colvin, Ian J. Hayes, Larissa A. Meinicke
Designing a semantic model for a wide-spectrum language with concurrency. CoRR (2016)
Robert J. Colvin
Modelling and analysing neural networks using a hybrid process algebra. Theor. Comput. Sci. 623 (2016)
Cliff B. Jones, Ian J. Hayes, Robert J. Colvin
Balancing expressiveness in formal approaches to concurrency. Formal Aspects Comput. 27 (3) (2015)