📄 http:^^www.cs.cornell.edu^info^people^yanhong^index-postdoc.html

📁 This data set contains WWW-pages collected from computer science departments of various universities
💻 HTML
字号:
MIME-Version: 1.0
Server: CERN/3.0
Date: Wednesday, 20-Nov-96 19:31:02 GMT
Content-Type: text/html
Content-Length: 8144
Last-Modified: Saturday, 24-Aug-96 03:26:22 GMT

<!doctype htmlplus public "-//Internet/RFC xxxx//EN"><htmlplus><head><title>Yanhong Annie Liu's home page</title></head><body><h1>Yanhong Annie Liu</h1> <!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><img src="http://www.cs.cornell.edu/Info/People/yanhong/yanhong.gif"><p> I am a Post-Doctorate Associate working with Professor <!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><ahref="http://www.cs.cornell.edu/home/tt/"> Tim Teitelbaum</a>.<h2>Research Interests</h2> General systematic approaches to improving the efficiency ofcomputations.  Program analysis and transformation techniques forincremental computation and parallel/concurrent computation.Applications in optimizing compilers, language-based interactivesystems, algorithm design, program development, software systemorganization, and software maintenance.<h2>Selected Publications and Talks</h2><h3>Ph.D. Dissertation</h3><li> Yanhong A. Liu.  <i>Incremental Computation: A Semantics-BasedSystematic Transformational Approach</i>, Cornell University, Ithaca,New York, January 1996.  Also appeared as Cornell Technical Report TR95-1551, October, 1995.  <!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><a href="http://www.cs.cornell.edu/Info/People/yanhong/thesis-abs.html">abstract</a><h3>Journal Publication</h3><li> Y. A. Liu and T. Teitelbaum.<!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><a href="ftp://ftp.cs.cornell.edu/pub/yanhong/Inc-SCP95.ps.Z">Systematic derivation of incremental programs</a>.<i>Science of Computer Programming</i>, 24(1):1-39, February 1995.<h3>Refereed Conference Publications</h3><li> Y. A. Liu, S. D. Stoller, and T. Teitelbaum.<!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><a href="ftp://ftp.cs.cornell.edu/pub/yanhong/Dai-POPL96.ps.Z">Discovering auxiliary information for incremental computation</a>.In <i>Proceedings of the 23rd Annual ACM SIGPLAN-SIGACT Symposium on  Principles of Programming Languages</i>, pages 157-170,St. Petersburg Beach, Florida, January 1996.<p><li> Y. A. Liu.<!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><a href="ftp://ftp.cs.cornell.edu/pub/yanhong/Cachet-KBSE95.ps.Z">CACHET: An interactive, incremental-attribution-based program  transformation system for deriving incremental programs</a>.In <i>Proceedings of the 10th Knowledge-Based Software Engineering  Conference</i>, pages 19-26,Boston, Massachusetts, November 1995.  IEEE Computer Society Press.<p><li> Y. A. Liu.Selectively caching intermediate results for incremental computation.In <i>Proceedings of the 4th International Conference for  Young Computer Scientists</i>,pages 367-374, Beijing, China, July 1995. Peking University Press.<p><li> Y. A. Liu and T. Teitelbaum.<!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><a href="ftp://ftp.cs.cornell.edu/pub/yanhong/Cir-PEPM95.ps.Z">Caching intermediate results for program improvement</a>.In <i>Proceedings of the ACM SIGPLAN Symposium on  Partial Evaluation and Semantics-Based Program Manipulation</i>,pages 190-201, La Jolla, California, June 1995.<p><li> Y. A. Liu.Deriving incremental programs.In <i>Proceedings of the 3rd International Conference for   Young Computer Scientists</i>,Beijing, China, July 1993. Tsinghua University Press.<p><li> 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 <i>Proceedings of the 3rd International Fuzzy System Association  World Congress</i>,Seattle, Washington, August 1989.<p><li> Y. Liu, B. Zhang, and J. Wang.The quantitative and qualitative inexactness and reasoning in  multi-factor combination problems.In <i>Proceedings of International Symposium for   Young Computer Professionals</i>,Beijing, China, August 1989. The Publishing House of Surveying and Mapping.<h3>Technical Reports</h3><li> Y. A. Liu and T. Teitelbaum.<!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><a href="ftp://ftp.cs.cornell.edu/pub/yanhong/Tsd-TR95.ps.Z">Incremental computation for transformational software development</a>.<i>Technical Report TR 95-1499, Department of Computer Science, Cornell  University</i>, Ithaca, New York, March 1995.<p><li> Y. A. Liu and T. Teitelbaum.<!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><a href="ftp://ftp.cs.cornell.edu/pub/yanhong/Cir-TR95.ps.Z">Caching intermediate results for program improvement</a>.<i>Technical Report TR 95-1498, Department of Computer Science, Cornell  University</i>, Ithaca, New York, March 1995.<p><li> Y. A. Liu and T. Teitelbaum.<!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><a href="ftp://ftp.cs.cornell.edu/pub/yanhong/Inc-TR94.ps.Z">Systematic derivation of incremental programs</a>.<i>Technical Report TR 94-1444, Department of Computer Science, Cornell  University</i>, Ithaca, New York, August 1994.<p><li> Y. Liu and T. Teitelbaum.<!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><a href="ftp://ftp.cs.cornell.edu/pub/yanhong/Drv-TR93-Rvs.ps.Z">Deriving incremental programs</a>.<i>Technical Report TR 93-1384, Department of Computer Science, Cornell  University</i>, Ithaca, New York, September (revised October) 1993.<p><li> Y. Liu and T. Wakayama.Incremental line breaking algorithms.<i>Technical Report, Xerox Webster Research Center</i>, Webster, New York, August 1992.<h3>Talks</h3><li> <!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><a href="ftp://ftp.cs.cornell.edu/pub/yanhong/talk-Dai-POPL96.ps.Z">  Discovering Auxiliary Information for Incremental Computation</a>.   <i> The 23rd Annual ACM SIGPLAN-SIGACT Symposium on  Principles of Programming Languages</i>,   St. Petersburg Beach, Florida, January 23, 1996.<p> <li> <!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><a href="ftp://ftp.cs.cornell.edu/pub/yanhong/talk-Cachet-KBSE95.ps.Z">  CACHET: A System for Deriving Incremental Programs</a>.   <i> The 10th Knowledge-Based Software Engineering Conference</i>,   Boston, Massachusetts, November 13, 1995.<p> <li> Selectively Caching Intermediate Results for Incremental Computation.  <i>The 4th  International Conference for Young Computer Scientists</i>,   Beijing, China, July 19, 1995.<p> <li> Caching Intermediate Results for Program Improvement. <i>ACM  Symposium on Partial Evaluation and Semantics-Based Program  Manipulation</i>, La Jolla, California, June 23, 1995 <p> <li> Systematic Derivation of Incremental Programs. <i>Kestrel Institute</i>,   Palo Alto, California, July 1, 1994.<p><li> Systematic Derivation of Incremental Programs. <i>Dagstuhl-Seminar on   Incremental Computation and Dynamic Algorithms</i>, International Conference  and Research Center for Computer Science, Schloss Dagstuhl, Germany, May  5, 1994.<p><li> Deriving Incremental Programs. <i>The 3rd International Conference  for Young Computer Scientists</i>, Beijing, China, July 15, 1993.<p><li> Automatic Derivation of Incremental Programs. <i>System Science  Laboratory, Xerox Webster Research Center</i>, Webster, New York,  July 6, 1992.<h2>Software Systems and Documents</h2><li> <!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><a href="http://www.cs.cornell.edu/Info/People/yanhong/cachet.html">CACHET</a>:  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.<p> <li> 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.<h2>Current Projects</h2><li> <!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><a href="http://www.cs.cornell.edu/Info/People/yanhong/cachet.html"> Deriving Incremental Programs</a><br>  A general systematic transformational approach to   improving the efficiency of computations.<p> <li> <!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><a href="http://www.cs.cornell.edu/Info/People/yanhong/polya.html"> Composing Efficient Programs</a><br>  Optimization and selection techniques for   building efficient programs from components.<hr><address><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><a href="http://www.cs.cornell.edu/">Department of Computer Science</a><br>4141 Upson Hall<br>Cornell University<br>Ithaca, NY 14853<br>(607) 255-5579 (Office)<br>(607) 255-4428 (Fax)<br>(607) 277-6468 (Home)<br><kbd>yanhong@cs.cornell.edu</address><p> Last updated November 18, 1995<hr>I have moved on August 17, 1996 to<p><address><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><a href="http://www.cs.indiana.edu/">Computer Science Department</a><br>201E Lindley Hall<br>Indiana University<br>Bloomington, IN 47405<br>(812) 855-4373 (Office)<br>(812) 855-4829 (Fax)<br>(812) 337-0426 (Home)<br><kbd>liu@cs.indiana.edu<br><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><a href="http://www.cs.indiana.edu/people/l/liu.html">http://www.cs.indiana.edu/people/l/liu.html</a></address></body>
⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -