Yanhong Annie Liu's home page
Yanhong Annie Liu
I am a Post-Doctorate Associate working with Professor Tim Teitelbaum.
Research Interests
General systematic approaches to improving the efficiency of
computations. Program analysis and transformation techniques for
incremental computation and parallel/concurrent computation.
Applications in optimizing compilers, language-based interactive
systems, algorithm design, program development, software system
organization, and software maintenance.
Selected Publications and Talks
Ph.D. Dissertation
Yanhong A. Liu. Incremental Computation: A Semantics-Based
Systematic Transformational Approach, Cornell University, Ithaca,
New York, January 1996. Also appeared as Cornell Technical Report TR
95-1551, October, 1995. abstract
Journal Publication
Y. A. Liu and T. Teitelbaum.
Systematic derivation of incremental programs.
Science of Computer Programming, 24(1):1-39, February 1995.
Refereed Conference Publications
Y. A. Liu, S. D. Stoller, and T. Teitelbaum.
Discovering auxiliary information for incremental computation.
In Proceedings of the 23rd Annual ACM SIGPLAN-SIGACT Symposium on
Principles of Programming Languages, pages 157-170,
St. Petersburg Beach, Florida, January 1996.
Y. A. Liu.
CACHET: An interactive, incremental-attribution-based program
transformation system for deriving incremental programs.
In Proceedings of the 10th Knowledge-Based Software Engineering
Conference, pages 19-26,
Boston, Massachusetts, November 1995. IEEE Computer Society Press.
Y. A. Liu.
Selectively caching intermediate results for incremental computation.
In Proceedings of the 4th International Conference for
Young Computer Scientists,
pages 367-374, Beijing, China, July 1995. Peking University Press.
Y. A. Liu and T. Teitelbaum.
Caching intermediate results for program improvement.
In Proceedings of the ACM SIGPLAN Symposium on
Partial Evaluation and Semantics-Based Program Manipulation,
pages 190-201, La Jolla, California, June 1995.
Y. A. Liu.
Deriving incremental programs.
In Proceedings of the 3rd International Conference for
Young Computer Scientists,
Beijing, China, July 1993. Tsinghua University Press.
Y. Liu, B. Zhang, and J. Wang.
A formalized uncertainty reasoning model that combines qualitative
partitions and quantitative descriptions in multi-factor combination
problems.
In Proceedings of the 3rd International Fuzzy System Association
World Congress,
Seattle, Washington, August 1989.
Y. Liu, B. Zhang, and J. Wang.
The quantitative and qualitative inexactness and reasoning in
multi-factor combination problems.
In Proceedings of International Symposium for
Young Computer Professionals,
Beijing, China, August 1989. The Publishing House of Surveying and Mapping.
Technical Reports
Y. A. Liu and T. Teitelbaum.
Incremental computation for transformational software development.
Technical Report TR 95-1499, Department of Computer Science, Cornell
University, Ithaca, New York, March 1995.
Y. A. Liu and T. Teitelbaum.
Caching intermediate results for program improvement.
Technical Report TR 95-1498, Department of Computer Science, Cornell
University, Ithaca, New York, March 1995.
Y. A. Liu and T. Teitelbaum.
Systematic derivation of incremental programs.
Technical Report TR 94-1444, Department of Computer Science, Cornell
University, Ithaca, New York, August 1994.
Y. Liu and T. Teitelbaum.
Deriving incremental programs.
Technical Report TR 93-1384, Department of Computer Science, Cornell
University, Ithaca, New York, September (revised October) 1993.
Y. Liu and T. Wakayama.
Incremental line breaking algorithms.
Technical Report, Xerox Webster Research Center,
Webster, New York, August 1992.
Talks
Discovering Auxiliary Information for Incremental Computation.
The 23rd Annual ACM SIGPLAN-SIGACT Symposium on
Principles of Programming Languages,
St. Petersburg Beach, Florida, January 23, 1996.
CACHET: A System for Deriving Incremental Programs.
The 10th Knowledge-Based Software Engineering Conference,
Boston, Massachusetts, November 13, 1995.
Selectively Caching Intermediate Results for Incremental Computation.
The 4th International Conference for Young Computer Scientists,
Beijing, China, July 19, 1995.
Caching Intermediate Results for Program Improvement. ACM
Symposium on Partial Evaluation and Semantics-Based Program
Manipulation, La Jolla, California, June 23, 1995
Systematic Derivation of Incremental Programs. Kestrel Institute,
Palo Alto, California, July 1, 1994.
Systematic Derivation of Incremental Programs. Dagstuhl-Seminar on
Incremental Computation and Dynamic Algorithms, International Conference
and Research Center for Computer Science, Schloss Dagstuhl, Germany, May
5, 1994.
Deriving Incremental Programs. The 3rd International Conference
for Young Computer Scientists, Beijing, China, July 15, 1993.
Automatic Derivation of Incremental Programs. System Science
Laboratory, Xerox Webster Research Center, Webster, New York,
July 6, 1992.
Software Systems and Documents
CACHET:
An incremental-attribution-based interactive system that
uses systematic program analysis and transformation techniques to
obtain efficient incremental programs.
Department of Computer Science, Cornell University, 1993-present.
OGGEB - An Expert System for the Evaluation of Oil and Gas
Generation in Basins, with Principle Report, Implementation
Techniques, Test Report, Usage Manual, and Expert Knowledge Summary.
Research Institute of Oil Exploration and Development Science
(CD-RIED) and Tshinghua University, Beijing, 1988-1990.
Co-authored with J. Song, T. Sun, D. Huang, X. Zhu, B. Zhang, and J. Wang.
Current Projects
Deriving Incremental Programs
A general systematic transformational approach to
improving the efficiency of computations.
Composing Efficient Programs
Optimization and selection techniques for
building efficient programs from components.
Department of Computer Science
4141 Upson Hall
Cornell University
Ithaca, NY 14853
(607) 255-5579 (Office)
(607) 255-4428 (Fax)
(607) 277-6468 (Home)
yanhong@cs.cornell.edu
Last updated November 18, 1995
I have moved on August 17, 1996 to
Computer Science Department
201E Lindley Hall
Indiana University
Bloomington, IN 47405
(812) 855-4373 (Office)
(812) 855-4829 (Fax)
(812) 337-0426 (Home)
liu@cs.indiana.edu
http://www.cs.indiana.edu/people/l/liu.html