Symbolic pointer analysis revisited. - Jianwen Zhu; Silvian Calman (PLDI, 2004)

Context sensitive symbolic pointer analysis. - Jianwen Zhu; Silvian Calman (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2005)

Increasing the Scope and Resolution of Interprocedural Static Single Assignment. - Silvian Calman; Jianwen Zhu (SAS, 2009)

Evaluating Constant Propagation and Scalar Evolution Analysis on Interprocedural SSA Form. - Silvian Calman (Software Engineering Research and Practice, 2009)

Interprocedural induction variable analysis based on interprocedural SSA form IR. - Silvian Calman; Jianwen Zhu (PASTE, 2010)