Robert J. Colvin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2016–2025
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CAV | Structural Operational Semantics for Functional and Security Verification of Pipelined Processors. | Robert J. Colvin, Roger C. Su |
| 2023 | FM | A Fine-Grained Semantics for Arrays and Pointers Under Weak Memory Models. | Robert J. Colvin |
| 2022 | ICFEM | Separation of Concerning Things: A Simpler Basis for Defining and Programming with the C/C++ Memory Model. | Robert J. Colvin |
| 2021 | SEFM | Parallelized Sequential Composition and Hardware Weak Memory Models. | Robert J. Colvin |
| 2019 | FM | An Abstract Semantics of Speculative Execution for Reasoning About Security Vulnerabilities. | Robert J. Colvin, Kirsten Winter |
| 2018 | FM | A Wide-Spectrum Language for Verification of Programs on Weak Memory Models. | Robert J. Colvin, Graeme Smith |
| 2016 | FM | An Algebra of Synchronous Atomic Steps. | Ian J. Hayes, Robert J. Colvin, Larissa A. Meinicke, Kirsten Winter, Andrius Velykis |