Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Pingshi Yu
2  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

RustSmith: Random Differential Compiler Testing for Rust:

, In: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis,
Sharma, Mayank ; Yu, Pingshi ; Donaldson, Alastair F. - p. 1483-1486 , 2023
Link: https://dl.acm.org/doi/1..
 
?
2

Reasoning about MLIR Semantics through Effects and Handlers:

, In: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis,
Yu, Pingshi - p. 1552-1554 , 2023
Link: https://dl.acm.org/doi/1..
 
1-2