Follow
Blake Loring
Blake Loring
Royal Holloway, University of London
Verified email at parsed.uk - Homepage
Title
Cited by
Cited by
Year
ExpoSE: practical symbolic execution of standalone JavaScript
B Loring, D Mitchell, J Kinder
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model …, 2017
292017
Sound regular expression semantics for dynamic symbolic execution of JavaScript
B Loring, D Mitchell, J Kinder
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
182019
Oblique: Accelerating Page Loads Using Symbolic Execution
R Ko, J Mickens, B Loring, R Netravali
18th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2021
42021
Checking cryptographic api usage with composable annotations (short paper)
D Mitchell, LT van Binsbergen, B Loring, J Kinder
Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program …, 2017
12017
Systematic Generation of Conformance Tests for JavaScript
B Loring, J Kinder
arXiv preprint arXiv:2108.07075, 2021
2021
Practical Dynamic Symbolic Execution for JavaScript
B Loring
Royal Holloway, University of London, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–6