Alastair Donaldson and John Wickerson, together with their students and colleagues, have had three OOPSLA papers accepted for presentation at the SPLASH 2021 conference. This is one of the premier conferences in the field of research into Programming Languages, and is being held in a hybrid setting, both online and in Chicago. The first paper describes the first proven-correct tool for compiling software programs into hardware designs; the second paper describes an empirically validated model of how shared memory works on hybrid CPU/FPGA devices; and the third paper describes the results of an investigation into the forward-progress guarantees that modern GPU devices offer to programmers.
Timo has recently completed his PhD in the Vienna logic group and will is working with David, Tristan, and Marius on logic-based systems modelling and its associated logical theory. We are also collaborating with Didier Galmiche’s group at Université deLorraine and LORIA, Nancy.
Paul Brunet has left us to take up a faculty position in computer science at Université Paris-Est Créteil. Paul will continue at UCL as an Honorary Research Fellow, and will continue to work with David on foundational aspects of systems modelling.
Diana Costa has left us to join the LASIGE project at the University of Lisbon, where she has a obtained a prestigious Fellowship. Diana will continue at UCL as an Honorary Research Fellow and will continue to work with David on proof-theoretic semantics, (associated with the ReLiC project) and with James, Aquinas, and David on pregraphs, compositionality,and local reasoning.
Will presented a paper on Government Platforms which draws on IRIS research. The conference was international, attended by practitioners from industry and government, and had 497 people registered to attend.
Vasileios joined the IRIS team at Imperial in April 2021, and he is working with Alastair and John on formalising the semantics of graphics shader languages. Vasileios previously was a doctoral researcher at the University of Sussex.
Presentation at the Open trust Fabric Webinar on the Evolution of property in Law “Decentralization over blockchain infrastructures: contracts vs. property”. 18th May 2021. Available at: Trakti Open Trust Fabric Webinar: The Evolution of Property in Law- 18th May – Open Trust Fabric
- Presentation of the paper Pujadas, R., Valderrama, E., Venters, W. Interfaces and the Dynamics of Digital Ecosystems: A Study of the Online Travel Ecosystem. Research Policy Special Issue “Innovation Ecosystems and Ecosystem Innovation” (under review)
- MG500 research seminar (LSE, March 2021)
Rossi, E., Pujadas, R, Venters, W. “Epistemic Mirroring: how firms’ governance of internal relations shapes the interpretation of a digital ecosystem architecture”. UKAIS Conference (March 2021)
Estibaliz Fraca joined the IRIS project as a Research Fellow.. She has a PhD in Computer Science from Universidad de Zaragoza. She has participated in a Knowledge Transfer Partnership on the design and evaluation of Educational Technology in UCL Knowledge Lab. Her current research in IRIS focuses on formal verification of software, including Concurrent Separation Logic.