Publications
Filter Publications: 2020 - 2022
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]