Ian Stark

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 16

Top Topics

Satisfiability Problem

Static Analysis

Top Venues

IEEE Symposium on Security and Privacy

Publications

Vadim Zaliva, Kayvan Memarian, Ricardo Almeida, Jessica Clarke, Brooks Davis, Alexander Richardson, David Chisnall, Brian Campbell, Ian Stark, Robert N. M. Watson, Peter Sewell
Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance. ASPLOS (1) (2024)
Irina Dudina, Ian Stark
Static Analysis for Transitioning to CHERI C/C++. SOAP@PLDI (2024)
Thomas Bauereiss, Brian Campbell, Thomas Sewell, Alasdair Armstrong, Lawrence Esswood, Ian Stark, Graeme Barnes, Robert N. M. Watson, Peter Sewell
Verified Security for the Morello Capability-enhanced Prototype Arm Architecture. ESOP (2022)
Ian Stark
Neuro-Positionality in User-Centered Design: : The Case of Student Disability Services. SIGDOC (2021)
Thomas Wright, Ian Stark
Property-Directed Verified Monitoring of Signal Temporal Logic. RV (2020)
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
Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process. IEEE Symposium on Security and Privacy (2020)
Thomas Wright, Ian Stark
Modelling Patterns of Gene Regulation in the bond-calculus. SASB (2020)
Thomas Wright, Ian Stark
Technical Report: Property-Directed Verified Monitoring of Signal Temporal Logic. CoRR (2020)
Martin Kristien, Tom Spink, Brian Campbell, Susmit Sarkar, Ian Stark, Björn Franke, Igor Böhm, Nigel P. Topham
Fast and Correct Load-Link/Store-Conditional Instruction Handling in DBT Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (11) (2020)
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
ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS. Proc. ACM Program. Lang. 3 (POPL) (2019)
Martin Hofmann, David Aspinall, Brian Campbell, Ian Stark, Perdita Stevens
Foreword. Theor. Comput. Sci. 741 (2018)
Thomas Wright, Ian Stark
The Bond-Calculus: A Process Algebra for Complex Biological Interaction Dynamics. CoRR (2018)
Craig McLaughlin, James McKinna, Ian Stark
Triangulating context lemmas. CPP (2018)
Chris J. Banks, Ian Stark
A More Sensitive Context. CoRR (2017)
Brian Campbell, Ian Stark
Randomised testing of a microprocessor model using SMT-solver state generation. Sci. Comput. Program. 118 (2016)
Brian Campbell, Ian Stark
Extracting behaviour from an executable instruction set model. FMCAD (2016)
Chris J. Banks, Daniel D. Seaton, Ian Stark
Analysis of a Post-translational Oscillator Using Process Algebra and Spatio-Temporal Logic. CMSB (2015)
Brian Campbell, Ian Stark
Randomised Testing of a Microprocessor Model Using SMT-Solver State Generation. FMICS (2014)
Chris J. Banks, Ian Stark
A logic of behaviour in context. Inf. Comput. 236 (2014)
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
Certified Complexity (CerCo). FOPARA (2013)
Chris J. Banks, Allan Clark, Anastasis Georgoulas, Stephen Gilmore, Jane Hillston, Dimitrios Milios, Ian Stark
Stochastic Modelling of the Kai-based Circadian Clock. Electron. Notes Theor. Comput. Sci. 296 (2013)
R. Armadio, Andrea Asperti, Nicholas Ayache, Brian Campbell, Dominic P. Mulligan, Randy Pollack, Yann Régis-Gianas, Claudio Sacerdoti Coen, Ian Stark
Certified Complexity. FET (2011)
Marek Kwiatkowski, Ian Stark
The Continuous pi-Calculus: A Process Algebra for Biochemical Modelling. CMSB (2008)
Ian Stark
Free-algebra models for the pi -calculus. Theor. Comput. Sci. 390 (2-3) (2008)
David Aspinall, Patrick Maier, Ian Stark
Monitoring External Resources in Java MIDP. Electron. Notes Theor. Comput. Sci. 197 (1) (2008)
David Aspinall, Patrick Maier, Ian Stark
Safety Guarantees from Explicit Resource Management. FMCO (2007)
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
MOBIUS: Mobility, Ubiquity, Security. TGC (2006)
Ian Stark
-Calculus. FoSSaCS (2005)
Sam Lindley, Ian Stark
Reducibility and TT-Lifting for Computation Types. TLCA (2005)
Alex Blewitt, Alan Bundy, Ian Stark
Automatic verification of design patterns in Java. ASE (2005)
Donald Sannella, Martin Hofmann, David Aspinall, Stephen Gilmore, Ian Stark, Lennart Beringer, Hans-Wolfgang Loidl, Kenneth MacKenzie, Alberto Momigliano, Olha Shkaravska
Mobile Resource Guarantees (project evaluation paper). Trends in Functional Programming (2005)
David Aspinall, Stephen Gilmore, Martin Hofmann, Donald Sannella, Ian Stark
Mobile Resource Guarantees for Smart Devices. CASSIS (2004)
Ulrich Schöpp, Ian Stark
A Dependent Type Theory with Names and Binding. CSL (2004)
Lennart Beringer, Kenneth MacKenzie, Ian Stark
Grail: a functional form for imperative mobile code. Electron. Notes Theor. Comput. Sci. 85 (1) (2003)
Tom Chothia, Ian Stark
Encoding Distributed Areas and Local Communication into the pi-Calculus. EXPRESS (2001)
Alex Blewitt, Alan Bundy, Ian Stark
Automatic Verification of Java Design Patterns. ASE (2001)
Tom Chothia, Ian Stark
A Distributed Pi-Calculus with Local Areas of Communication. Electron. Notes Theor. Comput. Sci. 41 (2) (2000)
Ian Stark
Names, Equations, Relations: Practical Ways to Reason About New. Fundam. Informaticae 33 (4) (1998)
Ian Stark
. TLCA (1997)
Gian Luca Cattani, Ian Stark, Glynn Winskel
Presheaf Models for the pi-Calculus. Category Theory and Computer Science (1997)
Ian Stark
Categorical Models for Local Names. LISP Symb. Comput. 9 (1) (1996)
Ian Stark
A Fully Abstract Domain Model for the pi-Calculus. LICS (1996)