Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Pingshi Yu
conf.researchr.org general profile
ECOOP and ISSTA 2023 profile
ICSE 2025 profile
Registered user since Wed 19 Jul 2023
Name:
Pingshi Yu
Affiliation:
Imperial College London
Contributions
2025
FormaliSE
Committee Member in Artifact Evaluation Committee within the Artifact Track-track
2023
ECOOP/ISSTA
Speaker of Reasoning About MLIR Semantics Through Algebraic Effects and Handlers within the Doctoral Symposium-track
ISSTA
Author of RustSmith: Random Differential Compiler Testing for Rust within the Tool Demonstrations-track
Share
x
Tue 12 Nov 20:46