Andrew Ayers Stuart de Jong John Peyton Richard Schooler Scalable Cross-Module Optimization. 301-312 1998 PLDI db/conf/pldi/pldi98.html#AyersJPS98