Silvian Calman

Publication Activity (10 Years)

Years Active: 2004-2010
Publications (10 Years): 0

Publications

Silvian Calman, Jianwen Zhu
Interprocedural induction variable analysis based on interprocedural SSA form IR. PASTE (2010)
Silvian Calman
Evaluating Constant Propagation and Scalar Evolution Analysis on Interprocedural SSA Form. Software Engineering Research and Practice (2009)
Silvian Calman, Jianwen Zhu
Increasing the Scope and Resolution of Interprocedural Static Single Assignment. SAS (2009)
Jianwen Zhu, Silvian Calman
Context sensitive symbolic pointer analysis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 24 (4) (2005)
Jianwen Zhu, Silvian Calman
Symbolic pointer analysis revisited. PLDI (2004)