1. Validating JIT Compilers via Compilation Space Exploration;Proceedings of the 29th Symposium on Operating Systems Principles;2023-10-23
2. Interpreter-guided differential JIT compiler unit testing;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
3. Of JavaScript AOT compilation performance;Proceedings of the ACM on Programming Languages;2021-08-22
4. Sampling optimized code for type feedback;Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic Languages;2020-11-15
5. Fast linear programming through transprecision computing on small and sparse data;Proceedings of the ACM on Programming Languages;2020-11-13