Research output per year
Research output per year
Search results
-
2021
Oblique: Accelerating Page Loads Using Symbolic Execution
Ko, R., Mickens, J., Loring, B. & Netravali, R., Apr 2021, NSDI 2021. USENIXResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
2019
Sound regular expression semantics for dynamic symbolic execution of JavaScript
Loring, B., Mitchell, D. & Kinder, J., 8 Jun 2019, PLDI'19: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM, p. 425-438 14 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile77 Downloads (Pure) -
2017
Checking cryptographic API usage with composable annotations
Mitchell, D., van Binsbergen, L. T., Loring, B. & Kinder, J., 25 Dec 2017, ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2018). p. 53-59 7 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile130 Downloads (Pure) -
ExpoSE: practical symbolic execution of standalone JavaScript
Loring, B., Mitchell, D. & Kinder, J., 13 Jul 2017, SPIN 2017 : Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. ACM, p. 196–199 4 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile96 Downloads (Pure)