| 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 | 50 | 2017 |
| 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 | 46 | 2019 |
| 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 | 17 | 2021 |
| Systematic Generation of Conformance Tests for JavaScript B Loring, J Kinder arXiv preprint arXiv:2108.07075, 2021 | 1 | 2021 |
| 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 | 1 | 2017 |
| Practical Dynamic Symbolic Execution for JavaScript B Loring Royal Holloway, University of London, 2021 | | 2021 |
