IRIS investigators present three papers at the SPLASH 2021 conference in Chicago.

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.

We say goodbye to Diana Costa

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.


Welcome to Estibaliz Fraca 

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.