Xuanyu Peng

Orcid: 0000-0001-8613-3506

According to our database1, Xuanyu Peng authored at least 4 papers between 2023 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A Novel Remote-Tracking Heart Rate Measurement Method Based on Stepping Motor and mm-Wave FMCW Radar.
IEICE Trans. Commun., 2024

LOUD: Synthesizing Strongest and Weakest Specifications.
CoRR, 2024

ASAC: A Benchmark for Algorithm Synthesis.
Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

2023
Synthesizing Efficient Memoization Algorithms.
Proc. ACM Program. Lang., October, 2023


  Loading...