Lectures by the Students

Listed by student's last name.


Böhringer, K-F. What programmable vector fields can (and cannot) do. IEEE International Conference on Robotics and Automation (ICRA'96), Minneapolis, MN, April 1996.
Single crystal silicon actuator arrays for micro manipulation tasks. IEEE Workshop on Micro Electro Mechanical Systems (MEMS'96), San Diego, CA, February 1996.
Manipulation strategies with microfabricated actuator arrays. Cornell Nanofabrication Facility Annual Meeting, Cornell University, Ithaca, NY, October 1995.

Czajkowski, G. Active messages on the SP2. IBM Watson Research Center, Yorktown Heights, NY.

Dsouza, A. A back-end for ADL/IDL. Sun Microsystems Labs, Mt. View, CA, August 1995.

Kodukula, I. Imperfectly nested loop transformations. The International Workshop on Loop Parallelization, Schloss Dagstuhl, Germany, April 1996.
Loop transformations for a VLIW compiler. IBM T J Watson Research Center, Yorktown Heights, NY, August 1995.

Kopke, P. Computing simulations on finite and infinite graphs. CAD Seminar, University of California at Berkeley, April 1996.
___. The 36th Annual Symposium on Foundations of Computer Science, Milwaukee, WI, October 1995.

Liu, Y. A. Incrementalization: A general systematic approach for efficiency improvement. Pennsylvania State University, University Park, PA, May 2, 1996.
___. University of Pennsylvania, Philadelphia, PA, April 30, 1996.
___. University of Waterloo, Waterloo, Ontario, Canada, April 15, 1996.
___. Purdue University, West Lafayette, IN, April 1, 1996.
___. New York University, New York City, NY, March 26, 1996.
___. AT&T Research and Lucent Bell Labs, Murray Hill, NJ, March 21, 1996.
___. Indiana University, Bloomington, IN, March 18, 1996.
___. University of Southern California, Los Angeles, CA, March 4, 1996.
Efficient computation via incremental computation. Ph.D. Super-Colloquium, Cornell University, Ithaca, NY, Feburary 1, 1996.
Discovering auxiliary information for incremental computation. The 23rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St. Petersburg Beach, FL, January 23, 1996.
CACHET: A system for deriving incremental programs. The 10th Knowledge-Based Software Engineering Conference, Boston, MA, November 13, 1995.
Selectively caching intermediate results for incremental computation. The 4th International Conference for Young Computer Scientists, Beijing, China, July 19, 1995.

Moten, R. Nuprl as a concurrent generic theorem prover. Cornell University, Ithaca, NY, February 29, 1996.

Pitsianis, N. The Kronecker product, approximation, and fast signal processing. CS Department, University of Houston, June 4, 1996.
___. Argonne National Labs, May 24, 1996.
___. CS Department, Dartmouth College, May 21, 1996.
___. DSP Group, Lucent Technologies, May 7, 1996.
___. CS 422/522 class, Cornell University, April 10, 1996.
A trace maximization problem from Adaptive-Optics. CCOP Seminar, Cornell University, Ithaca, NY, April 2, 1996.

Scharstein, S. View synthesis using stereo vision. University of Vermont, Burlington, VT, April 12, 1996.
___. Williams College, Williamstown, MA, April 10, 1996.
___. Middlebury College, Middlebury, VT, April 8, 1996.
An introduction to computer vision, Universal Instruments Corporation. Binghamton, NY, March 4-8, 1996.
Stereo matching with non-linear diffusion. Xerox PARC. Palo Alto, CA, December 8, 1995.
Synthesizing new views from a stereo pair. Interval Corporation, Palo Alto, CA, July 20, 1995.

Singhal, A. Document length normalization and automatic text summarization - two aspects of information management. XEROX Palo Alto Research Center, Palo Alto, CA, May 10, 1996.
___. Apple Computers, Cupertino, CA, May 9, 1996.
___. Columbia University, New York, NY, April 24, 1996.
___. AT&T Research, Murray Hill, NJ, April 18, 1996.
Length normalization in degraded text collections. Symposium on Document Analysis and Information Retrieval. Las Vegas, NV, April 15, 1996.
Document length normalization and automatic text summarization - two aspects of information management. University of Massachusetts, Boston, MA, April 1, 1996.
___. Binghamton University, Binghamton, NY, March 29, 1996. Automatic text decomposition using text segments and text themes. Hypertext'96. Washington, DC, March 18, 1996.
Document length normalization in information retrieval. Ph.D. Super-Colloquium. Cornell University, Ithaca, NY, February 29, 1996.
Automatic text structuring and summarization. Research Workshop on Information Retrieval and Automatic Construction of Hypermedia, SIGIR'95. Seattle, WA, July 13, 1995.

Stoller, S. A Method and tool for analysis of fault-tolerance. University of California at Davis, CA, May 9, 1996.
___. Bell Laboratories (Lucent Technologies), Murray Hill, NJ, May 7, 1996.
___. Pennsylvania State, PA, May 3, 1996.
___. University of Waterloo, Waterloo, Ontario, Canada, April 16, 1996.
___. New York University, New York, NY, April 12, 1996.
___. Indiana University, Bloomington, IN, April 1, 1996.
___. AT&T Research, Murray Hill, NJ, March 25, 1996.
Faster possibility detection by combining two approaches. 9th International Workshop on Distributed Algorithms (WDAG-9), Le Mont Saint Michel, France, September 15, 1995.

Go to:
Publications by Students

Return to:
1995-1996 Annual Report Home Page
Departmental Home Page

If you have questions or comments please contact: www@cs.cornell.edu.