Follow
Ian Stark
Ian Stark
Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh
Verified email at ed.ac.uk - Homepage
Title
Cited by
Cited by
Year
Observable properties of higher order functions that dynamically create local names, or: What's new?
AM Pitts, IDB Stark
Mathematical Foundations of Computer Science 1993: 18th International …, 1993
2771993
Operational reasoning for functions with local state
AM Pitts, IDB Stark
Higher order operational techniques in semantics, 227-273, 1998
2691998
Names and higher-order functions
IDB Stark
University of Cambridge, 1994
1591994
A fully abstract domain model for the/spl pi/-calculus
I Stark
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 36-42, 1996
1521996
ISA Semantics for ARMv8-a, RISC-v, and CHERI-MIPS
A Armstrong, T Bauereiss, B Campbell, A Reid, KE Gray, RM Norton, ...
Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019
1092019
Nominal games and full abstraction for the nu-calculus
S Abramsky, DR Ghica, AS Murawski, CHL Ong, IDB Stark
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004
1002004
Categorical models for local names
I Stark
Lisp and Symbolic Computation 9 (1), 77-107, 1996
961996
Automatic verification of design patterns in Java
A Blewitt, A Bundy, I Stark
Proceedings of the 20th IEEE/ACM international Conference on Automated …, 2005
912005
Mobile resource guarantees for smart devices
D Aspinall, S Gilmore, M Hofmann, D Sannella, I Stark
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices …, 2005
872005
Presheaf models for the pi-calculus
GL Cattani, I Stark, G Winskel
BRICS Report Series, 1997
831997
Domains and denotational semantics: History, accomplishments and open problems
A Jung, M Fiore, E Moggi, PW O’Hearn, JG Riecke, G Rosolini, I Stark
SCHOOL OF COMPUTER SCIENCE RESEARCH REPORTS-UNIVERSITY OF BIRMINGHAM CSR, 1996
741996
Reducibility and⊤⊤-lifting for computation types
S Lindley, I Stark
Typed Lambda Calculi and Applications: 7th International Conference, TLCA …, 2005
712005
The Continuous pi-Calculus: A Process Algebra for Biochemical Modelling.
M Kwiatkowski, I Stark
CMSB, 103-122, 2008
522008
A dependent type theory with names and binding
U Schöpp, I Stark
Computer Science Logic 4, 235-249, 2004
522004
Mobius: Mobility, ubiquity, security: Objectives and progress report
G Barthe, L Beringer, P Crégut, B Grégoire, M Hofmann, P Müller, E Poll, ...
Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy …, 2007
452007
Grail: a functional form for imperative mobile code
L Beringer, K MacKenzie, I Stark
Electronic Notes in Theoretical Computer Science 85 (1), 3-23, 2003
442003
Automatic verification of Java design patterns
A Blewitt, A Bundy, I Stark
Proceedings 16th annual international conference on automated software …, 2001
442001
Certified complexity (cerco)
RM Amadio, N Ayache, F Bobot, JP Boender, B Campbell, I Garnier, ...
Foundational and Practical Aspects of Resource Analysis: Third International …, 2014
412014
Randomised testing of a microprocessor model using SMT-solver state generation
B Campbell, I Stark
Science of Computer Programming 118, 60-76, 2016
352016
Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process
K Nienhuis, A Joannou, T Bauereiss, A Fox, M Roe, B Campbell, M Naylor, ...
2020 IEEE Symposium on Security and Privacy (SP), 1003-1020, 2020
342020
The system can't perform the operation now. Try again later.
Articles 1–20