| 2009 | ||
|---|---|---|
| 4 | Silvian Calman, Jianwen Zhu: Increasing the Scope and Resolution of Interprocedural Static Single Assignment. SAS 2009: 154-170 | |
| 3 | Silvian Calman: Evaluating Constant Propagation and Scalar Evolution Analysis on Interprocedural SSA Form. Software Engineering Research and Practice 2009: 283-287 | |
| 2005 | ||
| 2 | Jianwen Zhu, Silvian Calman: Context sensitive symbolic pointer analysis. IEEE Trans. on CAD of Integrated Circuits and Systems 24(4): 516-531 (2005) | |
| 2004 | ||
| 1 | Jianwen Zhu, Silvian Calman: Symbolic pointer analysis revisited. PLDI 2004: 145-157 | |
| 1 | Jianwen Zhu | [1] [2] [4] |