A Novel Automated Screening Method for Combinatorially Generated Small Molecules. - Pingshi Yu; Alistair J. Sterling; Jotun Hein (J. Chem. Inf. Model., 2021)

RustSmith: Random Differential Compiler Testing for Rust. - Mayank Sharma; Pingshi Yu; Alastair F. Donaldson (ISSTA, 2023)

Reasoning about MLIR Semantics through Effects and Handlers. - Pingshi Yu (ISSTA, 2023)

Ratte: Fuzzing for Miscompilations in Multi-Level Compilers Using Composable Semantics. - Pingshi Yu; Nicolas Wu; Alastair F. Donaldson (ASPLOS (2), 2025)