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)