Our group is represented in this year’s ETAPS with five papers: Jade Alglave, Daniel Kroening, Vincent Nimal, Michael Tautschnig. Software Verification for Weak Memory via…
Research group in Theoretical Computer Science at Queen Mary University of London