Towards Language-Agnostic Mobile Code. - Peter Housel; Christian H. Stork; Vivek Haldar; Niall Dalton; Michael Franz (BABEL, 2001)

The source is the proof. - Vivek Haldar; Christian H. Stork; Michael Franz (NSPW, 2002)

Efficiently Verifiable Escape Analysis. - Matthew Q. Beers; Christian H. Stork; Michael Franz (ECOOP, 2004)