Author

X. Zhou

Observed names: Xintong Zhou, Zhou, Xintong

Observed institution: University of Waterloo

ORCID: 0009-0002-6444-5431

Observed ORCID: 0009-0002-6444-5431

OpenAlex ID: A5113861464

Kitten: A Simple Yet Effective Baseline for Evaluating LLM-Based Compiler Testing Techniques

2025 · Yuanmin Xie, Zhenyang Xu, et al. · ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) · 9

DYNASMART-X User's Guide and Programmer's Guide

2004 · Hani S. Mahmassani, X. Zhou, et al. · 5

On the Feasibility of Deduplicating Compiler Bugs with Bisection

2026 · Xintong Zhou, Zhenyang Xu, et al. · Proceedings of the ACM on software engineering. · 1

LPO: Discovering Missed Peephole Optimizations with Large Language Models

2026 · Zhenyang Xu, Hongxu Xu, et al. · ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) · 1

LLVM Translation Validation Automated with Large Language Models and Lean

2026 · Liao, Chunhao, Xu, Hongxu, et al. · arXiv (Cornell University)

PDF

Can Coding Agents Implement Missed Compiler Optimizations? Evaluating LLM Agents on LLVM Peephole Optimizations

2026 · Xu, Hongxu, Liao, Chunhao, et al. · arXiv (Cornell University)

PDF

Validating Mixed-Integer Programming Solvers

2026 · Xintong Zhou, Zhenyang Xu, et al. · IEEE/ACM International Conference on Software Engineering (ICSE)

Leveraging Large Language Models for Generalizing Peephole Optimizations

2026 · Liao, Chunhao, Xu, Hongxu, et al. · arXiv (Cornell University)

PDF

CIGR E-Journal Volume 5

2003 · Protti de Andrade, John Ashburner, et al. · eCommons (Cornell University)

DYNASMART-P: Intelligent Transportation Network Planning Tool -Programmer's Manual

2000 · Hani S. Mahmassani, Ahmed Abdelghany, et al.

Works count: 10

Citation count: 16

H-index: 2

I10-index: