Pingshi Yu

According to our database, Pingshi Yu authored at least 3 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Reasoning about MLIR Semantics through Effects and Handlers.

Pingshi Yu

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

RustSmith: Random Differential Compiler Testing for Rust.

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.

Pingshi Yu, Alistair J. Sterling, Jotun Hein

J. Chem. Inf. Model., 2021