Systematic Generation of Conformance Tests for JavaScript.
CoRR, 2021
Oblique: Accelerating Page Loads Using Symbolic Execution.
Proceedings of the 18th USENIX Symposium on Networked Systems Design and Implementation, 2021
Sound regular expression semantics for dynamic symbolic execution of JavaScript.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019
Checking cryptographic API usage with composable annotations (short paper).
Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2018
ExpoSE: practical symbolic execution of standalone JavaScript.
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017