Travelled to:
1 × Italy
2 × USA
Collaborated with:
T.W.Reps P.Anderson D.Binkley T.Teitelbaum S.Horwitz S.Sagiv
Talks about:
insensit (2) point (2) flow (2) set (2) interprocedur (1) precis (1) speed (1) slice (1) chop (1) up (1)
Person: Genevieve Rosay
DBLP: Rosay:Genevieve
Contributed to:
Wrote 4 papers:
- SCAM-2001-AndersonBRT #points-to #set
- Flow Insensitive Points-To Sets (PA, DB, GR, TT), pp. 81–91.
- SCAM-J-2001-AndersonBRT02 #points-to #set
- Flow insensitive points-to sets (PA, DB, GR, TT), pp. 743–754.
- FSE-1995-RepsR #interprocedural #precise
- Precise Interprocedural Chopping (TWR, GR), pp. 41–52.
- FSE-1994-RepsHSR #slicing
- Speeding up Slicing (TWR, SH, SS, GR), pp. 11–20.