| |
| 2005 | ||
|---|---|---|
| 2 | EE | 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 | EE | Jianwen Zhu, Silvian Calman: Symbolic pointer analysis revisited. PLDI 2004: 145-157 |
| 1 | Jianwen Zhu | [1] [2] |