Publications by the Students



Publications listed by student's last name.
B C E F G H I J K L M N O P Q R S T U V W X Y Z

Böhringer, K-F., B. R. Donald, and Noel C. MacDonald. What programmable vector fields can (and cannot) do: Vector field algorithms for {MEMS} arrays and vibratory parts feeders. IEEE International Conference on Robotics and Automation, Minneapolis, MN, (April 22-28, 1996).

Böhringer, K-F., B. R. Donald, and Noel C. MacDonald. Single-crystal silicon actuator arrays for micro manipulation tasks. Proceedings IEEE International Workshop on Micro Electro Mechanical Structures, San Diego, CA, (February 11-15, 1996).

Böhringer, K-F., et al. Micromachined microdevices and microinstruments. Proceedings International Conference on Micro- And Nano-Engineering (MNE), Aix-en-Provence, France, (September 26-28, 1995).

R. Prasad, Böhringer, K-F., and Noel C. MacDonald. Design, fabrication, and characterization of {SCS} latching snap fasteners for micro assembly. Proceedings of the ASME International Mechanical Engineering Congress and Exposition (IMECE), San Francisco, CA, (November, 1995).

C-C. Chang, Czajkowski, G., and T. von Eicken. Design and performance of active messages on the IBM SP-2. CORNELLCS:TR96-1572, (February, 1996).

Dsouza, A. and B. Bloom. Generating BDD models for process algebras. Proceedings Computer-Aided Verification, Liege, Belgium, LNCS 939, (July 1995), 16-30.

Dsouza, A. and B. Bloom. On the expressive power of CCS. Proceedings Foundations of Software Technology and Theoretical Computer Science, LNCS 1026, Bangalore, India, (December 1995), 309-323.

B. Bloom, A. Cheng and Dsouza, A. Verifying SOS specifications. Proceedings IEEE Conference on Computer Assurance, Gaithersburg, MD, (June 1996).

Guo, K., W. Vogels and R. van Renesse. Structured virtual synchrony: Exploring the bounds of virtually synchronous group communication. Proceedings of the Seventh ACM SIGOPS European Workshop, (June 1996).

R. van Renesse, K. P. Birman, R. Friedman, M. Hayden, and Karr, D. A. A framework for protocol composition in Horus. Proceedings of the 14th Annual ACM Symposium on Principles of Distributed Computing, ACM, (August 1995) 80-89.

T. A. Henzinger, Kopke, P., and H. Wong-Toi. The expressive power of clocks. ICALP 95: Automata, Languages, and Programming, LNCS 944, Springer-Verlag, 417-428.

M. R. Henzinger, T. A. Henzinger, and Kopke, P. Computing simulations on finite and infinite graphs. Proceedings of the 36rd Annual Symposium on Foundations of Computer Science, IEEE Computer Society Press, 453-462.

Liu, Y. A., S. D. Stoller, and T. Teitelbaum. Discovering auxiliary information for incremental computation. Proceedings of the 23rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St. Petersburg Beach, FL, ACM Press, (January 1996), 157-170.

Liu, Y. A. CACHET: An interactive, incremental-attribution-based program transformation system for deriving incremental programs. Proceedings of the 10th Knowledge-Based Software Engineering Conference, Boston, MA, IEEE Computer Society Press, (November 1995), 19-26.

Liu, Y. A. Selectively caching intermediate results for incremental computation. Proceedings of the 4th International Conference for Young Computer Scientists, Beijing, China, Peking University Press, (July 1995), 367-374.

Liu, Y. A. Incremental computation: A semantics-based systematic transformational approach. Ph.D. Thesis, Technical Report TR 95-1551, Department of Computer Science, Cornell University, Ithaca, NY, (October 1995).

B. Hao and Pearson, D. Instruction scheduling and global register allocation for SIMD multiprocessors. International Workshop on Parallel Algorithms for Irregularly Structured Problems, LNCS 980, Springer-Verlag. (September 1995) (Irregular 95), 81-86.

B. Hao, Pearson, D., and R. Zippel. Global register allocation for SIMD multiprocessors. Journal of Computer Science and Technology, Allerton Press, (January 1996).

Scharstein, D. and M. Dickerson. Optimal placement of convex polygons to maximize point containment. 7th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA'96), Atlanta, GA, (February 1996), 114-121.

Scharstein, D. and R. Szeliski. Stereo matching with non-linear diffusion. CORNELLCS:TR 96-1575, (March 1996).

Scharstein, D. and M. Dickerson. The rotation diagram and optimal containing placements of a convex polygon. 5th Video Review of Computational Geometry (with the 12th ACM Symposium on Computational Geometry), Philadephia, PA, (May 1996).

Scharstein, D. Stereo vision for view synthesis. IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR'96), San Francisco, CA, (June 1996).

Scharstein, D. and R. Szeliski. Stereo matching with non-linear diffusion. IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR'96), San Francisco, CA, (June 1996).

Singhal, A., G. Salton, and C. Buckley. Length normalization in degraded text collections. Fifth Annual Symposium on Document Analysis and Information Retrieval, (1996) 149-162.

G. Salton, J. Allan, and Singhal, A. Automatic text decomposition and structuring. Information Processing and Management, 32:2, (1996) 127-138.

G. Salton, Singhal, A., C. Buckley, and M. Mitra. Automatic text decomposition using text segments and text themes. Hypertext'96, (1996) 53-65.

D. Kozen and Smith, F. Kleene algebra with tests: Completeness and decidability. CORNELLCS:TR96-1582, (May 1996).

V. Kotlyar, K. Pingali, and Stodghill, P. Automatic parallelization of the conjugate gradient algorithm. Eighth International Workshop on Languages and Compilers for Parallel Computing, SparseCG, LNCS 1033, Springer-Verlag, Columbus, OH, (August 1995), 480-499.

Y. Minsky, R. van Renesse, F. B. Schneider, and Stoller, S. D. Cryptographic support for fault-tolerant distributed computing. Proceedings of the Seventh ACM SIGOPS European Workshop, (September 1996).

Y. A. Liu, Stoller, S. D., and T. Teitelbaum. Discovering auxiliary information for incremental computation. Proceedings of the 23rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '96), ACM Press, (January 1996), 157-170.

Stoller, S. D.,and F. B. Schneider. Faster possibility detection by combining two approaches. Jean-Michel Helary and Michel Raynal, editors, Proceedings of the 9th International Workshop on Distributed Algorithms (WDAG-9), LNCS 972, Springer-Verlag, (September 1995), 318-332.

Summers, K. M. Near-wordless document structure classification. Proceedings of the International Conference on Document Recognition, Montreal, Canada, (August 1995), 462-465.


Go to:
Technical Reports

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

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