Added Rust reference to PLDI14