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] |