Research output per year
Research output per year
Personal profile
Research Interests
My research is on mathematical models for programming languages and concurrent systems; in particular reasoning about name generation and secure mobile code.
Qualifications
Doctor of Philosophy (PhD), University of Cambridge, Names and Higher-Order Functions
Fingerprint
Dive into the research topics where Ian Stark is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Extracting Behaviour from an Executable Instruction Set Model
Campbell, B. & Stark, I., 27 Mar 2017, Proceedings of the 16th Conference on Formal Methods in Computer - Aided Design (FMCAD 2016). Mountain View, CA, USA: FMCAD Inc, p. 33-40 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Randomised testing of a microprocessor model using SMT-solver state generation
Campbell, B. & Stark, I., 1 Mar 2016, In: Science of Computer Programming. 118, p. 60-76 17 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Analysis of a Post-translational Oscillator Using Process Algebra and Spatio-temporal Logic
Banks, C., Seaton, D. D. & Stark, I., 2015, Computational Methods in Systems Biology: 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings. Springer International Publishing, p. 222-238 17 p. (Lecture Notes in Computer Science; vol. 9308).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
A logic of behaviour in context
Banks, C. J. & Stark, I., 1 Jan 2014, In: Information and Computation. 236, p. 3-18 16 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Certified Complexity (CerCo)
Amadio, R., Ayache, N., Bobot, F., Boender, J., Campbell, B., Garnier, I., Madet, A., McKinna, J., Mulligan, D., Piccolo, M., Pollack, R., Régis-Giannas, Y., Sacerdoti Coen, C., Stark, I. & Tranquilli, P., 2014, Foundational and Practical Aspects of Resource Analysis: Revised Selected Papers from the Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013. Springer International Publishing, p. 1-18 18 p. (Lecture Notes in Computer Science; vol. 8552).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile
-
App Guarden: Resilient Application Stores
Aspinall, D., Franke, B., Gordon, A., Sannella, D., Stark, I. & Sutton, C.
1/09/13 → 31/08/16
Project: Research
-
-
-
MOBIUS: MOBIUS-Mobility, Ubiquity and Security for Small Devices.
Stark, I., Aspinall, D. & Sannella, D.
1/09/05 → 31/08/09
Project: Research
Datasets
-
Triangulating Context Lemmas
McLaughlin, C. (Creator), McKinna, J. (Creator) & Stark, I. (Creator), Edinburgh DataShare, 6 Dec 2017
DOI: 10.7488/ds/2264, https://popl18.sigplan.org/event/cpp-2018-triangulating-context-lemmas
Dataset