Authors: DeLine, R Fahndrich, M

Citation: R. Deline et M. Fahndrich, Enforcing high-level protocols in low-level software, ACM SIGPL N, 36(5), 2001, pp. 59-69

Authors: Rehof, J Fahndrich, M

Citation: J. Rehof et M. Fahndrich, Type-based flow analysis: From polymorphic subtyping to CFL-reachability., ACM SIGPL N, 36(3), 2001, pp. 54-66

Authors: Fahndrich, M Rehof, J Das, M

Citation: M. Fahndrich et al., Scalable context-sensitive flow analysis using instantiation constraints, ACM SIGPL N, 35(5), 2000, pp. 253-263

Authors: Foster, JS Fahndrich, M Aiken, A

Citation: Js. Foster et al., A theory of type qualifiers, ACM SIGPL N, 34(5), 1999, pp. 192-203