Blake Loring

According to our database, Blake Loring authored at least 5 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Systematic Generation of Conformance Tests for JavaScript.

Blake Loring, Johannes Kinder

CoRR, 2021

Oblique: Accelerating Page Loads Using Symbolic Execution.

Ronny Ko, James Mickens, Blake Loring, Ravi Netravali

Proceedings of the 18th USENIX Symposium on Networked Systems Design and Implementation, 2021

2019

Sound regular expression semantics for dynamic symbolic execution of JavaScript.

Blake Loring, Duncan Mitchell, Johannes Kinder

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018

Checking cryptographic API usage with composable annotations (short paper).

Duncan Mitchell, L. Thomas van Binsbergen, Blake Loring, Johannes Kinder

Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2018

2017

ExpoSE: practical symbolic execution of standalone JavaScript.

Blake Loring, Duncan Mitchell, Johannes Kinder

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017