
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
POPL 2019 | Author of JaVerT 2.0: Compositional Symbolic Execution for JavaScript within the Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2019-profile
View general profile
View general profile