default search action

combined dblp search
author search
venue search
publication search

ask others

Ian Stark

Ian David Bede Stark

> Home > Persons

Person information

affiliation: University of Edinburgh, Scotland, UK

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/ZalivaMA0DRC0SW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/ZalivaMA0DRC0SW24
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: 181-196
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/soap-ws/DudinaS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soap-ws/DudinaS24
Irina Dudina, Ian Stark:
Static Analysis for Transitioning to CHERI C/C++. SOAP@PLDI 2024: 52-59
2022
[c31]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/BauereissCSAESB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/BauereissCSAESB22
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: 174-203
2021
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/sigdoc/Stark21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigdoc/Stark21
Ian Stark:
Neuro-Positionality in User-Centered Design: : The Case of Student Disability Services. SIGDOC 2021: 382-383
2020
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/KristienSCSSFBT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/KristienSCSSFBT20
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): 3544-3554 (2020)
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/WrightS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/WrightS20
Thomas Wright, Ian Stark:
Property-Directed Verified Monitoring of Signal Temporal Logic. RV 2020: 339-358
[c28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sasb/WrightS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sasb/WrightS20
Thomas Wright, Ian Stark:
Modelling Patterns of Gene Regulation in the bond-calculus. SASB 2020: 117-138
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/NienhuisJBFR0NN20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/NienhuisJBFR0NN20
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. SP 2020: 1003-1020
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2008-06589
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-06589
Thomas Wright, Ian Stark:
Technical Report: Property-Directed Verified Monitoring of Signal Temporal Logic. CoRR abs/2008.06589 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/ArmstrongBCRGNM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/ArmstrongBCRGNM19
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): 71:1-71:31 (2019)
2018
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/HofmannACSS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/HofmannACSS18
Martin Hofmann, David Aspinall, Brian Campbell, Ian Stark, Perdita Stevens:
Foreword. Theor. Comput. Sci. 741: 1-2 (2018)
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/McLaughlinMS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/McLaughlinMS18
Craig McLaughlin, James McKinna, Ian Stark:
Triangulating context lemmas. CPP 2018: 102-114
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1804-07603
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-07603
Thomas Wright, Ian Stark:
The Bond-Calculus: A Process Algebra for Complex Biological Interaction Dynamics. CoRR abs/1804.07603 (2018)
2017
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BanksS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BanksS17
Chris J. Banks, Ian Stark:
A More Sensitive Context. CoRR abs/1702.03288 (2017)
2016
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/CampbellS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CampbellS16
Brian Campbell, Ian Stark:
Randomised testing of a microprocessor model using SMT-solver state generation. Sci. Comput. Program. 118: 60-76 (2016)
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/0001S16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/0001S16
Brian Campbell, Ian Stark:
Extracting behaviour from an executable instruction set model. FMCAD 2016: 33-40
2015
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/BanksSS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/BanksSS15
Chris J. Banks, Daniel D. Seaton, Ian Stark:
Analysis of a Post-translational Oscillator Using Process Algebra and Spatio-Temporal Logic. CMSB 2015: 222-238
2014
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/BanksS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BanksS14
Chris J. Banks, Ian Stark:
A logic of behaviour in context. Inf. Comput. 236: 3-18 (2014)
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/CampbellS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/CampbellS14
Brian Campbell, Ian Stark:
Randomised Testing of a Microprocessor Model Using SMT-Solver State Generation. FMICS 2014: 185-199
2013
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/fopara/AmadioABBCGMMMPPRCST13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fopara/AmadioABBCGMMMPPRCST13
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: 1-18
2012
[c21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BanksCGGHMS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BanksCGGHMS13
Chris J. Banks, Allan Clark, Anastasis Georgoulas, Stephen Gilmore, Jane Hillston, Dimitrios Milios, Ian Stark:
Stochastic Modelling of the Kai-based Circadian Clock. PASM/PDMC 2012: 43-60
2011
[c20]
- view
  authority control:
- export record
  dblp key:
  - journals/procedia/ArmadioAACMPRCS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/procedia/ArmadioAACMPRCS11
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: 175-177

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2008
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Stark08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Stark08
Ian Stark:
Free-algebra models for the pi -calculus. Theor. Comput. Sci. 390(2-3): 248-270 (2008)
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/KwiatkowskiS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/KwiatkowskiS08
Marek Kwiatkowski, Ian Stark:
The Continuous pi-Calculus: A Process Algebra for Biochemical Modelling. CMSB 2008: 103-122
2007
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/AspinallMS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/AspinallMS07
David Aspinall, Patrick Maier, Ian Stark:
Safety Guarantees from Explicit Resource Management. FMCO 2007: 52-71
[c17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AspinallMS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AspinallMS08
David Aspinall, Patrick Maier, Ian Stark:
Monitoring External Resources in Java MIDP. REM@ESORICS 2007: 17-30
2006
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/BartheBCGHMPPSV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/BartheBCGHMPPSV06
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: 10-29
2005
[c15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/Stark05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/Stark05
Ian Stark:
Free-Algebra Models for the pi-Calculus. FoSSaCS 2005: 155-169
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/BlewittBS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/BlewittBS05
Alex Blewitt, Alan Bundy, Ian Stark:
Automatic verification of design patterns in Java. ASE 2005: 224-232
[c13]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/sfp/SannellaHAGSBLMMS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/SannellaHAGSBLMMS05
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: 211-226
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/tlca/LindleyS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tlca/LindleyS05
Sam Lindley, Ian Stark:
Reducibility and TT-Lifting for Computation Types. TLCA 2005: 262-277
2004
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/cassis/AspinallGHSS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cassis/AspinallGHSS04
David Aspinall, Stephen Gilmore, Martin Hofmann, Donald Sannella, Ian Stark:
Mobile Resource Guarantees for Smart Devices. CASSIS 2004: 1-26
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/SchoppS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/SchoppS04
Ulrich Schöpp, Ian Stark:
A Dependent Type Theory with Names and Binding. CSL 2004: 235-249
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/AbramskyGMOS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/AbramskyGMOS04
Samson Abramsky, Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong, Ian David Bede Stark:
Nominal Games and Full Abstraction for the Nu-Calculus. LICS 2004: 150-159
2003
[c8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BeringerMS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BeringerMS03
Lennart Beringer, Kenneth MacKenzie, Ian Stark:
Grail: a functional form for imperative mobile code. FGC 2003: 3-23
2001
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/BlewittBS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/BlewittBS01
Alex Blewitt, Alan Bundy, Ian Stark:
Automatic Verification of Java Design Patterns. ASE 2001: 324-327
[c6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ChothiaS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ChothiaS01
Tom Chothia, Ian Stark:
Encoding Distributed Areas and Local Communication into the pi-Calculus. EXPRESS 2001: 101-119
2000
[c5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ChothiaS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ChothiaS00
Tom Chothia, Ian Stark:
A Distributed Pi-Calculus with Local Areas of Communication. HLCL 2000: 1-16

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1998
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Stark98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Stark98
Ian Stark:
Names, Equations, Relations: Practical Ways to Reason About New. Fundam. Informaticae 33(4): 369-396 (1998)
1997
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/ctcs/CattaniSW97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ctcs/CattaniSW97
Gian Luca Cattani, Ian Stark, Glynn Winskel:
Presheaf Models for the pi-Calculus. Category Theory and Computer Science 1997: 106-126
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/tlca/Stark97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tlca/Stark97
Ian Stark:
Names, Equations, Relations: Practical Ways to Reason about new. TLCA 1997: 336-353
1996
[j1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/lisp/Stark96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Stark96
Ian Stark:
Categorical Models for Local Names. LISP Symb. Comput. 9(1): 77-107 (1996)
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/Stark96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/Stark96
Ian Stark:
A Fully Abstract Domain Model for the pi-Calculus. LICS 1996: 36-42
1994
[b1]
- view
  - electronic edition @ bl.uk
  - no references & citations available
- export record
  dblp key:
  - phd/ethos/Stark94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ethos/Stark94
Ian David Bede Stark:
Names and higher-order functions. University of Cambridge, UK, 1994
1993
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/PittsS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/PittsS93
Andrew M. Pitts, Ian David Bede Stark:
Observable Properties of Higher Order Functions that Dynamically Create Local Names, or What's new? MFCS 1993: 122-141

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.