Blake Loring -

Registered user since Sat 22 Apr 2017

Name:Blake Loring

Contributions

PLDI 2019	Author of Sound Regular Expression Semantics for Dynamic Symbolic Execution of JavaScript within the PLDI Research Papers-track
PEPM 2018	Author of Checking Cryptographic API Usage with Composable Annotations (Short Paper) within the PEPM 2018-track