Ian Stark
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
10
Active years
1996–2025
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CPP | A CHERI C Memory Model for Verified Temporal Safety. | Vadim Zaliva, Kayvan Memarian, Brian Campbell, Ricardo Almeida, Nathaniel Wesley Filardo, Ian Stark, Peter Sewell |
| 2024 | ASPLOS | Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance. | Vadim Zaliva, Kayvan Memarian, Ricardo Almeida, Jessica Clarke, Brooks Davis, Alexander Richardson, David Chisnall, Brian Campbell, Ian Stark, Robert N. M. Watson, Peter Sewell |
| 2022 | ESOP | Verified Security for the Morello Capability-enhanced Prototype Arm Architecture. | Thomas Bauereiss, Brian Campbell, Thomas Sewell, Alasdair Armstrong, Lawrence Esswood, Ian Stark, Graeme Barnes, Robert N. M. Watson, Peter Sewell |
| 2020 | SP | Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process. | Kyndylan Nienhuis, Alexandre Joannou, Thomas Bauereiss, Anthony C. J. Fox, Michael Roe, Brian Campbell, Matthew Naylor, Robert M. Norton, Simon W. Moore, Peter G. Neumann, Ian Stark, Robert N. M. Watson, Peter Sewell |
| 2020 | RV | Property-Directed Verified Monitoring of Signal Temporal Logic. | Thomas Wright, Ian Stark |
| 2018 | CPP | Triangulating context lemmas. | Craig McLaughlin, James McKinna, Ian Stark |
| 2016 | FMCAD | Extracting behaviour from an executable instruction set model. | Brian Campbell, Ian Stark |
| 2014 | FMICS | Randomised Testing of a Microprocessor Model Using SMT-Solver State Generation. | Brian Campbell, Ian Stark |
| 2005 | FOSSACS | Free-Algebra Models for the | Ian Stark |
| 2004 | CSL | A Dependent Type Theory with Names and Binding. | Ulrich Schpp, Ian Stark |
| 1996 | LICS | A Fully Abstract Domain Model for the pi-Calculus. | Ian Stark |