James Brotherston (UCL):

J. Brotherston, N. Gorogiannis and M. Kanovich. Biabduction (and Related Problems) in Array Separation Logic. In Proceedings of CADE-26, 2017.

G. Tellez Espinosa and J. Brotherston. Automatically Verifying Temporal Properties of Programs with Cyclic Proof. In Proceedings of CADE-26, 2017.

R. Rowe and J. Brotherston. Automatic Cyclic Termination Proofs for Recursive Procedures in Separation Logic. In Proceedings of CPP-6, 2017.

J. Brotherston, N. Gorogiannis, M. Kanovich and R. Rowe. Model Checking for Symbolic-Heap Separation Logic with Inductive Predicates. In Proceedings of POPL-43, 2016.

J. Brotherston and N. Gorogiannis. Cyclic Abduction of Inductively Defined Safety and Termination Preconditions. In Proceedings of SAS-21, 2014.

J. Brotherston, C. Fuhs, N. Gorogiannis and J. Navarro Perez. A Decision Procedure for Satisfiability in Separation Logic with Inductive Predicates. In Proceedings of CSL-LICS, 2014.

J. Brotherston and M. Kanovich. Undecidability of Propositional Separation Logic and its Neighbours. In Journal of the ACM 61(2), April 2014.

J. Brotherston and J. Villard. Parametric Completeness for Separation Theories. In Proceedings of POPL-41, 2014.

Paul Brunet (UCL):

On series-parallel pomset languages: Rationality, context-freeness and automata, Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, and Fabio Zanasi, in Journal of Logical and Algebraic Methods in Programming, Volume 103, February 2019, Pages 130-153.

A Kleene theorem for nominal automata, Paul Brunet and Alexandra Silva, in ICALP, 2019.

Kleene Algebra with Observations, Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, and Fabio Zanasi, in CONCUR 2019.

A Complete Axiomatisation of a Fragment of Language Algebra, Paul Brunet, in CSL, 2020.

Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness, Tobias Kappé, Paul Brunet, Alexandra Silva, Jana Wagemaker, and Fabio Zanasi, to appear in FoSSaCS 2020

Diana Costa (UCL):

Diana Costa, Manuel A. Martins, João Marcos:
On Herbrand’s Theorem for Hybrid Logic. FLAP 6(2): 209-228 (2019)

Diana Costa, Manuel A. Martins:
A Four-Valued Hybrid Logic with Non-dual Modal Operators. DaLí 2019: 88-103

Alastair Donaldson (Imperial):

A. Betts, N. Chong, A. F. Donaldson, J. Ketema,
S. Qadeer, P. Thomson, and J. Wickerson. The design
and implementation of a verification technique for GPU
kernels. TOPLAS, 37(3):10, 2015.

A. F. Donaldson, J. Ketema, T.Sorensen, J. Wickerson. Forward Progress on GPU Concurrency. 28th International Conference on Concurrency Theory, {CONCUR} 2017, p. 1:1–1:13.

T. Sorensen, H. Evrard and  Alastair F. Donaldson, Cooperative Kernels: GPU Multitasking for Blocking Algorithms.  Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, (2017),  p. 431–441. ttp://

Christopher Lidbury and Alastair F.Donaldson.2019.Sparse Record and Replay with Controlled Scheduling. In Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI ’19), June 22–26, 2019, Phoenix, AZ, USA. ACM, New York, NY,USA, 18 pages. 3314635

Peter O’Hearn (Facebook)

Peter W. O’Hearn:
Incorrectness logic. PACMPL 4(POPL): 10:1-10:32 (2020)

Peter W. O’Hearn:
Separation logic. Commun. ACM 62(2): 86-95 (2019)

Dino Distefano, Manuel Fähndrich, Francesco Logozzo, Peter W. O’Hearn:
Scaling static analyses at Facebook. Commun. ACM 62(8): 62-70 (2019)

Nikos Gorogiannis, Peter W. O’Hearn, Ilya Sergey:
A true positives theorem for a static race detector. PACMPL 3(POPL): 57:1-57:29 (2019)

Sam Blackshear, Nikos Gorogiannis, Peter W. O’Hearn, Ilya Sergey:
RacerD: compositional static race detection. PACMPL 2(OOPSLA): 144:1-144:28 (2018)

David Pym (UCL):

Albese Demjaha, Tristan Caulfield, M. Angela Sasse, and David Pym. Fast 2 Secure: A Case Studyof Post-Breach Security Changes. In: Proc. 4th European Workshop on Usable Security, EuroUSEC2019, IEEE 2019. Stockholm, Sweden, June 20,2019. To appear: IEEE Xplore. Manuscript.

J.M. Spring, T. Moore, and D. Pym. Practicing a
Science of Security: A Philosophy of Science Perspective. To appear: Proc. New Security Paradigms Workshop, Islamorada, FL, USA, 2-4 Oct., 2017.doi: 10.475/xxx x. Manuscript.

T. Caulfield, C. Ioannidis, and D. Pym. The U.S.Vulnerabilities Equities Process: An Economic Perspective. Proc. GameSec 2017, LNCS 10575:131–
150, 2017, 2017. Manuscript.

T. Caulfield, C. Ioannidis, and D. Pym. On theadoption of privacy-enhancing technologies. Proc.GameSec 2016, LNCS 9996:175-194, 2016. M

G. Anderson and D. Pym. A Calculus and Logic of Bunched Resources and Processes. Theoretical Computer Science 614:63-96, 2016.

T. Caufield and D. Pym. Improving Security Policy Decisions with Models. IEEE Security and Privacy, 13(5), 34-41, Sept/Oct 2015.
The Julia package used for creating system models may be obtained from GitHub:

T. Caulfield and D. Pym. Modelling and Simulating Systems Security Policy. In Proc. SIMUTools 2015, ACM Digital Library:

G. Anderson and D. Pym. Substructural modal logic for optimal resource allocation. Paper 5, Proc. Strategic Reasoning 2015, St. Catharine’s College, Oxford, September 21-22, 2015.

G. Anderson and D. Pym. Trust Domains in system models: algebra, logic, utility, and combinators. J. of Logic & Computation 2015: doi: 10.1093/logcom/ exv030.

Edmund Robinson (QMUL):

Hermida, C., Reddy, U.S. and Robinson, E.P., 2019. Deriving Logical Relations from Interpretations of Predicate Logic. Electronic Notes in Theoretical Computer Science, 347, pp.241-259.
Hermida, C., Reddy, U., Robinson, E. and Santamaria, A., 2020. Bisimulation as a Logical Relation. arXiv preprint arXiv:2003.13542.
Lewis-Smith, A., Oliva, P. & Robinson, E. Kripke Semantics for Intuitionistic Łukasiewicz Logic. Stud Logica (2020).

C Hermida, US Reddy, EP Robinson. Logical relations and parametricity–a Reynolds programme for category theory and programming languages Electronic Notes in Theoretical Computer Science 303, 149-180.

COLLINSON, M., PYM, D., & ROBINSON, E. (2008). Bunched polymorphism. Mathematical Structures in Computer Science, 18(6), 1091-1132. https://doi:10.1017/S0960129508007159

EP Robinson, Variations on Algebra: Monadicity and Generalisations of Equational Theories Formal Aspects of Computing (2002) 13: 308

John Power and Edmund Robinson. 2000. Logical relations, data abstraction, and structured fibrations. In Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming (PPDP ’00), Frank Pfenning (Ed.). ACM, New York, NY, USA, 15-23. D OI=

Roser Pujadas:

Pujadas, R., Curto-Millet, D. (2019) Thinking infrastructures and decentering digital platforms in the sharing economy: From matchmaking to boundary making. In Kornberger, M., Bowker, G., Pollock, N., Miller, P., Mennicken, A., Randa Nucho, J., Elyachar, J. (Eds.) Thinking infrastructures. Research in the Sociology of Organizations. Vol. 62 (Emerald Group Publishing Limited, Bingley, UK), pp. 273–286.

Pujadas, R, Thompson, M., Venters, W., Wardley, S. (2019) Building situational awareness in the age of service ecosystems. In Proceedings of the 27th European Conference on Information Systems (ECIS), Stockholm & Uppsala, Sweden, June 8-14, 2019. ISBN 978-1-7336325-0-8 Research Papers.

Conference papers:
Pujadas, R, Thompson, M., Venters, W.(2019) Situational awareness in digital ecosystems: Mapping in strategizing. In Strategy-as-Practice (SAP) Community Day: Rethinking Strategy Research in the Digital Age, EGOS 2019 Pre-Colloquium workshop, Edinburgh, July 2019.
Gueddana, W. & Pujadas, R. “Labour and platform work in the ‘sharing economy’”. EGOS 2019 Colloquium, Edinburgh, July 2019.

Will Venters:

Publications and conference proceedings

Pujadas, R, Thompson, M., Venters, W., Wardley, S. (2019) Building situational awareness in the age of service ecosystems. 27th European Conference on Information Systems, Stockholm & Uppsala, June 2019. 

Pujadas, R. and Curto-Millet, D. (2019), “From Matchmaking to Boundary Making: Thinking Infrastructures and Decentring Digital Platforms in the Sharing Economy”, Kornberger, M., Bowker, G., Elyachar, J., Mennicken, A., Miller, P., Nucho, J. and Pollock, N. (Eds.) Thinking Infrastructures (Research in the Sociology of Organizations, Vol. 62), Emerald Publishing Limited, pp. 273-286.

Presentations in conferences and research seminars (past and accepted)

Pujadas, R., Venegas, E. (2020) Digital interfacing and the dynamics of digital ecosystems: Lessons from an online travel ecosystem (Conference for the Special Issue of Research Policy: “Innovation Ecosystems and Ecosystem Innovation”, Copenhagen, June 2020—paper accepted, virtual conference due to COVID19)

Slavova, M., Pujadas, R. (2020) Making contact in rural Africa: A study of connectivity practices of Ghanaian agricultural agents (PROS conference, June 2020 –paper accepted, but conference cancelled due to COVID19)

Pujadas, R., Thompson, M., Venters, W (2019) Situational awareness in digital ecosystems: mapping and sensemaking. INDEX research community meeting, University of Exeter, INDEX, London, October 2019.

Pujadas, R., Thompson, M., Venters, W (2019) Situational awareness in digital ecosystems: mapping in strategizing. Strategy-as-Practice Pre-EGOS Workshop, July 2019.

Gueddana,W., Pujadas,R. (2019) Labour and platform work in the ‘sharing economy’. EGOS, July 2019.

Gueddana,W., Pujadas,R. (2019) Studying the Digital Recomposition of Labour: A Research Agenda. SASE, June 2019.

Conference papers/proposals submitted pending review

Pujadas, R., Venegas, E., Venters, W. Interfaces and the Dynamics of Digital Ecosystems: A Study of the Online Travel Ecosystem, ICIS 2020, Hyderabad, India December

Pym, M., Venters, W.  Modelling Interfaces and Things Within the Decentralized Ecosystems of the Internet of Things, ICIS 2020, Hyberabad, India December

Jones, M., Thompson, M., Venters, W. Shaping and Configuring: Digital capabilities and organizing vision in the practice of platform innovation, Information Systems Research.

Polyviou, A., Pouloudi,N., Venters, W. The Sensemaking Process and the Role of Proximity  in Organizational Cloud Computing Adoption, Journal of Information Technology

John Wickerson:

A. Raad, J. Wickerson, and V. Vafeiadis. Weak Persistency Semantics from the Ground Up. In Proceedings of the ACM on Programming Languages (OOPSLA), 2019.

P. Sittel, J. Wickerson, M. Kumm, and P. Zipf. Modulo scheduling with rational initiation intervals in custom hardware design. In Asia and South Pacific Design Automation Conference (ASP-DAC), 2020.

J. Cheng, L. Josipović, G. A. Constantinides, P. Ienne, and J. Wickerson. Combining Dynamic and Static Scheduling in High-Level Synthesis. In ACM/SIGDA Int. Symp. on Field-Programmable Gate Arrays (FPGA), 2020.

Y. Herklotz and J. Wickerson. Finding and understanding bugs in FPGA synthesis tools. In ACM/SIGDA Int. Symp. on Field-Programmable Gate Arrays (FPGA), 2020.

James Brotherston, Diana Costa, Aquinas Hobor, and John Wickerson. Reasoning over permissions regions in concurrent separation logic. In Int. Conf. on Computer Aided Verification (CAV), 2020.

Dan Iorga, Tyler Sorensen, John Wickerson, and Alastair F. Donaldson. Slow and steady: Measuring and tuning multicore interference. In IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2020.