We stand with Ukraine  

Pingshi Yu

Orcid: 0000-0002-4998-4878

According to our database1, Pingshi Yu authored at least 4 papers between 2021 and 2025.

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

2025
Ratte: Fuzzing for Miscompilations in Multi-Level Compilers Using Composable Semantics.
[BibTeX]
[DOI]
Pingshi Yu
,
Nicolas Wu
,
Alastair F. Donaldson
Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2025

2023
Reasoning about MLIR Semantics through Effects and Handlers.
[BibTeX]
[DOI]
Pingshi Yu
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

RustSmith: Random Differential Compiler Testing for Rust.
[BibTeX]
[DOI]
Mayank Sharma
,
Pingshi Yu
,
Alastair F. Donaldson
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

2021
A Novel Automated Screening Method for Combinatorially Generated Small Molecules.
[BibTeX]
[DOI]
Pingshi Yu
,
Alistair J. Sterling
,
Jotun Hein
J. Chem. Inf. Model., 2021


  Loading...