|
| |
|
Donglin Liang
PhD Candidate
Curriculum vitae PS,
PDF
College of Computing
Georgia Institute of Technology
801 Atlantic Drive
Atlanta, GA 30332
(404)385-1737
dliang@cc.gatech.edu
|
|
Research
Reasoning and understanding program source codes is a time-consuming yet key activity
in software development and maintenance. Program analyses that automatically reason
and extract information from programs have been proposed to improve the efficiency
and effectiveness of this activity. However, very few program analysis have been used in
software development tools because they cannot efficiently handle language constructs
such as pointers, references, polymorphism, and exception that appear in modern
programming languages (e.g., C, C++, Java). My current research focuses on developing
techniques that can efficiently handle, as precisely as possible, pointers/references in
program analyses. The ultimate goal of my research is to facilitate practical software
tools for developing, testing, and maintaining of real software.
Publications
Journal
-
Donglin Liang and Mary Jean Harrold, Equivalence Analysis and Its Application
in Improving the Efficiency of Program Slicing, Nov. 2001, (Under Review)
Conference
-
M.J. Harrold, J. Jones, T. Li, D. Liang, A. Orso, M. Pennings, S. Sinha, S.
Spoon, and A. Gujarathi, Regression Test Selection for
Java Software.Proceedings of the ACM Conference on
Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2001),
Nov,
2001
[Abstract][Full
text in PS][Full
text in PDF][ACM
Copyright]
-
Donglin Liang and Mary Jean Harrold, Efficient Computation of Parameterized
Pointer Information for Interprocedural Analyses, Proceedings of
Static Analysis Symposium (SAS), pp279--298, July, 2001
[Abstract][Full
text in PS][Full
text in PDF]
-
Donglin Liang, Maikel Pennings, and Mary Jean Harrold, Extending and
Evaluating Flow-Insensitive and Context-Insensitive Points-to Analyses
for Java, in ACM PASTE'01, pp73--79, June, 2001
[Abstract][Full
text in PS][Full
text in PDF][ACM
Copyright]
-
Donglin Liang and Mary Jean Harrold, Towards Efficient and Accurate
Program Analysis Using Light-Weight Context Recovery, 22nd International
Conference on Software Engineering, pp366-375, June, 2000
[Abstract][Full
text in PS][Full
text in PDF][IEEE
Copyright]
-
Donglin Liang and Mary Jean Harrold, Reuse-Driven Interprocedural Slicing
in the Presence of Pointers and Recursion, In Proceedings of the
1999 International Conference on Software Maintenance pp 421-430, Sept,
1999
[Abstract][Full
text in PS][Full
text in PDF][IEEE
Copyright]
-
Donglin Liang and Mary Jean Harrold, Efficient Points-to Analysis for
Whole-Program Analysis, In 7th ACM Symposium on Foundations of Software
Engineering
, pp 199-215, Sept. 1999
[Abstract][Full
text in PS][Full
text in PDF][ACM
Copyright]
-
Donglin Liang and Mary Jean Harrold, Equivalence Analysis: A General
Technique to Improve the Efficiency of Data-Flow Analyses in the Presence
of Pointers, In ACM PASTE'99, pp 39--46, Sept. 1999
[Abstract][Full
text in PS][Full
text in PDF][ACM
Copyright]
-
Donglin Liang and Mary Jean Harrold, Slicing Objects Using System Dependence
Graphs, In Proceedings of the 1998 International Conference on Software
Maintenance, pp 358--367, Nov. 1998
[Abstract][Full
text in PS][Full
text in PDF][IEEE
Copyright]
Others
-
Donglin Liang and Mary Jean Harrold, Discovering Context Information
for Efficient and Accurate Program Analyses, Tech Report GIT-CC-00-14,
Georgia Institute of Technology, March, 2000
[Abstract][Full
text in PS][Full
text in PDF]
-
Mary Jean Harrold, Donglin Liang, and Saurabh Sinha, An Approach To
Analyzing and Testing Component-based Systems, In First International
ICSE Workshop on Testing Distributed Component-Based Systems, May,
1999, Los Angeles, CA, USA
[Abstract][Full
text in PS][Full
text in PDF]
-
P. Bhaniramka, R. Crawfis, H. S. Kang, D. Liang, R. Wenger, and Z. Yao. Marching Cubes in Four and Higher Dimensions: Extended Abstract. 4th CGC Workshop on Computational Geometry, 1999
Presentations
Invited Talks
Posters
-
Pointer Analysis for Practical Interprocedural Program Analyses, at Conference on Programming
Language Design and Implementation, June, 2001
-
Context-insensitive and flow-insensitive points-to analysis for
Java: Extension and Evaluation, at ACM Conference on
Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2001),Nov,
2001
See my personal web page
at
http://www.cc.gatech.edu/~dliang
|
