Ian Stark

According to our database, Ian Stark authored at least 45 papers between 1993 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

A CHERI C Memory Model for Verified Temporal Safety.

Vadim Zaliva, Kayvan Memarian, Brian Campbell, Ricardo Almeida, Nathaniel Wesley Filardo, Ian Stark, Peter Sewell

Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2025

2024

Static Analysis for Transitioning to CHERI C/C++.

Irina Dudina, Ian Stark

Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2024

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

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2022

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

Proceedings of the Programming Languages and Systems, 2022

2021

Neuro-Positionality in User-Centered Design: : The Case of Student Disability Services.

Ian Stark

Proceedings of the SIGDOC '21: The 39th ACM International Conference on Design of Communication, 2021

2020

Fast and Correct Load-Link/Store-Conditional Instruction Handling in DBT Systems.

Martin Kristien, Tom Spink, Brian Campbell, Susmit Sarkar, Ian Stark, Björn Franke, Igor Böhm, Nigel P. Topham

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Technical Report: Property-Directed Verified Monitoring of Signal Temporal Logic.

Thomas Wright, Ian Stark

CoRR, 2020

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

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

Modelling Patterns of Gene Regulation in the bond-calculus.

Thomas Wright, Ian Stark

Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany, 2020

Property-Directed Verified Monitoring of Signal Temporal Logic.

Thomas Wright, Ian Stark

Proceedings of the Runtime Verification - 20th International Conference, 2020

2019

ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS.

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

Proc. ACM Program. Lang., 2019

2018

Foreword.

Martin Hofmann, David Aspinall, Brian Campbell, Ian Stark, Perdita Stevens

Theor. Comput. Sci., 2018

The Bond-Calculus: A Process Algebra for Complex Biological Interaction Dynamics.

Thomas Wright, Ian Stark

CoRR, 2018

Triangulating context lemmas.

Craig McLaughlin, James McKinna, Ian Stark

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

2017

A More Sensitive Context.

Chris J. Banks, Ian Stark

CoRR, 2017

2016

Randomised testing of a microprocessor model using SMT-solver state generation.

Brian Campbell, Ian Stark

Sci. Comput. Program., 2016

Extracting behaviour from an executable instruction set model.

Brian Campbell, Ian Stark

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2015

Analysis of a Post-translational Oscillator Using Process Algebra and Spatio-Temporal Logic.

Chris J. Banks, Daniel D. Seaton, Ian Stark

Proceedings of the Computational Methods in Systems Biology, 2015

2014

A logic of behaviour in context.

Chris J. Banks, Ian Stark

Inf. Comput., 2014

2013

Certified Complexity (CerCo).

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

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2013

2012

Stochastic Modelling of the Kai-based Circadian Clock.

Chris J. Banks, Allan Clark, Anastasis Georgoulas, Stephen Gilmore, Jane Hillston, Dimitrios Milios, Ian Stark

Proceedings of the Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, 2012

2011

Certified Complexity.

R. Armadio, Andrea Asperti, Nicholas Ayache, Brian Campbell, Dominic P. Mulligan, Randy Pollack, Yann Régis-Gianas, Claudio Sacerdoti Coen, Ian Stark

Proceedings of the 2nd European Future Technologies Conference and Exhibition, 2011

2008

Free-algebra models for the pi -calculus.

Ian Stark

Theor. Comput. Sci., 2008

The Continuous pi-Calculus: A Process Algebra for Biochemical Modelling.

Marek Kwiatkowski, Ian Stark

Proceedings of the Computational Methods in Systems Biology, 6th International Conference, 2008

2007

Monitoring External Resources in Java MIDP.

David Aspinall, Patrick Maier, Ian Stark

Proceedings of the First International Workshop on Run Time Enforcement for Mobile and Distributed Systems, 2007

Safety Guarantees from Explicit Resource Management.

David Aspinall, Patrick Maier, Ian Stark

Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

2006

MOBIUS: Mobility, Ubiquity, Security.

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

Proceedings of the Trustworthy Global Computing, Second Symposium, 2006

2005

Reducibility and TT-Lifting for Computation Types.

Sam Lindley, Ian Stark

Proceedings of the Typed Lambda Calculi and Applications, 7th International Conference, 2005

Mobile Resource Guarantees (project evaluation paper).

Donald Sannella, Martin Hofmann, David Aspinall, Stephen Gilmore, Ian Stark, Lennart Beringer, Hans-Wolfgang Loidl, Kenneth MacKenzie, Alberto Momigliano, Olha Shkaravska

Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005

Automatic verification of design patterns in Java.

Alex Blewitt, Alan Bundy, Ian Stark

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Free-Algebra Models for the <i>pi</i>-Calculus.

Ian Stark

Proceedings of the Foundations of Software Science and Computational Structures, 2005

2004

Nominal Games and Full Abstraction for the Nu-Calculus.

Samson Abramsky, Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong, Ian David Bede Stark

Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004

A Dependent Type Theory with Names and Binding.

Ulrich Schöpp, Ian Stark

Proceedings of the Computer Science Logic, 18th International Workshop, 2004

Mobile Resource Guarantees for Smart Devices.

David Aspinall, Stephen Gilmore, Martin Hofmann, Donald Sannella, Ian Stark

Proceedings of the Construction and Analysis of Safe, 2004

2003

Grail: a functional form for imperative mobile code.

Lennart Beringer, Kenneth MacKenzie, Ian Stark

Proceedings of the 2nd EATCS Workshop on Foundations of Global Computing, 2003

2001

Encoding Distributed Areas and Local Communication into the pi-Calculus.

Tom Chothia, Ian Stark

Proceedings of the 8th International Workshop on Expressiveness in Concurrency, 2001

Automatic Verification of Java Design Patterns.

Alex Blewitt, Alan Bundy, Ian Stark

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

2000

A Distributed Pi-Calculus with Local Areas of Communication.

Tom Chothia, Ian Stark

Proceedings of the 4th International Workshop on High-Level Concurrent Languages, 2000

1998

Names, Equations, Relations: Practical Ways to Reason About New.

Ian Stark

Fundam. Informaticae, 1998

1997

Names, Equations, Relations: Practical Ways to Reason about <i>new</i>.

Ian Stark

Proceedings of the Typed Lambda Calculi and Applications, 1997

Presheaf Models for the pi-Calculus.

Gian Luca Cattani, Ian Stark, Glynn Winskel

Proceedings of the Category Theory and Computer Science, 7th International Conference, 1997

1996

Categorical Models for Local Names.

Ian Stark

LISP Symb. Comput., 1996

A Fully Abstract Domain Model for the pi-Calculus.

Ian Stark

Proceedings of the Proceedings, 1996

1994

Names and higher-order functions.

Ian David Bede Stark

PhD thesis, 1994

1993

Observable Properties of Higher Order Functions that Dynamically Create Local Names, or What's new?

Andrew M. Pitts, Ian David Bede Stark

Proceedings of the Mathematical Foundations of Computer Science 1993, 1993