- CSB - MetaPress - Google - Bing - Yahoo
 | 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] |