Congratulations to Jose Fragoso, Petar Maksimovic, Sacha Ayoun and Philippa Gardner, whose paper, Gillian, Part I: A Multi-language Platform for Symbolic Execution, has been accepted at this year’s PLDI.

PLDI, the ACM SIGPLAN Conference on Programming Language Design and Implementation is one of the leading conferences for practical and experimental work in the design and implementation of programming languages.

The conference was due to be held in London in 15-19 June 2020, but it is now to be held virtually. Thanks to their sponsors, attendance to the main conference and co-located events will be free for registrations before the 5 June.