Zhenyang Xu

Latest

• On the Caching Schemes to Speed Up Program Reduction
• PPR: Pairwise Program Reduction
• Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction
• Revisiting the Evaluation of Deep Learning-Based Compiler Testing
• Ad Hoc Syntax-Guided Program Reduction
• Compilation Consistency Modulo Debug Information
• Empirical Evaluation of Smart Contract Testing: What is the Best Choice?