Xuanyu Peng

Orcid: 0000-0001-8613-3506

According to our database¹, Xuanyu Peng authored at least 5 papers between 2023 and 2026.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2026

Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2026

2025

LOUD: Synthesizing Strongest and Weakest Specifications.

[BibT_eX]

[DOI]

Kanghee Park

Xuanyu Peng

Loris D'Antoni

Proc. ACM Program. Lang., 2025

2024

A Novel Remote-Tracking Heart Rate Measurement Method Based on Stepping Motor and mm-Wave FMCW Radar.

[BibT_eX]

[DOI]

Yaokun Hu

Xuanyu Peng

Takeshi Toda

IEICE Trans. Commun., 2024

ASAC: A Benchmark for Algorithm Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

2023

Synthesizing Efficient Memoization Algorithms.

[BibT_eX]

[DOI]

Yican Sun

Xuanyu Peng

Yingfei Xiong

Proc. ACM Program. Lang., October, 2023

Xuanyu Peng

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...