| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 5 |      | Silvian Calman, Jianwen Zhu: Interprocedural induction variable analysis based on interprocedural SSA form IR. PASTE 2010: 37-44 |
| 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] [5] |
Data released under the ODC-BY 1.0 license — See also our legal information page