• Sign in
  • Sign up
conf.researchr.org / Blake Loring
  • PLDI 2019 profile
  • POPL 2018 profile

Registered user since Sat 22 Apr 2017

Name:Blake Loring

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
xSun 26 Oct 20:43
using conf.researchr.org (v1.72.1)
Support page
Sign Up