ExpoSE: practical symbolic execution of standalone JavaScript. - Blake Loring; Duncan Mitchell; Johannes Kinder (SPIN, 2017)

Checking cryptographic API usage with composable annotations (short paper). - Duncan Mitchell; L. Thomas van Binsbergen; Blake Loring; Johannes Kinder (PEPM, 2018)

Sound regular expression semantics for dynamic symbolic execution of JavaScript. - Blake Loring; Duncan Mitchell; Johannes Kinder (PLDI, 2019)

Oblique: Accelerating Page Loads Using Symbolic Execution. - Ronny Ko; James Mickens; Blake Loring; Ravi Netravali (NSDI, 2021)

Systematic Generation of Conformance Tests for JavaScript. - Blake Loring; Johannes Kinder (CoRR, 2021)