Registered user since Mon 14 Jan 2019
Name: Sacha-Élie Ayoun
Affiliation: Imperial College London, UK
Research interests: Formal methods, Program Verification, Programming languages
Contributions
| PLDI 2020 | Author of Gillian, Part I: A Multi-language Platform for Symbolic Execution within the PLDI Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PLDI 2020-profile
View general profile
View general profile