Blake Loring

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 6

Top Topics

Approximate Matching

Symbolic Execution

Deterministic Finite Automata

Test Generation

Top Venues

Publications

Blake Loring, Johannes Kinder
Systematic Generation of Conformance Tests for JavaScript. CoRR (2021)
Ronny Ko, James Mickens, Blake Loring, Ravi Netravali
Oblique: Accelerating Page Loads Using Symbolic Execution. NSDI (2021)
Blake Loring, Duncan Mitchell, Johannes Kinder
Sound regular expression semantics for dynamic symbolic execution of JavaScript. PLDI (2019)
Blake Loring, Duncan Mitchell, Johannes Kinder
Sound Regular Expression Semantics for Dynamic Symbolic Execution of JavaScript. CoRR (2018)
Duncan Mitchell, L. Thomas van Binsbergen, Blake Loring, Johannes Kinder
Checking cryptographic API usage with composable annotations (short paper). PEPM (2018)
Blake Loring, Duncan Mitchell, Johannes Kinder
ExpoSE: practical symbolic execution of standalone JavaScript. SPIN (2017)