Pingshi Yu

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 3

Top Topics

Code Generation

Multilingual Information Retrieval

Top Venues

J. Chem. Inf. Model.

Publications

Pingshi Yu
Reasoning about MLIR Semantics through Effects and Handlers. ISSTA (2023)
Mayank Sharma, Pingshi Yu, Alastair F. Donaldson
RustSmith: Random Differential Compiler Testing for Rust. ISSTA (2023)
Pingshi Yu, Alistair J. Sterling, Jotun Hein
A Novel Automated Screening Method for Combinatorially Generated Small Molecules. J. Chem. Inf. Model. 61 (4) (2021)