Repository files navigation

qiliangzh

my work file

hello

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
LoopExtractor		LoopExtractor
A Practical Introduction to Data Structure and Algorithm.pdf		A Practical Introduction to Data Structure and Algorithm.pdf
Efﬁcient Type and Memory Safety for Tiny Embedded Systems.pdf		Efﬁcient Type and Memory Safety for Tiny Embedded Systems.pdf
Estimatingthe impact of scalable pointer analysis on optimization.pdf		Estimatingthe impact of scalable pointer analysis on optimization.pdf
Eﬃcient computation of Parameterized pointer information for interprocess.pdf		Eﬃcient computation of Parameterized pointer information for interprocess.pdf
Induction Variable Substitution and Reduction Recognition in the polaris parallelizing compiler.pdf		Induction Variable Substitution and Reduction Recognition in the polaris parallelizing compiler.pdf
Moudular Interprocedural Pointer Analysis Using Access Paths.pdf		Moudular Interprocedural Pointer Analysis Using Access Paths.pdf
Program Analysis and SpecializationPhD.pdf		Program Analysis and SpecializationPhD.pdf
README.md		README.md
Scalable context-sensitive flow analysis using instantiation.pdf		Scalable context-sensitive flow analysis using instantiation.pdf
Symbolic Bounds Analysis of Pointers,Array Indices, and Accessed Memory.pdf		Symbolic Bounds Analysis of Pointers,Array Indices, and Accessed Memory.pdf
data_structures.pdf		data_structures.pdf
dsa.pdf		dsa.pdf
p242-emami.pdf		p242-emami.pdf