Lectures and Publications by Students

Lectures: (by student name) A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Publications: (by student name) A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Lectures

Aguilera, M.K., and Sam Toueg. Randomization and failure detection: A hybrid approach to solve consensus. In Proceedings 10th International Workshop on Distributed Algorithms, Lecture Notes on Computer Science, Springer-Verlag, October 1996, 29-39.

Böhringer, K-F. Vector fields for task­level distributed manipulation: Experiments with organic micro actuator arrays. International Conference on Robotics and Automation(ICRA'97), Albuquerque, New Mexico, April, 1997.

Vector fields for distributed manipulation. Stanford University, Stanford, California. November 1996

Upper and lower bounds for programmable vector fields with applications to MEMS and vibratory plate parts feeders. International Workshop on Algorithmic Foundations of Robotics (WAFR'96), Toulouse, France, July 1996.

The area bisectors of a polygon and force equilibria in programmable vector fields. 13th ACM Symposium on Computational Geometry (SCG'97), Nice, France, June 1997.

Single­crystal silicon actuator arrays for micro manipulation tasks. Cornell Nanofabrication Facility Annual Meeting, Cornell University, Ithaca, New York, September 1996.

Chang, C-C. Low-latency communication on the IBM RISC/6000 SP. Advanced Technical Program, ACM/IEEE Supercomputing 1996, Pittsburgh, PA, November 1996.

Guo, K. Dynamic light-weight groups. 17th IEEE International Conference on Distributed Computing Systems. Baltimore, Maryland, May 1997.

Transparent light-weight group service. 15th IEEE Symposium on Reliable Distributed Systems, Niagara-on-the-Lake, Canada, October 1996.

Hayden, M. An overview of the Ensemble distributed system. Emory University. November 6, 1996.

Group communication with functional languages. Ben Gurion University. Israel. March 4, 1997.

___Carnegie Mellon University. PA. February 7, 1997.

Kodukula, I. Data-centric multi-level blocking, Silicon Graphics, Mountain View, CA, March 1997.

Data movement and control substrate for network-based parallel scientific computing. In CANPC '97, San Antonio TX, February 1997.

Data-centric transformations. Workshop for Automatic Data Layout and Performance Prediction, Barcelona, Spain, January 1997.

Data-centric transformations. Institut National de Recherche en Informatique et en Automatique, Rocquencourt (INRIA) an Rennes(IRISA), France, January 1997.

Transformations of imperfectly nested loops. Institut National de Recherche en Informatique et en Automatique, Rocquencourt and Rennes, France, January 1997.

Mitra, M. Automatic information retrieval and text summarization. Indian Statistical Institute, Calcutta. September, 1996.

___Indian Institute of Technology, Kharagpur. September, 1996.

___Cognitive Science Colloquium, Cornell University. October, 1996.

Vaysburd, A. Fast replicated state machines over partitionable networks. AT&T Labs, April 1997.

Pearson, D. A Parallel implementation of RSA. Selected Areas in Cryptography (SAC '96), Kingston, Ontario, August 1996.

Programming a crystal-lattice computer. Physics and Computation (Physcomp '96), Boston, MA, November, 1996.

Singhal, A. Pivoted document length normalization. SIGIR'96. August, 1996.

Publications

Aaron, E., and D. Gries. Formal justification of underspecification for S5. TR97-1622, Computer Science, Cornell University, (February 1997).

Aguilera, M.K., and Sam Toueg. Randomization and failure detection: a hybrid approach to solve consensus. TR 96-1592, Computer Science, Cornell University, Ithaca NY, June 1996.

Böhringer, K-F. B.R. Donald, N.C. MacDonald, G.T.A. Kovacs, and J.W. Suh. Computational methods for design and control of MEMS micromanipulator arrays. Computer Science and Engineering, (January-March 1997), 17-29.

Böhringer, K-F., B.R. Donald, and N.C. MacDonald. Upper and lower bounds for programmable vector fields with applications to MEMS and vibratory plate parts feeders. In Jean­Paul Laumond and Mark Overmars, (eds.), Algorithms for Robotic Motion and Manipulation, A. K. Peters, Wellesley, MA 02181, (1997), 255-276.

Böhringer, K-F., R.G. Brown, B.R. Donald, J.S. Jennings, and D. Rus.

Distributed robotic manipulation: Experiments in minimalism. In O. Khatib et al., editor, Experimental Robotics IV, Lecture Notes in Control and Information Sciences 223, Springer Verlag, Berlin, (1997) 11-25.

Böhringer, K-F., J.W. Suh, B.R. Donald, and G.T.A. Kovacs. Vector fields for task­level distributed manipulation: Ex-

periments with organic micro actuator arrays. Proc. IEEE Int. Conf. on Robotics and Automation (ICRA), Albuquerque, New Mexico, (April 1997), 1779-1786.

Böhringer, K-F., B.R. Donald, and N.C. MacDonald. Upper and lower bounds for programmable vector fields with applications to MEMS and vibratory plate parts feeders. International Workshop on Algorithmic Foundations of Robotics, Toulouse, France, (July 1996), 255-276.

Chang, C-C. G. Czajkowski, C. Hawblitzel, and T. von Eicken. Low-latency communication on the IBM RISC/6000 SP. Proceedings ACM/IEEE Supercomputing '96, Pittsburgh, PA, (November 1996), http:// www. supercomp.org/sc96.

Guo, K. and L. Rodrigues. Dynamic light-weight groups. Proceedings 17th IEEE International Conference on Distributed Computing Systems. Baltimore, Maryland, (May 27-30, 1997), 33-42.

L. Rodrigues, Guo, K., A. Sargento, R. van Renesse, B. Glade, P. Verisimo, and K. Birman. A transparent light-weight group service. Proceedings IEEE Symposium on Reliable Distributed Systems, Niagara-on-the-Lake, Canada, (October 23-25, 1996), 130-139.

Hickey, J.J. Formal object in type theory using very dependent types. Foundations of Objects Oriented Languages 3. Available electronically through the FOOL 3 home page at Williams College.

Hickey, J.J. Nuprl-Light: an implementation framework for higher-order logics. 14th International Conference on Automated Deduction, (1997).

N. Chrisochoides, Kodukula, I., and K. Pingali. Data movement and control substrate for network-based parallel scientific computing. CANPC '97. Lecture Notes in Computer Science 1199, Springer-Verlag (1997), 256-268.

Kodukula, I., and K. Pingali. Transformations of imperfectly nested loops. Best student paper nomination, Supercomputing '96, Pittsburgh, PA, CD-ROM.

A. Singhal, C. Buckley, and Mitra, M. Pivoted document length normalization. Proceedings SIGIR '96. (August, 1996). This paper won the "Best Student Paper" award at SIGIR '96.)

A. Singhal, G. Salton, Mitra, M., and C. Buckley. Document length normali-zation. Information Processing and Management. 32 5, (September 1996), 619-633.

C. Buckley, A. Singhal, Mitra, M., and (Gerard Salton). New retrieval approaches using SMART: TREC 4. Proceedings Fourth Text Retrieval Conference (TREC-4). (October, 1996) 25-48.

G. Salton, A. Singhal, Mitra, M., and C. Buckley. Automatic text structuring and summarization. Information Processing and Management 33 2 (March 1997).

Singhal, A. PhD Thesis. Term weighting revisited. (PhD Thesis) TR97-1626, March 1997.

Stodghill, P. A relational approach to the automatic generation of sequential sparse matrix codes. (PhD Thesis), TR97-1635, 1997.

Y. Boykov, Veksler, O., and R. Zabih. Disparity component matching for visual correspondence. IEEE Conference on Computer Vision and Pattern Recognition, San Juan, Puerto Rico, (June 17-19 1997).

T. F. Coleman and Verma, A. Structure and efficient Hessian calculation. Cornell Theory Center Technical Report, CTC96TR258, 1996.

T.F. Coleman and Verma, A. ADMIT-1: automatic differentiation and MATLAB interface toolbox, Release: ALPHA 1. Cornell Theory Center Technical Report, CTC97TR271, 1997.

Yan, T-K. P. The geobucket data structure for polynomials. TR96-1607, Computer Science, Cornell University (September 1996).