Ian Stark

45 papers A* 4A 1B 6C 1Journal 13Unranked 20
YearRankTypeTitle / Venue / Authors
2025 B conf
A CHERI C Memory Model for Verified Temporal Safety.
CPP
Vadim Zaliva, Kayvan Memarian, Brian Campbell, Ricardo Almeida, Nathaniel Wesley Filardo, Ian Stark, Peter Sewell
2025 J jnl
Morello-Cerise: A Proof of Strong Encapsulation for the Arm Morello Capability Hardware Architecture.
Proc. ACM Program. Lang.
Angus Hammond, Ricardo Almeida, Thomas Bauereiss, Brian Campbell, Ian Stark, Peter Sewell
2025 J jnl
Static analysis to make the most of CHERI C/C++ for existing code: improving memory safety at scale.
Int. J. Softw. Tools Technol. Transf.
Irina Dudina, Ian Stark
2024 — conf
Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance.
ASPLOS (1)
Vadim Zaliva, Kayvan Memarian, Ricardo Almeida, Jessica Clarke, Brooks Davis, Alexander Richardson, David Chisnall, Brian Campbell, Ian Stark, Robert N. M. Watson, Peter Sewell
2024 — conf
Static Analysis for Transitioning to CHERI C/C++.
SOAP@PLDI
Irina Dudina, Ian Stark
2022 A conf
Verified Security for the Morello Capability-enhanced Prototype Arm Architecture.
ESOP
Thomas Bauereiss, Brian Campbell, Thomas Sewell, Alasdair Armstrong, Lawrence Esswood, Ian Stark, Graeme Barnes, Robert N. M. Watson, Peter Sewell
2021 — conf
Neuro-Positionality in User-Centered Design: : The Case of Student Disability Services.
SIGDOC
Ian Stark
2020 J jnl
Fast and Correct Load-Link/Store-Conditional Instruction Handling in DBT Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Martin Kristien, Tom Spink, Brian Campbell, Susmit Sarkar, Ian Stark, Björn Franke, Igor Böhm, Nigel P. Topham
2020 — conf
Modelling Patterns of Gene Regulation in the bond-calculus.
SASB
Thomas Wright, Ian Stark
2020 B conf
Property-Directed Verified Monitoring of Signal Temporal Logic.
RV
Thomas Wright, Ian Stark
2020 A* conf
Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process.
SP
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 J jnl
Technical Report: Property-Directed Verified Monitoring of Signal Temporal Logic.
CoRR
Thomas Wright, Ian Stark
2019 J jnl
ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS.
Proc. ACM Program. Lang.
Alasdair Armstrong, Thomas Bauereiss, Brian Campbell, Alastair Reid, Kathryn E. Gray, Robert M. Norton, Prashanth Mundkur, Mark Wassell, Jon French, Christopher Pulte, Shaked Flur, Ian Stark, Neel Krishnaswami, Peter Sewell
2018 J jnl
Foreword.
Theor. Comput. Sci.
Martin Hofmann, David Aspinall, Brian Campbell, Ian Stark, Perdita Stevens
2018 J jnl
The Bond-Calculus: A Process Algebra for Complex Biological Interaction Dynamics.
CoRR
Thomas Wright, Ian Stark
2018 B conf
Triangulating context lemmas.
CPP
Craig McLaughlin, James McKinna, Ian Stark
2017 J jnl
A More Sensitive Context.
CoRR
Chris J. Banks, Ian Stark
2016 B conf
Extracting behaviour from an executable instruction set model.
FMCAD
Brian Campbell, Ian Stark
2016 J jnl
Randomised testing of a microprocessor model using SMT-solver state generation.
Sci. Comput. Program.
Brian Campbell, Ian Stark
2015 — conf
Analysis of a Post-translational Oscillator Using Process Algebra and Spatio-Temporal Logic.
CMSB
Chris J. Banks, Daniel D. Seaton, Ian Stark
2014 J jnl
A logic of behaviour in context.
Inf. Comput.
Chris J. Banks, Ian Stark
2014 C conf
Randomised Testing of a Microprocessor Model Using SMT-Solver State Generation.
FMICS
Brian Campbell, Ian Stark
2013 — conf
Certified Complexity (CerCo).
FOPARA
Roberto M. Amadio, Nicholas Ayache, François Bobot, Jaap Boender, Brian Campbell, Ilias Garnier, Antoine Madet, James McKinna, Dominic P. Mulligan, Mauro Piccolo, Randy Pollack, Yann Régis-Gianas, Claudio Sacerdoti Coen, Ian Stark, Paolo Tranquilli
2012 — conf
Stochastic Modelling of the Kai-based Circadian Clock.
PASM/PDMC
Chris J. Banks, Allan Clark, Anastasis Georgoulas, Stephen Gilmore, Jane Hillston, Dimitrios Milios, Ian Stark
2011 — conf
Certified Complexity.
FET
R. Armadio, Andrea Asperti, Nicholas Ayache, Brian Campbell, Dominic P. Mulligan, Randy Pollack, Yann Régis-Gianas, Claudio Sacerdoti Coen, Ian Stark
2008 J jnl
Free-algebra models for the pi -calculus.
Theor. Comput. Sci.
Ian Stark
2008 — conf
The Continuous pi-Calculus: A Process Algebra for Biochemical Modelling.
CMSB
Marek Kwiatkowski, Ian Stark
2007 — conf
Monitoring External Resources in Java MIDP.
REM@ESORICS
David Aspinall, Patrick Maier, Ian Stark
2007 — conf
Safety Guarantees from Explicit Resource Management.
FMCO
David Aspinall, Patrick Maier, Ian Stark
2006 — conf
MOBIUS: Mobility, Ubiquity, Security.
TGC
Gilles Barthe, Lennart Beringer, Pierre Crégut, Benjamin Grégoire, Martin Hofmann, Peter Müller, Erik Poll, Germán Puebla, Ian Stark, Eric Vétillard
2005 A* conf
Automatic verification of design patterns in Java.
ASE
Alex Blewitt, Alan Bundy, Ian Stark
2005 B conf
Free-Algebra Models for the
FoSSaCS
Ian Stark
2005 — conf
Mobile Resource Guarantees (project evaluation paper).
Trends in Functional Programming
Donald Sannella, Martin Hofmann, David Aspinall, Stephen Gilmore, Ian Stark, Lennart Beringer, Hans-Wolfgang Loidl, Kenneth MacKenzie, Alberto Momigliano, Olha Shkaravska
2005 — conf
Reducibility and TT-Lifting for Computation Types.
TLCA
Sam Lindley, Ian Stark
2004 B conf
A Dependent Type Theory with Names and Binding.
CSL
Ulrich Schöpp, Ian Stark
2004 — conf
Mobile Resource Guarantees for Smart Devices.
CASSIS
David Aspinall, Stephen Gilmore, Martin Hofmann, Donald Sannella, Ian Stark
2003 — conf
Grail: a functional form for imperative mobile code.
FGC
Lennart Beringer, Kenneth MacKenzie, Ian Stark
2001 A* conf
Automatic Verification of Java Design Patterns.
ASE
Alex Blewitt, Alan Bundy, Ian Stark
2001 — conf
Encoding Distributed Areas and Local Communication into the pi-Calculus.
EXPRESS
Tom Chothia, Ian Stark
2000 — conf
A Distributed Pi-Calculus with Local Areas of Communication.
HLCL
Tom Chothia, Ian Stark
1998 J jnl
Names, Equations, Relations: Practical Ways to Reason About New.
Fundam. Informaticae
Ian Stark
1997 — conf
Names, Equations, Relations: Practical Ways to Reason about
TLCA
Ian Stark
1997 — conf
Presheaf Models for the pi-Calculus.
Category Theory and Computer Science
Gian Luca Cattani, Ian Stark, Glynn Winskel
1996 A* conf
A Fully Abstract Domain Model for the pi-Calculus.
LICS
Ian Stark
1996 J jnl
Categorical Models for Local Names.
LISP Symb. Comput.
Ian Stark