Control-Flow Effects for Escape Analysis. - Yan Mei Tang; Pierre Jouvelot (WSA, 1992)

Separate Abstract Interpretation for Control-Flow Analysis. - Yan Mei Tang; Pierre Jouvelot (TACS, 1994)

Effect Systems with Subtyping. - Yan Mei Tang; Pierre Jouvelot (PEPM, 1995)