http:^^www.cs.cornell.edu^info^people^tt^vita^vita.html

来自「This data set contains WWW-pages collect」· HTML 代码 · 共 966 行 · 第 1/3 页

Data Processing for Bubble Chambers and Spark Chambers</i>, New York, NY,
October 1968, pages 256-265 (with Newman, <i> et al.</i>).

<p><li> Current status of automatic scanning at Columbia University.  
<i> 1967 International Conference on Programming for Flying Spot Devices</i>, 
Munich, January 1967 (with D. Burd).
</ol>

<h4><i>Tutorials</i></h4>
<ol>
<li> Semantic Analysis.  <i>SIGPLAN '93 Conference on
Programming Language Design and Implementation</i>, Albuquerque, NM,
June, 1993.

<p><li> Generating Language-Sensitive Environment.  <i>SIGPLAN
'92 Conference on Programming Language Design and Implementation</i>, San
Francisco, CA, June 15-19, 1992.


<p><li> Semantic Analysis.  <i>SIGPLAN '88 Conference on
Programming Language Design and Implementation</i>, Atlanta, GA, June
22-24, 1988.

<p><li> Semantic Analysis.  <i>SIGPLAN '86 Symposium on
Complier Construction</i>, Palo Alto, CA, June 25-27, 1986.
</ol>

<h4><i>Other Publications</i></h4>
<ol>
<p><li>On the value of syntax-directed editors.
<i>CACM 25</i>(5), May 1982, pages 351-352 (with T. Reps).
 
<p><li><i>The Cornell Program Synthesizer: a tutorial introduction</i>.
Department of Computer Science, Cornell University, First Edition,
July 1979, Fifth Edition, May 1983, 49 pages.  Approximately 20,000
copies printed.

<p><li>The Cornell Program Synthesizer: announcement.
<i>SIGPLAN NOTICES</i>, October 1979, page 75.
</ol>

<h4><i>Technical Reports</i></h4>
<ol>
<p><li>
<a href="ftp://ftp.cs.cornell.edu/pub/yanhong/Tsd-TR95.ps.Z">
Incremental Computation for Transformational Software
Development</a>.  Tech. Rep. 95-1499, Department of Computer Science,
Cornell Unversity, Ithaca, NY, March 1995 (with Yanhong A. Liu).

<p><li>
<a href="ftp://ftp.cs.cornell.edu/pub/yanhong/Cir-TR95.ps.Z">
Caching Intermediate Results for Program Improvement</a>.
Tech. Rep. 95-1498, Department of Computer Science, Cornell
University, Ithaca, NY, March 1995 (with Yanhong A. Liu).

<p><li>
<a href="ftp://ftp.cs.cornell.edu/pub/yanhong/Inc-TR94.ps.Z">
Systematic Derivation of Incremental Programs</a>.
Tech. Rep. 94-1444, Department of Computer Science, Cornell
University, Ithaca, NY, August 1994 (with Yanhong A. Liu).

<p><li>
<a href="ftp://ftp.cs.cornell.edu/pub/yanhong/Drv-TR93.ps.Z">
Deriving Incremental Programs</a>.  Tech. Rep. 93-1384, Department
of Computer Science, Cornell University, Ithaca, NY, September
(revised October) 1993 (with Yanhong A. Liu).

<p><li><a HREF="/Dienst/UI/2.0/Describe/ncstrl.cornell%2fTR87-835">
Alex --- an Alexical Programming Language</a>.  Tech. Rep. 87-835,
Department of Computer Science, Cornell University, Ithaca, NY, May
1987 (with D. Kozen, <i>et al.</i>).

<p><li><a HREF="/Dienst/UI/2.0/Describe/ncstrl.cornell%2fTR79-370">
The Cornell Program Synthesizer: a microcomputer implementation
of PL/CS</a>.  Tech. Rep. 79-370, Department of Computer Science, Cornell
University, Ithaca, NY, March 1979.

<p><li><A HREF="/Dienst/UI/2.0/Describe/ncstrl.cornell%2fTR76-281">
A formal syntax for PL/CS</a>.  Tech. Rep. 76-281, Department of
Computer Science, Cornell University, Ithaca, NY, January 1976.

<p><li><i>A compiler project</i>.  Department of Computer Science,
Cornell University, Ithaca, NY, January 1976.

<p><li><i>Minimal Distance Analysis of Syntax Errors in Computer
Programs</i>.  Ph D. Thesis, Department of Computer Science,
Carnegie-Mellon University, Pittsburgh, PA, September 1975.
</ol>

<a name="lectures">
<h3>LECTURES</h3>
<ul>
<li> Assuring software quality using an Ada language-sensitive
programming environment.
<ol>
<li>Martin-Marietta Corporation, Syracuse, NY, April 1994.
<li>Loral Aerospace Corporation, Owego, NY, June 1994.
<li>IBM Federal Systems Division, Owego, NY, April 1993.
<li>Software Productivity Laboratory, Herndon, VA, March 1993.
<li>SAIC, Orlando, FL, March 1993.
<li>Martin-Marietta Corp., Orlando, FL, March 1993.
<li>ECC, Orlando, FL, March 1993.
<li>GE Aerospace Corp., Syracuse, NY, July 1992.
<li>IBM Federal Systems Division, Owego, NY, July 1992.
</ol>

<p><li> Higher-order Attribute Grammars and Editing Environments.
<ol>
<li>Rice University, Houston, TX, April 1990.
<li>ACM SIGPLAN '90  Conference on Programming Language and Design and 
Implementation, White Plains, NY, June 1990
</ol>

<p><li>Static semantic analysis.
<ol>
<li>ACM SIGPLAN Conference-93, Albuquerque, NM, June 1993.
</ol>

<p><li>Automatically enforcing quality in ADA software: Implications
for interactive tools.
<ol>
<li>10th Annual Washington ADA Symposium, McLean, VA, June 1993.
</ol>

<p><li>The Synthesizer Generator: A system for constructing
language-based editors.
<ol>
<li>AT\&T Bell Laboratories, Murray Hill, NJ, May 1993.
<li>HP Laboratories, Palo Alto, CA, March 1993.
<li>Lockheed Missiles and Space Co., Palo Alto, CA, March 1993.
<li>HP Corp., Ft. Collins, CO, March 1993.
<li>Software Productivity Consortium, Herndon, VA, March 1993.
<li>Digital Equipment Corporation, Nashua, NH, February 1993.
<li>Ratheon Corporation, Portsmouth, RI, November 1992.
<li>GE Aerospace Corp., Syracuse, NY, July 1992.
<li>RADC, Rome, NY, July 1992.
<li>CASE-92, Montreal, Canada, July 1992.
<li>GTE, Research Triangle Park, NC, May 1992.
<li>Verdix Corporation, Herndon, VA, April 1992.
<li>Loral Space and Range Systems, San Jose, CA, March 1992.
<li>Sun Microsystems Laboratories, Inc., Mountain View, CA, March 1992.
<li>SunPro, Mountain View, CA, March 1992.
<li>Lockheed Missiles and Space Co., Palo Alto, CA, March 1992.
<li>Workshop on Programming Environments, Dagstuhl, Germany, March 1992.
<li>Unisys/Paramax, Arlington, VA, March, 1992.
<li>Software Productivity Consortium, Herndon, VA, February 1992.
<li>Seer Technologies, New York, NY, October 1991.
<li>Tandem Computers, Cupertino, CA, September 1991.
<li>Software Productivity Laboratory, Loral Aerospace Corp., San Jose, CA, September 1991.
<li>IDE, San Fransisco, CA, September 1991.
<li>Telesoft Corp., San Diego, CA, Septmber 1991.
<li>Naval Oceans Systems Center (NOSC), San Diego, CA, September 1991.
<li>NASA, Langley Air Force Base, FL., May 1991.
<li>Ford Aerospace Corp., San Jose, CA., January 1990.
<li>Annual Meeting, Syracuse University CASE Center, Blue Mountain Lake, NY, July 1989.
</ol>

<p><li>Incremental Computation
<ol>
<li>Office of Naval Research, April 1988.
</ol>

<p><li>Generation of Language-Based Programming Environments .
<ol>
<li>Boston SIGPLAN, Intermetrics, Cambridge, MA, November 1988.

<li>General Motors, Warren, MI, March 1988.

<li>Department of Computer Science, Bucknell University, Lewisburg, PA,
November1987.

<li>Department of Mathematics and Computer Science, Dartmouth College, Hanover, NH,
October 1987.

<li>General Electric, Schnectady, NY, July 1987.

<li>Institute for the Retraining in Computer Science. Clarkson University, Potsdam, NY, July 1986.

<li>Office of Naval Research, Washington, DC,
February 1986.

<li>Wang Institute, January, 1985.

<li>Department of Computer Science, University of Maryland,
October, 1984.
</ol>

<p><li>Syntax-directed programming environments.
<ol>

<li>Department of Computer Science, ETH, Lausanne, Switzerland,
July 1984 (2 lectures).

<li>Department of Computer Science, University of Oslo, Oslo, Norway,
February 1983.

<li>Department of Computer Science, University of Linkoping, Linkoping, Sweden,
February 1983.
</ol>

<p><li>Incremental evaluation for attribute grammars with application to
syntax-directed editors.
<ol>
<li>Sino-American Symposium of Computer Software Engineering,
Changsha, Peoples Republic of China, April 1982.

<li>Central Research Laboratory, Nippon Electric Company, Kawasaki-City, Japan,
April 1982.

<li>Department of Computer Science, New York University, New York, NY,
March 1981.

<li>Department of Computer Science, Purdue University, Lafayette, IN,
February 1981.

<li>Eighth Annual ACM Symposium on Principles of Programming Languages (POPL),
Williamsburg, VA, January 1981.

<li>Department of Computer Science, Carnegie-Mellon University, Pittsburgh, 
PA, November l980.
</ol>


<p><li>Design and implementation of the Cornell Program Synthesizer,
a syntax-directed programming environment,
usually with demonstrations on a Terak (LSI-11) microcomputer.

<ol>

<li>Department of Computer Science, Tsinghua University,
Peking, Peoples Republic of China, April 1982.

<li>Sino-American Symposium of Computer Software Engineering,
Changsha, Peoples Republic of China, April 1982.

<li>Central Research Laboratory, Nippon Electric Company, Kawasaki-City, Japan,
April 1982.

<li>Language Issues for Large-Scale Computing,
Department of Energy,
Gleneden Beach, OR, March 1982.

<li>Department of Computer Science, Pennsylvania State University, State College,
PA, December 1981.

<li>Department of Mathematical Sciences, Rensselaer Polytechnic Institute,
Troy, NY, December 1981.

<li>Department of Computer Science, Brown University, Providence, RI,
September 1981.

<li>Department of Computer Science, SUNY Stony Brook, Stony Brook, NY, 
March 1981.

<li>National Bureau of Standards, Gaithersburg, MD, March 1981.

<li>Department of Computer Science, City University of New York, New York, NY,
March 1981.

<li>Department of Computer Science, University of Indiana, Bloomington, IN,
February 1981.

<li>Department of Computer Science, Purdue University, Lafayette, IN,
February 1981.

<li>Department of Computer Science, University of Rochester, Rochester, NY,
January 1981.

<li>Schlumberger-Doll Research, Ridgefield, CT, January 1981.

<li>IBM,  T. J. Watson Research Center, Yorktown Heights, NY,
January 1981.

<li>Department of Mathematics, Dartmouth, Hanover, NH, December 1980.

<li>Department of Computer Science, University of Waterloo, Ontario, Canada,
December 1980.

<li>Bell Telephone Laboratories, Murray Hill, NJ, November 1980.

<li>IBM Endicott Development Laboratory, Endicott, NY, November 1980.

<li>Department of Electrical and Computer Engineering, and the Department of
Computer and Information Sciences (COINS), University of Massachusetts,
Amherst, MA, November 1980.

<li>Department of Computer Science, New York University, New York, NY,
October 1980.

<li>Department of Computer Science, University of Texas, Austin, TX,
October 1980.

<li>Department of Mathematical Sciences, Rice University, Houston, TX,
October 1980.

<li>General Motors Research Laboratories, Warren, MI, May 1980.

<li>Department of Computer and Information Sciences, University of Michigan, Ann Arbor, MI,
May 1980.

<li>Bell Telephone Laboratories, Naperville, IL,
May 1980.

<li>Department of Mathematics, Ithaca College, Ithaca, NY,
April 1980.

<li>Department of Electrical Engineering and Computer Science, University of Connecticut, Storrs, CT,
April 1980.

<li>Department of Mathematics, Wesleyan University, Middletown, CT, 
April 1980.

<li>Bell Telephone Laboratories, Holmdel, NJ,
March 1980.

<li>Department of Computer Science, Queens University, Kingston, Canada, 
February 1980.

<li>Digital Equipment Corporation, Maynard, MA,
July 1979.

<li>Department of Computer Science, University of Guelph, Guelph, Canada,