Registered user since Wed 1 Nov 2017
Name:José Fragoso Santos
Affiliation:Imperial College London
Personal website:https://www.doc.ic.ac.uk/~jfaustin/
Research interests:Separation Logic, Symbolic Execution, information flow control, functional programming.
Contributions
| REMS-DeepSpec 2020 | Gillian: a Multi-language Platform for Program Correctness and Incorrectness | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PLDI 2020-profile
View general profile
View general profile