Blake Loring

Search results

• 2021

  Oblique: Accelerating Page Loads Using Symbolic Execution

  Ko, R., Mickens, J., Loring, B. & Netravali, R., Apr 2021, NSDI 2021. USENIX

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

• Practical Dynamic Symbolic Execution for JavaScript

  Loring, B., 16 Mar 2021, (Unpublished)

  Research output: Thesis › Doctoral Thesis

  File
  631 Downloads (Pure)
• 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 Access

  File
  77 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 Access

  File
  130 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 Access

  File
  96 Downloads (Pure)