McCormack, I. ., Sunshine, J. ., & Aldrich, J. . (2005). A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries. In International Conference on Software Enginering. (Original work published April 2025)