Smart Paste: Automatically Fixing Copy/Paste for Google Developers. - Vincent Nguyen; Guilherme Herzog; José Cambronero; Marcus Revaj; Aditya Kini; Alexander Frömmgen; Maxim Tabachnyk (CoRR, 2025)