Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Duncan Mitchell
conf.researchr.org general profile
PLDI 2019 profile
POPL 2018 profile
Not registered as user
Name:
Duncan Mitchell
Affiliation:
Royal Holloway, University of London
Contributions
2019
PLDI
Author of Sound Regular Expression Semantics for Dynamic Symbolic Execution of JavaScript within the PLDI Research Papers-track
2018
PEPM
Author of Checking Cryptographic API Usage with Composable Annotations (Short Paper) within the PEPM 2018-track
Share
x
Sun 4 Oct 08:02