Publications
Filter Publications: 2019 - 2021
Articles
International Conferences: 1
2020
- 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]
,