High Performance Design Environments (HPDE)

Table of Contents:

  1. Principal Investigator.
  2. Productivity Measures.
  3. Summary of Objectives and Approach.
  4. Detailed Summary of Technical Progress.
  5. Transitions and DOD Interactions.
  6. Software and Hardware Prototypes.
  7. List of Publications.
  8. Invited and Contributed Presentations.
  9. Honors, Prizes or Awards Received.
  10. Project personnel promotions obtained.
  11. Project Staff.
  12. Misc Hypermedia URL.
  13. Keywords.

Principal Investigator.

Productivity Measures.

Summary of Objectives and Approach.

OBJECTIVE
High Performance Design Environments (HPDE) is a four-year research effort (7/1/91--6/30/94 extended through FY95 to 6/30/95) that focuses on the implementation of efficient multiparadigm design environments and their use in the development of high-performance applications. This effort will lead to a new generation of open software environments (extending systems such as FIELD) with 3D program visualization tools, advanced languages, parallel debugging, and object store support. The new environments will facilitate the programming of high-performance applications in: graphics, CAD, operations research and scientific computing.

APPROACH
Our approach has three facets (for which separate bullets are provided in FY94 accomplishments).
  1. Research on programming environments for high-performance applications, in particular on new 3D visualization techniques, debugging techniques, and code optimization methods.
  2. Research on enhancing the performance of specific programming paradigms and on linking them with the prototype environment under development (in particular, concurrent constraint-based and concurrent object-oriented paradigms). This is coupled with the study of dynamic, approximate, and parallel algorithms.
  3. Research on key supporting technologies, such as 3D graphics, distributed operating systems, and multidatabases.

Detailed Summary of Technical Progress.

PROGRESS
A number of key components of our HPDE prototype environment have been developed and enhanced; in particular the VALLEY system for 3D visualizations and the AARD trace generation facility. There has been considerable work on advanced languages (e.g., new object-oriented and functional languages, and the cc(FD) and NEWTON constraint-based prototypes), graphics support, and database tools (e.g., new indexing methods for constraints, multidatabases, extensible optimization EPOQ, and the AQUA data model). There has been significant progress on algorithmic methods, including dynamic algorithms, approximation algorithms for combinatorial optimization, parallel computing and hierarchical learning. A major accomplishment has been a breakthrough linear-time algorithm for minimum spanning trees.

PRODUCTS
The FIELD environment has been the basis for a number of commercial products from DEC, Sun and HP.

FY94 ACCOMPLISHMENTS
  1. On programming environments and debugging

    Our efforts in programming environments have concentrated on the evolution of a system for program visualization. We have developed a framework for providing a variety of 3D visualizations and a mapping language that allows arbitrary objects to be visualized. The prototype VALLEY is close to completion.

    We have continued to work on trace-based debugging, porting our trace package AARD to Solaris and experimenting with various strategies to compact the trace data by several orders of magnitude to make the concept practical. We have been working on porting FIELD to Solaris to increase its compatibility with the native toolkit.

    We have begun a new effort on fragment integration. The idea here is to provide the facilities associated with data integration in a programming environment, i.e. hypertext linking, intelligent editing, smart system rebuilding, without having to use a central repository.

    In the last year we have continued to make significant progress on developing new debugging and programming tools for large, complex, parallel (and sequential) systems.

  2. Components and Constraints in Programming Environments We have studied component-based software technology and concurrent models of interaction.

    We have continued our work on the cc(FD) constraint language. We have developed new constraint languages for linear constraints and nonlinear constraints (NEWTON).

    We have developed new randomized, parallel and dynamic algorithms for approximation problems and for computational geometry problems.

    We have developed a model for multi-grained parallelism that addresses the question of which architectures are best for problems that express both serial and parallel behavior.

    We have studied algorithms for planning in very large stochastic domains and controlling partially observable Markov decision processes.

  3. Graphics and Database Support for Programming Environments

    The Graphics Group continued research in new 3D user interface tools. Collaborating with research at NASA Ames, we have developed several 3D time-varying fluid-flow visualization tools: the streamline, particle path, ribbon, hedgehog, colorpicker, rake, and isosurface widgets. These tools will help scientists at NASA study fluid flows in a virtual-reality environment. We also developed a technique for annotating 3D time-varying data fields that lets scientists embed annotation markers in the same 3D space in which the flow data resides.

    We are developing the Thread-Monitor Library, a system for monitoring Solaris-threads programs.

    We continued our work on Interactions, an open, nested, flexible transaction model for multidatabases and the MONGREL Multidatabase System.

    We also continued the design of an open, extensible query optimizer called EPOQ. As part of this effort, we have been exploring the extension of an object-oriented query algebra to include queries on lists and trees. We have completed an initial design of such a language in the context of the AQUA data model.

KEY DEVELOPMENTS
3D-VISUALIZATION TOOLS: VALLEY
The development of Steve Reiss' prototype 3-D visualization tool, VALLEY, is almost at a point where it can be released. We hope to make VALLEY available in the next one or two months. To experiment with this system, we have developed a prototype front end for static program visualization (i.e. call graphs, class hierarchy, variable usage) and another for visualizing semantic networks. We have been working on making the system practical and have used it to visualize representations with over 8,000 nodes and 45,000 arcs.
A LINEAR-TIME ALGORITHM FOR MINIMUM SPANNING TREES
Klein (Brown) and Tarjan (Princeton) have discovered a randomized linear-time algorithm for finding minimum spanning trees. They have also adapted these ideas for parallel implementation, obtaining the first parallel algorithm for finding minimum spanning trees that does only linear work.

Transitions and DOD Interactions.

  1. Many of the software prototypes developed by HPDE co-PIs have been widely distributed to industry and universities (see below for statistics).
  2. We have developed and made available to other researchers (notably at U. Washington) our trace generation facility, AARD.
  3. Our efforts in graphics have led to fruitful collaboration with NASA Ames.

Software and Hardware Prototypes.

Considerable use is made by universities and research laboratories of the software prototypes developed through this (and its predecessor) ARPA efforts. The distribution of software has been centralized in the department and the responsible systems staff member is John Bazik jsb@cs.brown.edu 401-863-7624. Since June 1990 (when our accounting was put in place) there are the following statistics:

  1. FIELD programming environment of Steven Reiss at 635 sites. Most often used by the C++ community since it was the first reasonable debugging environment available. FIELD has also been licensed by DEC and is being distributed by them as DEC FUSE.
  2. IDYL dynamic loader of Steven Reiss at 243 sites.
  3. GARDEN visual programming environment of Steven Reiss at 317 sites.
  4. ENCORE oodb of Stanley Zdonik at 553 sites.
  5. SPHIGS and SRGP graphics packages of Andy van Dam mostly used in conjunction with his book at 2831 sites and 3089 sites.
  6. THREADS packages of Tom Doeppner 30 sites with UNIX licenses and 535 sites for version that requires no special license.
  7. FIX is Pascal Van Hentenryck's new general abstract interpreter at 68 sites.
The prototype 3-D visualization tools, VALLEY, are almost at a point where they can be released. A new distribution of FIELD is available.

In addition there have been extensions to the prototype cc(FD) constraint language and MONGREL multidatabase system developed as part of this effort.

List of Publications.

  1. N.M. Amato and F.P. Preparata, `A time-optimal parallel algorithm for 3D convex hulls', Algorithmica, to appear.
  2. P. Bertolazzi, G. Di Battista, C. Mannino and R. Tamassia, Optimal upward planarity testing of single-source digraphs', Proc. European Symp., Lect. Notes in CS, vol. 726, Springer-Verlag.
  3. J.D. Boissonnat, O. Devillers, L. Donati, and F.P. Preparata, `Motion planning of legged robots: the spider robot problem', Internat. J. Computation Geometry and App., to appear.
  4. Anthony R. Cassandra, Leslie Pack Kaelbling and Michael L. Littman, `Acting optimally in partially observable stochastic domains', Proc. 12th National Conference on AI.
  5. Tiziana Catarci and Isabel F. Cruz, `On expressing stratified Datalog', Second ICLP-Workshop on Deductive Databases and Logic Programming.
  6. E. Charniak `Statistical Language Learning' MIT Press, 1993
  7. Y.J. Chiang, F.P. Preparata, and R. Tamassia, `A unified approach to dynamic point location, ray shooting, and shortest paths in planar maps', SIAM Journal on Computing, to appear.
  8. R. Cole, P. N. Klein and R. E. Tarjan, `A linear-work parallel algorithm for finding a minimum spanning tree', Proc. 6th ACM Symp. on Parallel Algorithms and Architectures.
  9. R. F. Cohen and Roberto Tamassia, `Combine and conquer: a general technique for dynamic algorithms', Proc. European Symp., Lect. Notes in CS, vol. 726, Springer-Verlag.
  10. A. Cortesi, B. Le Charlier and P. Van Hentenryck, `Combinations of abstract domains for logic programming', Proc. ACM-SIGPLAN Symposium on Principles of Programming Languages (POPL-94).
  11. Isabel F. Cruz, `User-defined visual query languages', IEEE 10th International Symposium on Visual Languages, VL '94.
  12. Isabel F. Cruz, `Expressing constraints for data display specification: a visual approach', Brown University CS Techreport 93-57.
  13. Isabel F. Cruz, `User-defined visual languages for querying data', Brown University CS Techreport 93-58.
  14. O. Degimbe, B. Le Charlier, L. Olivier and P. Van Hentenryck, `Practical efficiency of three general-purpose fixpoint algorithms applied to the abstract interpretation of Prolog', International Workshop on Static Analysis (WSA-93).
  15. T. W. Doeppner, `The thread-monitor library: a system for monitoring Solaris-threads programs', Brown University CS Technical Report 93-53.
  16. T. W. Doeppner, `Open software: UNIX, DCE, and competitors', Proc. CERN School of Computing, 1994; Brown University CS Technical Report 93-59.
  17. A. Garg and R. Tamassia, `Advances in graph drawing', Proc. CIAC'94, Lect. Notes in CS, vol. 778, Springer-Verlag.
  18. S. Gottschalk and J. F. Hughes, `Autocalibration for virtual environment tracking hardware', Proc. SIGGRAPH '93.
  19. Gerd Hillebrand and Paris Kanellakis, `Functional database query languages as typed lambda calculi of fixed order', Proc. ACM PODS 1994.
  20. Gerd Hillebrand, Paris Kanellakis and Harry Mairson, `Database query languages embedded in the typed lambda calculus', invited to special issue of JCSS on IEEE LICS93.
  21. Gerd Hillebrand, Paris Kanellakis and Harry Mairson, `An analysis of the core-ML language: expressive power and type reconstruction', Proc. ICALP 1994.
  22. P. M. Hubbard, `Interactive collision detection', IEEE Symposium on Research Frontiers in Virtual Reality '93.
  23. Leslie Pack Kaelbling and R. Ashar, `Learning hierarchies in stochastic domains', 4th Wkshp on Comp. Learning Theory and Natural Learning Systems.
  24. Paris Kanellakis, Sridhar Ramaswamy, Darren Vengroff, and Jeffrey Vitter, `Indexing for data models with constraints and classes', Proc. 12th ACM PODS, 1993; invited to appear in the special issue of JCSS for PODS 1993.
  25. Paris Kanellakis and Dina Goldin, `Constraint programming and database query languages', Proc. Theoretical Aspects of Computer Software TACS 1994.
  26. G. Kant, G. Liotta, R. Tamassia and I.G. Tollis, `Area requirement of visibility representations of trees', Proc. 5th Canadian Conf. on Computational Geometry.
  27. P. N. Klein, S. Rao, M. Rauch, and S. Subramanian, `Faster shortest-path algorithms for planar graphs', Proc. 26th Symp. on Theory of Computing.
  28. P. N. Klein and S. Subramanian, `A linear-processor, polylog-time algorithm for shortest paths in planar graphs', Proc. 34th Symp. on Foundations of Computer Science.
  29. P. N. Klein and R. E. Tarjan, `A randomized linear-time algorithm for finding a minimum spanning tree', Journal of the ACM, Proc. 26th Symp. on Theory of Computing.
  30. P. N. Klein, A. K. Agrawal, and R. Ravi, `When trees collide: an approximation algorithm for the generalized Steiner tree problem on networks', SIAM Journal Comput., to appear.
  31. P. N. Klein, S. Plotkin, C. Stein and E. Tardos, `Faster approximation algorithms for the unit capacity concurrent flow problem with applications to routing and finding sparse cuts', SIAM Journal Comput., to appear.
  32. P. N. Klein, `Efficient parallel algorithms for chordal graphs', SIAM Journal Comput., to appear.
  33. B. Le Charlier and P. Van Hentenryck, `Experimental evaluation of a generic abstract interpretation algorithm for Prolog', ACM Transactions on Programming Languages and Systems.
  34. T. Leung, et al., `The AQUA data model and algebra', Proc. 4th Int. Workshop on Database Prog. Lang. '93.
  35. H.-I. Lu, P. N. Klein, and R. H. B. Netzer, `Detecting race conditions in parallel programs that use one semaphore' Workshop on Algorithms and Data Structures '93.
  36. K. Miriyala, S.W. Hornick and R. Tamassia, `An incremental approach to aesthetic graph layout', Proc. Int. Workshop on Computer-Aided Software Engineering CASE'93.
  37. G. Mitchell, U. Dayal, and S. Zdonik, `Control of an extensible query optimizer: a planning-based approach', Proc. VLDB Conference '93.
  38. R. H. B. Netzer and S. K. Damodaran-Kamal, `Accurate race condition detection for message-passing programs', Brown University Technical Report.
  39. R. H. B. Netzer, S. Subramanian, and J. Xu, `Critical-path-based message logging for incremental replay of message-passing programs', IEEE International Conf. on Distributed Computing Systems '94.
  40. R. H. B. Netzer and M. H. Weaver, `Optimal tracing and incremental reexecution for debugging long-running programs', Proc. ACM SIGPLAN Conf. Prog. Lang. Des. and Imp., 1994.
  41. R. H. B. Netzer and J. Xu, `Necessary and sufficient conditions for consistent global snapshots', IEEE Trans. on Parallel and Dist. Systems, to appear, 1994.
  42. R. H. B. Netzer, `Trace size vs. parallelism in trace-and-replay debugging of shared-memory programs', in Lecture Notes in Computer Science 768.
  43. R. H. B. Netzer and J. Xu, `Adaptive message logging for incremental replay of message-passing programs', IEEE Parallel and Distributed Technology '93.
  44. Ann Nicholson and Leslie Pack Kaelbling, `Toward approximate planning in very large state spaces', Proc. AAAI Spring Symp. on Decision-Theoretic Planning.
  45. M. H. Nodine, `Supporting long-running tasks on an evolving multidatabase using interactions and events', Proc. 2nd Int. Conf. on Parallel and Dist. Info. Syst. '93.
  46. M. H. Nodine and S. B. Zdonik, `Automating compensation in a multidatabase', Proc. Hawaii Int. Conf. on Systems Science '94.
  47. M. H. Nodine, N. Nakos, and S. B. Zdonik, `Specifying flexible tasks in a multidatabase', Proc. 2nd Int. Conf. on Cooperative Info. Sys. '94.
  48. V.Y. Pan and F.P. Preparata, `Work-preserving speed-up of parallel matrix computations', SIAM Journal on Computing, to appear.
  49. A. Pietracaprina and F.P. Preparata, `A practical constructive scheme for deterministic shared-memory access', Proc. ACM 1993, SPAA.
  50. F.P. Preparata and J.S. Vitter, `A simplified technique for hidden-line elimination in terrains', International Computational Geometry and Applications, to appear.
  51. V. Ramachandran and P. Van Hentenryck, `Incremental algorithms for constraint solving and entailment over rational trees', Proc. 13th Conference on Foundations of Software Technology and Theoretical Computer Science.
  52. Sridhar Ramaswamy and Sairam Subramanian, `Path caching: a technique for optimal external searching', Proc. 13th ACM PODS, 1993.
  53. S. P. Reiss, `A framework for abstract 3-D visualization', Proc. Visual Languages '93.
  54. S. P. Reiss, `Presentation and editing of structured 3-D graphics', Proc. HCI '93.
  55. Steven P. Reiss and Isabel F. Cruz, `Practical software visualization', Software Visualization (SIGCHI) Workshop.
  56. M. Sarkar, S. S. Snibbe, O J. Tversky, and S. P. Reiss, `Stretching the rubber sheet: a metaphor for viewing large layouts on small screens', Proc. ACM SIGGRAPH UIST '93.
  57. J.E. Savage, A model for multigrained parallelism, 6th Annl. ACM Symp. on Parallel Algorithms and Architectures.
  58. B. Subramanian et al., `Ordered types in the AQUA data model', Proc. 4th Int. Workshop on Database Prog. Lang. '93.
  59. R. Tamassia and I.G. Tollis, `Reachability in planar digraphs with one source and one sink', Theoretical Computer Science A, vol. 119.
  60. P. Van Hentenryck, `Scheduling and packing in the constraint language cc(FD)', in Intelligent Scheduling, Morgan Kaufman.
  61. P. Van Hentenryck and V. Ramachandran, `Backtracking without trailing in CLP(Rlin)', Proc. ACM-SIGPLAN Conference on Programming Language Design and Implementation (PLDI-94).
  62. P. Van Hentenryck, A. Cortesi and B. Le Charlier, `Type analysis of Prolog using type graphs', Proc. ACM-SIGPLAN Conference on Programming Language Design and Implementation (PLDI-94).
  63. P. Van Hentenryck, O. Degimbe, B. Le Charlier and L. Olivier, `The impact of granularity in abstract interpretation of Prolog', International Workshop on Static Analysis (WSA-93).
  64. Peter Wegner, `Computer literacy for undergraduates: a computer literacy approach', Brown University CS Techreport 94-21.
  65. Peter Wegner, `Models and paradigms of interaction', Springer Verlag LNCS Monograph, also Brown University CS Techreport 93-48.
  66. Peter Wegner, `Towards component-based software technology', Brown University CS Techreport 93-11.
  67. Peter Wegner, `Beyond computable functions, or escape from the Turing tarpit', Brown University CS Techreport, TR 94-01; to appear in Proc. DIMACS Workshop on Parallel Specification.
  68. Peter Wegner, `Reasoning, modeling and component-based technology', Proc. 4th Int. Conf. of Logic Programming and Automatic Programming', Springer Verlag.
  69. Peter Wegner, Gul Agha and Akinori Yonezawa (editors), `Research directions in concurrent object-oriented programming', The MIT Press.
  70. Peter Wegner, `Tradeoffs between reasoning and modeling', in `Research directions in concurrent object-oriented programming', ed. Wegner, Agha and Yonezawa, The MIT Press.
  71. Peter Wegner, `Dimensions of object-oriented modeling', IEEE Computer.
  72. Peter Wegner, `Concepts and paradigms of object-oriented programming (Japanese translation)'.
  73. Peter Wegner, `New directions in the introductory computer science curriculum', Proc. 1994 ACM Computer Science Conference.
  74. J. Xu and R. H. B. Netzer, `Adaptive independent checkpointing for reducing rollback propagation', IEEE Symposium on Parallel and Distributed Processing '94.
  75. R. C. Zeleznik, K. P. Herndon, D. C. Robbins, N. Huang, T. Meyer, N. Parker, and J. F. Hughes, `An interactive 3D toolkit for constructing 3D widgets', Proc. SIGGRAPH '93.
  76. S. Zdonik, `Incremental database systems: databases from the ground up', Proc. ACM SIGMOD '93.

Invited and Contributed Presentations.

  1. Andries Van Dam: Keynote Lecture, "VR as a Forcing Function: Software Implications of a New Paradigm", IEEE Symposium on Virtual Reality, San Jose, CA (October 1993)
  2. Andries Van Dam: Keynote Lecture, "The Desktop of the Future", ENUF (European Network Users Forum, London, England (October 1993)
  3. Paris Kanellakis was invited speaker at ICALP94 in Jerusalem Israel, TACS94 in Sendai Japan and CONCUR94 in Uppsala Sweden.
  4. Peter Wegner lectured at the University of Arizona, Tucson, November 1993, Arizona State University, Phoenix, November 1993, Laval University, Quebec, March 1994, University of Puerto Rico, Ponce, Puerto Rico, April 1994 DIMACS Workshop on Parallel Computing, Princeton, May 1994, at ECOOP, Bologna Italy, July 1994
  5. Steven Reiss lectured on "Program Visualization: Where We Go From Here" at Sun Microsystems, Northeastern U., NYNEX Science and Technology Center.
  6. Marian Nodine, "Interactions: Multidatabase Support for Planning Applications", Colloquium talk at Purdue University Center for Database Studies February, 1993.
  7. Pascal Van Hentenryck gave a tutorial at AAAI'94. He lectured at WSA'93, International Symposium on Mathematical Programming ( August 1994), ENS, INRIA, Paris, France (April, 1994).
  8. Isabel Cruz lectured at: MIT, Media Lab, Cambridge, Massachussetts, USA, December 1993; University of Rome ``La Sapienza'', Rome, Italy, December 1993; Johns Hopkins University, Baltimore, February 1994; UNC Charlotte, Charlotte, NC, March 1994; ATT, Bell Laboratories, Murray Hill, NJ, March 1994; Tufts University, Medford, MA, March 1994; Villanova University, Villanova, PA, March 1994; Boston University, Boston, MA, April 1994; Northeastern University, Boston, MA, April 1994; MIT, Cambridge, MA, April 1994; University of Bergen, Norway, May 1994; University of Newcastle, Australia, June 1994.
  9. Thomas Doeppner was invited to present the Thread-monitor library at the "SunWorld Conference" in June 1994.
  10. Leslie Kaelbling gave invited talks at: inaugural meeting of MLNET (European Machine Learning Network), Blanes, Spain, 1993; at National Conference on AI, Seattle, 1994; at European Conference on AI, Amsterdam, 1994; Invited tutorial at International Conference on Machine Learning Conference on Learning Theory, Rutgers, 1994; Invited talk at Meckler conference on Virtual Reality, San Jose, California, 1994.
  11. John Savage gave invited talk at MIT on 4/6/94
  12. Roberto Tammassia gave invited lectures at: 4/94 892nd Meeting of the American Mathematical Society, Brooklyn, New York; 2/94 Second Italian Conference on Algorithms and Complexity (CIAC '94), Rome, Italy; 12/93 University of Rome, ``La Sapienza''; 10/93 State University of New York at Buffalo.
  13. Philip Klein was invited to speak at Theory Day at Columbia University and gave invited talks at at Waterloo, Princeton, New York University, MIT, International Compute Science Institute, DIMACS Workshop on Parallel Algorithms.

Honors, Prizes or Awards Received.

AWARDS
  1. Andries Van Dam: 1994 IEEE Fellow Award, 1994 ACM Fellow Award, 1994 ACM Karl. V. Karlstrom Outstanding Educator Award
  2. Pascal Van Hentenryck: NSF National Young Investigator 1993
  3. Leslie Kaelbling NSF Presidential Faculty Fellow 1994
  4. Robert Netzer: his paper ``Adaptive Independent Checkpointing for Reducing Rollback Propagation'' won best-paper award (in the systems track) of the IEEE Symposium on Parallel and Distributed
EDITORSHIPS
  1. Leslie Kaelbling was elected to Editorial Board of Machine Learning Journal, Editorial Board of Autonomous Systems, Advisory Committee of International Joint Conference on AI.
  2. John Savage joined the editorial board of JCSS.
  3. Paris Kanellakis joined the editorial boards of Information and Computation and the Chicago (electronic) Journal of Theoretical CS.
  4. Isabel Cruz: Guest editor special issue of the Journal of Visual Languages and Computing on ``Graph Drawing'', with co-guest editor Peter Eades,
  5. Roberto Tammassia is guest editing three issues: Journal of Computer and System Sciences, Special Issue on selected papers presented at the 26th ACM Symposium on Theory of Computing (STOC '94), to appear. Algorithmica, Special Issue on Graph Drawing, to appear. Computational Geometry: Theory and Applications, Special Issue on Geometric Representations of Graphs, to appear.
PROGRAM COMMITTEES
  1. Andries Van Dam: 1993 SIGGRAPH Technical Papers Committee
  2. Paris Kanellakis: IEEE LICS94, ACM SIGMOD94, First Workshop on Digital Libraries (Rutgers May 94).
  3. John Hughes: 1993 SIGGRAPH Technical Papers Committee, 1994 SIGGRAPH Technical Papers Committee
  4. S.B. Zdonik: 4th International Workshop on Database Programming Languages, New York, NY, September, 1993.
  5. Robert Netzer: 1994 IEEE Symposium on Parallel and Distributed Processing.
  6. Pascal Van Hentenryck: AAAI'94, CCL'94, ICLP'94, PASCO'94, PEPM'94, SAS'94.
  7. Isabel Cruz: AVI '94, International Workshop on Advanced Visual Interfaces, Bari, Italy, June 1994. ACM SIGMOD '95 International Conference on Data Management.
  8. Leslie Kaelbling: National Conference on AI, International Conference on Machine Learning, Conference on AI Planning, Conference on Simulation of Adaptive Behavior.
  9. Leslie Kaelbling: Co-organizer Workshop in Reinforcement Learning at International Machine Learning Conference.
  10. Roberto Tammassia: 10th ACM Annual Symposium on Computational Geometry, June 6-8 1994, Stony Brook, New York. 26th ACM Symposium on Theory of Computing (STOC '94), May 23-25, 1994, Montreal, Canada. ALCOM International Workshop on Graph Drawing and Topological Graph Algorithms (Graph Drawing '93), September 25-29, 1993, Paris, France. 3rd Workshop on Algorithms and Data Structures (WADS '93), August 11-13 1993, Montreal, Canada
  11. Philip Klein: ACM-SIAM Symposium on Discrete Algorithms

Project Personnel Promotions Obtained.

  1. Philip Klein was promoted to Associate Prof with tenure (July 94).
  2. Maurice Herlihy (formerly of DEC) joined the CS Department and the project staff as Associate Prof with tenure (June 94).
  3. Isabel Cruz, a postdoc with project during last 2 years, is now an Assistant Prof at Tufts.

Project Staff.

  1. Eugene Charniak PI (administrative)
  2. Steven Reiss PI (technical)
  3. Paris Kanellakis PI (technical)
  4. Thomas Doeppner coPI
  5. Maurice Herlihy coPI
  6. Jon Hughes coPI
  7. Philip Klein coPI
  8. Leslie Kaelbling coPI
  9. Robert Netzer coPI
  10. Franco Preparata coPI
  11. John Savage coPI
  12. Roberto Tammassia coPI
  13. Andries Van Dam coPI
  14. Pascal Van Hentenryck coPI
  15. Peter Wegner coPI
  16. Stan Zdonik coPI
  17. Isabel Cruz postdoc
  18. 13 graduate students (with partial support)

Misc Hypermedia.

Keywords.

  1. Design Environments
  2. Programming Environments
  3. Concurrent OO-Languages
  4. Constraint Languages
  5. OO Databases
  6. 3D Graphics
  7. Scientific Visualization