Liukun Yu

According to our database1, Liukun Yu authored at least 2 papers between 2025 and 2026.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of six.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
RustCompCert: A Verified and Verifying Compiler for a Sequential Subset of Rust.
CoRR, February, 2026

2025
End-to-end Compositional Verification of Program Safety through Verified and Verifying Compilation.
CoRR, October, 2025


  Loading...