PAPERS PRESENTED AT CONFERENCES AND SYMPOSIA

Artificial Intelligence

DONOHO, S. and L. A. RENDELL. Lessons from theory revision applied to constructive induction. Proc. 12th Int. Conf. on Machine Learning (Tahoe City, Calif., Jul. 1995) 185-193 (1995).
HAYES, C. C. Use of functional information to create redesign suggestions. Proc. Florida AI Res. Symp. (Melborne Beach, Fla., Apr. 1995) 309-313 (1995).
HAYES, C. C. Using a manufacturing planner as a designer's tool: identifying cost-critical areas of designs. AAAI Spring Symp. Series, Integrated Planning Appl. (Stanford, Calif., Mar. 1995) 41-50 (1995).
HU, C., S. R. RAY, and N. ZHANG. Texture segmentation using joint time-frequency representation and unsupervised classifier. Proc. IEEE Conf. on Syst., Man, and Cybernet. (Vancouver, B.C., Canada, Oct. 1995) 1, 304-309 (1995).
HU, C., S. R. RAY, and N. ZHANG. A model of spatial frequency column in primary vision system. SPIE Symp. on Aerosp. Sensing and Dual Use Photonics (Orlando, Fla., Apr. 1995).
HU, C., S. R. RAY, and N. ZHANG. A general neural computer architecture and its task assignment method for parallel distributed processing. SPIE Symp. on Aerosp. Sensing and Dual Use Photonics (Orlando, Fla., Apr. 1995).
JOSHI, T., N. AHUJA, and J. PONCE. Structure and motion estimation from dynamic silhouettes under perspective projection. Proc. 1995 Int. Conf. on Comput. Vision (Boston, Mass., Jun. 1995) 290-295 (1995).
PEREZ, E. and L. A. RENDELL. Using multidimensional projection to find relations. Proc. 12th Int. Conf. on Machine Learning (Tahoe City, Calif., Jul. 1995) 447-455 (1995).
SHIMSHONI, I. and J. PONCE. Probabilistic 3D object recognition. Proc. 1995 Int. Conf. on Comput. Vision (Boston, Mass., Jun. 1995) 488-493 (1995).
SUDSANG, A. and J. PONCE. New techniques for computing four-finger force-closure grasps of polyhedral objects. Proc. 1995 IEEE Int. Conf. on Robotics and Automat. (Nagoya, Japan, May 1995) 1355-1360 (1995).
SULLIVAN, S., A. NOBLE, and J. PONCE. On reconstructing curved object boundaries from sparse sets of x-ray images. Proc. 1995 Conf. on Comput. Vision, Virtual Reality, and Robotics in Med. (Nice, France, Apr. 1995) 385-391 (1995).
VIJAYAKUMAR, B., D. J. KRIEGMAN, and J. PONCE. Invariant-based recognition of complex curved 3D objects from image contours. Proc. 1995 Int. Conf. on Comput. Vision (Boston, Mass., Jun. 1995) 508-514 (1995).

---

Communication Networks

PAKIN, S., M. LAURIA, and A. A. CHIEN. High performance messaging on workstations: Illinois fast messages (FM) on the Myrinet. Supercomput. '95 (San Diego, Calif., Dec. 1995).
TAN, S. M. and R. H. CAMPBELL. Efficient signalling algorithms for ATM networks. IFIP 3rd Wkshp. on Perform. Modelling and Anal. of ATM Networks (Bradford, England, Jul. 1995) 26/1-26/11 (1995).
KARAMCHETI, V. and A. A. CHIEN. A comparison of architectural support for messaging on the TMC CM-5 and Cray T3D. Proc. 22nd Ann. Int. Symp. on Comput. Archit. (Santa Margherita Ligure, Italy, Jun. 1995) 298-307 (1995).

---

Computer-aided Design of Digital Systems

KIM, T. and C. L. LIU. An integrated data path synthesis algorithm based on network flow method. Proc. Customer Integrated Circuit Conf. (May 1995) 615- 618 (1995).
MATHUR, A., K. C. CHEN, and C. L. LIU. Applications of slack neighborhood graphs in timing driven optimization problems in FPGAs. Proc. 3rd ACM/SIGDA Symp. on FPGAs (Feb. 1995) 118-124 (1995).
MATHUR, A., K. C. CHEN, and C. L. LIU. Re-engineering of timing constrained placements for regular architectures. Int. Conf. on Comput-Aided Des. (Nov. 1995).
PAN, P. and C. L. LIU. Partial scan with pre-selected scan signals. Proc. Des. Automat. Conf. (Jun. 1995) 189-194 (1995).

---

Computer Architecture and Systems

KOUFATY, D., X. CHEN, D. POULSEN, and J. TORRELLAS. Data forwarding in scalable shared-memory multiprocessors. Proc. Int. Conf. on Supercomput. (Barcelona, Spain, Jul. 1995) 124-133 (1995).
TORRELLAS, J. Scalable shared-memory architectures. Proc. 28th Hawaii Int. Conf. on Syst. Sci. (Maui, Hawaii, Jan. 1995) 240-241 (1995).
TORRELLAS, J., C. XIA, and R. DAIGLE. Optimizing instruction cache performance for operating system intensive workloads. Proc. 1st Int. Symp. on High-Perform. Comput. Archit. (Raleigh, N.C., Jan. 1995) 360-369 (1995).
ZHANG, Z. and J. TORRELLAS. Speeding up irregular applications in shared- memory multiprocessors: memory binding and group prefetching. Proc. 22nd Ann. Int. Symp. on Comput. Archit. (Santa Margherita Ligure, Italy, Jun. 1995).

---

Databases and Information Systems

BARBARA, D. and S. MEHROTRA. Supporting concurrent operations over text databases. ACM SIGIR 95 Post Conf. Wkshp. on Inform. Retrieval and Databases (Seattle, Wash., 1995).
BARBARA, D., S. MEHROTRA, and P. VALLABHENENI. The gold text indexing engine. 13th Int. Conf. on Data Engr. (1995).

---

Distributed Systems

ASTLEY, M. and G. AGHA. Visualizing concurrent systems through component interfaces. Proc. 2nd Ann. Joint Conf. on Inform. Sci. (Wrightsville Beach, N.C., Oct. 1995) 214-217 (1995).
CHEN, Z., S. M. TAN, R. H. CAMPBELL, and Y. LI. Real time video and audio in the World Wide Web. Proc. 4th Int. World Wide Web Conf. (Boston, Mass., Dec. 1995) 333-348 (1995).
ISLAM, N. and R. H. CAMPBELL. Techniques for global optimization of message passing communications on unreliable networks. 15th Int. Conf. on Distrib. Comput. Syst. (Vancouver, B.C., Canada, May 1995) 246-253 (1995).
LI, Y. and R. H. CAMPBELL. A dynamic priority-based scheduling method in distributed systems. Proc. Int. Conf. on Parallel and Distrib. Process Tech. and Appl.'95 (Athens, Ga., Nov. 1995) 177-186 (1995).
LI, Y. and V. PUVVADA. Dynamic retrieval of remote digital objects. Proc. 4th Int. Conf. on Inform. and Knowledge Mgt. (Baltimore, Md., Nov. 1995) 182-187 (1995).
LIAO, W. S., D. M. PUTZOLU, and R. H. CAMPBELL. Building a secure, location transparent object invocation system. Proc. Int. Wkshp. on Object-Orientation in Operating Syst. '95 (Lund, Sweden, Aug. 1995) 114-117 (1995).

---

Human-Computer Interaction and Interfaces

SCULLIN, W. H., T. T. KWAN, and D. A. REED. Real-time visualization of NCSA's World Wide Web data. Symp. on Visualizing Time-Varying Data (Sept. 1995).

---

Interdisciplinary Research

GAINES, D. M., C. C. HAYES, and Y. S. KIM. Mapping from negative-feature volumes to manufacturing methods: towards more flexible CAD/CAPP integration. Proc. SIGMAN (Montreal, Que., Canada, Aug. 1995) 104-155 (1995).
HAYES, C. C. P3: a manufacturing planner that reasons about efficient plans to achieve positional tolerance specifications. Proc. Int. Mech. Engr. Congr. (San Francisco, Calif., Nov. 1995) 279-288 (1995).
HAYES, C. C. Verification of a manufacturing planner. Proc. SIGMAN (Montreal, Que., Canada, Aug. 1995) 175-185 (1995).
HAYES, C. C. A flexible, interative information-exchange model for CAD/CAPP integration. ASME Des. Tech. Conf. Des. in Distrib. and Virtual Environ. (Boston, Mass., Sept. 1995).
HAYES, C. C. A manufacturing planner for a concurrent engineeering environment. Proc. IEEE Int. Symp. on Assembly and Task Planning (Pittsburgh, Pa., Aug. 1995) 113-120 (1995).

---

Numerical and Scientific Computing

NELSON, M., W. HUMPHREY, A. GURSOY, A. DALKE, L. KALE, R. SKEEL, K. SCHULTEN, and R. KUFRIN. MDScope a visual environment for structural biology. ICES 95 Conf. Proc., Computat. Mechanics 95, 476-481 (1995).

---

Operating Systems

CAMPBELL, R. H. and S. M. TAN. Choices: an object-oriented multimedia operating system. Proc. 5th Wkshp. on Hot Topics in Operating Syst. (Orcas Island, Wash., May 1995) 90-94 (1995).
SEFIKA, M. and R. H. CAMPBELL. An open visual model for object-oriented operating systems. Proc. 4th Int. Wkshp. on Object-Orientation in Operating Syst. (Lund, Sweden, Aug. 1995).
TAN, S. M., D. K. RAILA, and R. H. CAMPBELL. An object-oriented nano-kernel for operating system hardware support. Proc. 4th Int. Wkshp. on Object-Orientation in Operating Syst. (Lund, Sweden, Aug. 1995) 220-223 (1995).

---

Parallel Computing

ADVE, V. S., J. MELLOR-CRUMMEY, M. ERSON, K. KENNEDY, J. C. WANG, and D. A. REED. An integrated compilation and performance analysis environment for data parallel programs. Supercomputing '95 (San Diego, Calif., Dec. 1995).
CRANDALL, P. E., R. A. AYDT, A. A. CHIEN, and D. A. REED. Input/output characteristics of scalable parallel programs. Supercomputing '95 (San Diego, Calif., Dec. 1995).
DEROSE, L., K. GALLIVAN, E. GALLOPOULOS, B. MARSOLF, and D. PADUA. A MATLAB compiler and restructurer for the development of scientific libraries and applications. 8th Int. Wkshp. on Lang. and Compilers for Parallel Comput. (Columbus, Ohio, 1995).
ESPANA, R., M. VALERO, D. PADUA, M. JIMENEX, and E. AYGUADE. Quantitative analysis of vector code. 3rd Euromicro Wkshp. on Parallel and Distrib. Process. (San Remo, Italy, Jan. 1995).
HUBER, J. V., JR., C. L. ELFORD, D. A. REED, A. A. CHIEN, and D. S. BLUMENTHAL. PPFS: a high performance portable parallel file system. Proc. Int. Conf. on Supercomput.'95 (Jul. 1995) 385-394 (1995).
KALE, L. V. Modularity, reuse and efficiency with message-driven libraries. Proc. 7th SIAM Conf. on Parallel Process. or Sci. Comput. (San Francisco, Calif., Feb. 1995) 738-743 (1995).
KIM, W. and G. AGHA. Efficient support of location transparency in concurrent object-oriented programming languages. Supercomputing '95 (San Diego, Calif., Dec. 1995).
KRISHNAN, S. and L. V. KALE. A parallel adaptive fast multipole algorithm for N-body problems. Proc. Int. Conf. on Parallel Process. (Oconomowoc, Wis., Aug. 1995) 46-50 (1995).
NELSON, M., W. HUMPHREY, A. GURSOY, A. DALKE, L. KALE, R. D. SKEEL, and R. KUFRIN. MDScope a visual computing environment for structural biology. ICES 95 Conf. Proc., Computat. Mech. 95, 476-481 (1995).
PLEVYAK, J., V. KARAMCHETI, X. ZHANG, and A. A. CHIEN. A hybrid execution model for fine-grained languages on distributed memory multicomputers. Supercomput. '95 (San Diego, Calif., Dec. 1995).
RAUCHWERGER, L., N. M. AMATO, and D. A. PADUA. Run-time methods for parallelizing partially parallel loops. 9th Int. Conf. on Supercomput. (Barcelona, Spain, Jul. 1995).
RAUCHWERGER, L. and D. A. PADUA. Parallelizing WHILE loops for multiprocessor systems. 9th IEEE Int. Parallel Process. Symp. (San Francisco, Calif., Apr. 1995).
RAUCHWERGER, L. and D. A. PADUA. The LRPD test: speculative run-time parallelization of loops with privatization and reduction parallelization. Proc. ACM SIGPLAN '95 Conf. on Program. Lang., Des. and Implementation (La Jolla, Calif., Jun. 1995) 218-232 (1995).
REED, D. A., C. CATLETT, A. CHOUDHARY, and D. KOTZ. Parallel I/O: getting ready for prime time. IEEE Conf. on Parallel and Distrib. Technol. (Summer 1995).
SEAMONS, K. and M. WINSLETT. A data management approach for handling large compressed arrays in high performance computing. Frontiers '95 (Washington, D.C., Feb. 1995) 119-128 (1995).
SINGHAI, A. and R. H. CAMPBELL. xMPI: an MPI implementation for ATM networks. 2nd MPI Developers' Conf. (Notre Dame, Ind., Jun. 1995).
TU, P. and D. A. PADUA. Efficient building and placing of gating functions. Proc. ACM SIGPLAN '95 Conf. on Program. Lang., Des. and Implementation (La Jolla, Calif., Jun. 1995) 47-55 (1995).
TU, P. and D. A. PADUA. Gated SSA-based demand-driven symbolic analysis for parallelizing compilers. 9th Int. Conf. on Supercomput. (Barcelona, Spain, Jul. 1995).
YELON, J. M. and L. V. KALE. Agents: an undistorted representation of problem structure. 8th Int. Wkshp. on Lang. and Compilers for Parallel Comput. (Columbus, Ohio, 1995).

---

Programming Languages

DERSHOWITZ, N. Goal solving as operational semantics. Proc. Int. Logic Program. Symp. (Portland, Ore., Dec. 1995) 3-17 (1995).
DERSHOWITZ, N. Hierarchical termination. Proc. 4th Int. Wkshp. on Conditional and Typed Rewriting Syst. (Jerusalem, Israel, Jul. 1995) 89-105 (1995).
DERSHOWITZ, N. and N. LINDENSTRAUSS (eds.). Proceedings Fourth International Workshop on Conditional and Typed Rewriting Systems. (Jerusalem, Israel, Jul. 1995).
O'HEARN, P. W. and U. S. REDDY. Objects, interference and the Yoneda embedding. Proc. 11th Ann. Conf. for Math. Found. of Program. Semantics (New Orleans, La., Mar. 1995) 133-156 (1995).
PLEVYAK, J. and A. A. CHIEN. Type directed cloning for object-oriented programs. Wkshp. for Lang. and Compilers of Parallel Comput. (Columbus, Ohio, Aug. 1995).
SANE, A. and R. H. CAMPBELL. Object-oriented state machines. Proc. 10th Ann. OOPSLA Conf. (Austin, Tex., Oct. 1995) 17-32 (1995).
PLEVYAK, J., X. ZHANG, and A. A. CHIEN. Obtaining sequential efficiency in concurrent object-oriented programs. ACM Symp. on Principles of Program. Lang. (Jan. 1995).

---

Real-Time Systems

AGHA, G. and M. SAITO. A modular approach to real time synchronization. Proc. Object-Oriented Real-Time Syst. Wkshp. (San Antonio, Tex., 1995) 13-22 (1995).
HUANG, T. Y. and J. W. S. LIU. Predicting the worst-case execution time of the concurrent execution of instructions and cycle-stealing DMA I/O operations. Proc. ACM SIGPLAN Wkshp. on Lang., Compilers and Tools for Real-Time Syst. (La Jolla, Calif., Jul. 1995) 1-6 (1995).
HULL, D., W. FENG, and J. W. S. LIU. Enhancing the performance and dependability of hard real-time systems. Proc. IEEE Comput. Perform. and Dependability Symp. (Erlangen, Germany, Apr. 1995) 174-182 (1995).
LIU, C. W and J. W. S. LIU. Imprecise computation and robust stability in control systems. 29th Conf. on Inform. Sci. and Syst. (Baltimore, Md., Mar. 1995).
REN, S. and G. AGHA. RTsynchronizers: language support for real-time specifications in distributed systems. Proc. Wkshp. on Lang., Compilers, and Tools for Real-Time Syst. (Nov. 1995) 55-64 (1995).
SUN, J. and J. W. S. LIU. Determining the end-to-end response time in multiprocessor real-time systems. Proc. Wkshp. on Parallel and Distrib. Real-Time Syst. (Santa Barbara, Calif., Apr. 1995) 91-98 (1995).
TIA, T. S., Z. DENG, M. SHANKAR, M. STORCH, J. SUN, L. C. WU, and J. W. S. LIU. Probabilistic performance guarantee for real-time tasks with varying computation times. Proc. IEEE Real-Time Technol. and Appl. Symp. (Chicago, Ill., May 1995) 164-173 (1995).

---

Software Engineering

CAPLAN, J. E. and M. T. HARANDI. A logical framework for software proof reuse. Proc. ACM-SIGSOFT Symp. on Software Reusability (Seattle, Wash., Apr. 1995) 106-113 (1995).

---

Theoretical Computing

DERSHOWITZ, N. Algebraic decomposition on non-convex polyhedra. Proc. 36th Ann. IEEE Symp. on Found. of Comput. Sci. (Milwaukee, Wis., 1995) 248-257 (1995).
DERSHOWITZ, N., J.-P. JOUANNAUD, and J. W. KLOP. Problems in rewriting III. Proc. 6th Int. Conf. on Rewriting Tech. and Appl. (Kaiserslautern, Germany, Apr. 1995) (Hsiang, ed.; Springer Lecture Notes in C.S., vol. 914, 1995).
EDELSBRUNNER, H. Smooth surfaces for multi-scale shape representation. Proc. 15th Conf. on Found. of Software Technol. and Theoret. Comput. Sci. (Bangalore, India, 1995) 391-412 (1995).
EDELSBRUNNER, H., M. FACELLO, P. FU, and J. LIANG. Measuring proteins and voids in proteins. Proc. 28th Ann. Hawaii Int. Conf. on Syst. Sci., 256-264 (1995).