Publications

Articles

International Conferences: 1

2020

- José Fragoso Santos and Petar Maksimovic and Sacha-Elie Ayoun and Philippa Gardner, Gillian, Part I: A Multi-language Platform for Symbolic Execution, presented at ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Apr. 2020 [DOI Article link] [bibTex] [PDF]