BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
3 × Germany
7 × USA
Collaborated with:
S.Calman ∅ W.S.Mong D.Gajski B.Wu F.N.Najm Z.Wang M.Abbaspour
Talks about:
analysi (5) interprocedur (3) pointer (3) static (3) level (3) retarget (2) approach (2) system (2) estim (2) dynam (2)

Person: Jianwen Zhu

DBLP DBLP: Zhu:Jianwen

Contributed to:

PASTE 20102010
SAS 20092009
DAC 20052005
DAC 20042004
PLDI 20042004
DAC 20032003
DATE 20032003
DAC 20022002
DATE 20012001
DAC 19991999
DATE 19991999

Wrote 13 papers:

PASTE-2010-CalmanZ #analysis #induction #information retrieval #interprocedural
Interprocedural induction variable analysis based on interprocedural SSA form IR (SC, JZ), pp. 37–44.
SAS-2009-CalmanZ #interprocedural
Increasing the Scope and Resolution of Interprocedural Static Single Assignment (SC, JZ), pp. 154–170.
DAC-2005-WuZN #approach #estimation #parametricity
A non-parametric approach for dynamic range estimation of nonlinear systems (BW, JZ, FNN), pp. 841–844.
DAC-2005-Zhu #analysis #pointer #scalability #towards
Towards scalable flow and context sensitive pointer analysis (JZ), pp. 831–836.
DAC-2004-WuZN #approach #estimation
An analytical approach for dynamic range estimation (BW, JZ, FNN), pp. 472–477.
PLDI-2004-ZhuC #analysis #pointer #revisited
Symbolic pointer analysis revisited (JZ, SC), pp. 145–157.
DAC-2003-MongZ #architecture
A retargetable micro-architecture simulator (WSM, JZ), pp. 752–757.
DATE-2003-WangZ #analysis #polynomial
Transistor-Level Static Timing Analysis by Piecewise Quadratic Waveform Matching (ZW, JZ), pp. 11026–11031.
DATE-2003-ZhuM #component #non-functional #specification
Specification of Non-Functional Intellectual Property Components (JZ, WSM), pp. 10456–10461.
DAC-2002-AbbaspourZ
Retargetable binary utilities (MA, JZ), pp. 331–336.
DATE-2001-Zhu01a #analysis #memory management #pointer
Static memory allocation by pointer analysis and coloring (JZ), pp. 785–790.
DAC-1999-ZhuG #scheduling #synthesis
Soft Scheduling in High Level Synthesis (JZ, DG), pp. 219–224.
DATE-1999-ZhuG #design #named
OpenJ: An Extensible System Level Design Language (JZ, DG), pp. 480–484.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.