Speeding up Slicing. - Thomas W. Reps; Susan Horwitz; Shmuel Sagiv; Genevieve Rosay (SIGSOFT FSE, 1994)

Precise Interprocedural Chopping. - Thomas W. Reps; Genevieve Rosay (SIGSOFT FSE, 1995)

Flow insensitive points-to sets. - Paul Anderson; David W. Binkley; Genevieve Rosay; Tim Teitelbaum (Inf. Softw. Technol., 2002)