ACM Computing Surveys, Volume 28

Volume 28, Number 1, March 1996

• 
  Serge Abiteboul, Gabriel M. Kuper, Harry G. Mairson, Alexander A. Shvartsman, Moshe Y. Vardi:
  In Memoriam Paris C. Kanellakis. 3-15

ACM 50th-Anniversary Symposium: Perspectives in Computer Science

Long versions of these papers are published in The Computer Science and Engineering Handbook

Algorithms and Data Structures

• 
  Edward M. Reingold:
  Basic Techniques for Design and Analysis of Algorithms. 19-21
• 
  Roberto Tamassia:
  Data Structures. 23-26
• 
  D. T. Lee:
  Computational Geometry. 27-31
• 
  Rajeev Motwani, Prabhakar Raghavan:
  Randomized Algorithms. 33-37
• 
  Maxime Crochemore, Thierry Lecroq:
  Pattern-Matching and Text-Compression Algorithms. 39-41
• 
  Samir Khuller, Balaji Raghavachari:
  Graph and Network Algorithms. 43-45
• 
  Michael C. Loui:
  Computational Complexity Theory. 47-49
• 
  Guy E. Blelloch, Bruce M. Maggs:
  Parallel Algorithms. 51-54
• 
  Vijay Chandru, M. R. Rao:
  Combinatorial Optimization: An Integer Programming Perspective. 55-58
• 
  Andrea S. LaPaugh:
  Layout Algorithms for VLSI deisgn. 59-61

Architecture

• 
  Doug Burger:
  Memory Systems. 63-65
• 
  Michael J. Flynn, Kevin W. Rudd:
  Parallel Architectures. 67-70

Artificial Intelligence

• 
  J. Ross Quinlan:
  Learning Decision Tree Classifiers. 71-72
• 
  Michael I. Jordan, Christopher M. Bishop:
  Neural Networks. 73-75
• 
  Stephanie Forrest:
  Genetic Algorithms. 77-80
• 
  Frank L. Lewis, M. Fitzgerald, Kai Liu:
  Robotics. 81-83
• 
  Thomas Dean:
  Automated Planning. 85-87
• 
  Judea Pearl:
  Decision Making Under Uncertainty. 89-92

Computational Science

• 
  Pasquale Cinnella:
  Numerical Simulations of Reactive Flows. 93-96
• 
  Joseph S. Shang:
  Computational Electromagnetics. 97-99
• 
  David T. Kingsbury:
  Computational Biology. 101-103

Database and Information Retrieval

• 
  Abraham Silberschatz, Henry F. Korth, S. Sudarshan:
  Data Models. 105-108
• 
  Stefano Ceri, Raghu Ramakrishnan:
  Rules in Database Systems. 109-111
• 
  Dennis E. Shasha:
  Tuning Databases for High Performance. 113-115
• 
  Betty Salzberg:
  Access Methods. 117-120
• 
  Yannis E. Ioannidis:
  Query Optimization. 121-123
• 
  M. Tamer Özsu, Patrick Valduriez:
  Distributed and Parallel Database Systems. 125-128
• 
  Sushil Jajodia:
  Database Security and Privacy. 129-131
• 
  Ellen Riloff, Lee A. Hollaar:
  Text Databases and Information Retrieval. 133-135
• 
  François Bancilhon:
  Object Databases. 137-140
• 
  Jim Melton:
  SQL Language Summary. 141-143

Computer Graphics

• 
  Donald H. House:
  Overview of Three-Dimensional Computer Graphics. 145-148
• 
  Alyn P. Rockwood:
  Geometric Primitives. 149-151
• 
  David S. Ebert:
  Advanced Modeling Techniques for Computer Graphics. 153-156
• 
  Alan Watt:
  Rendering Techniques: Past, Present and Future. 157-159
• 
  Nadia Magnenat-Thalmann, Daniel Thalmann:
  Computer Animation. 161-163
• 
  Arie E. Kaufman:
  Volume Visualization. 165-167

Human-Computer Interaction

• 
  Jonathan Grudin:
  The Organizational Contexts of Development and Use. 169-171
• 
  Wolfgang Dzida:
  International Usability Standards. 173-175
• 
  Robert J. K. Jacob:
  Human-Computer Interaction: Input Devices. 177-179
• 
  Colin Ware:
  Multimedia Output Devices and Techniques. 181-183
• 
  Jürgen Ziegler:
  Interactive Techniques. 185-187
• 
  Brad A. Myers:
  User Interface Software Technology. 189-191
• 
  Mary Beth Rosson:
  Human Factors in Programming and Software Development. 193-195
• 
  Stuart A. Selber, Johndan Johnson-Eilola, Brad Mehlenbacher:
  Online Support Systems. 197-200

Operating Systems and Networks

• 
  Raphael A. Finkel:
  Operating Systems. 201-203
• 
  John A. Stankovic:
  Real-Time and Embedded Systems. 205-208
• 
  Craig E. Wills:
  Process Synchronization and IPC. 209-211
• 
  Peter J. Denning:
  Virtual Memory. 213-216
• 
  Marshall K. McKusick:
  Secondary Storage and Filesystems. 217-219
• 
  William Stallings:
  Advances in High-Speed Networking. 221-223
• 
  Sape J. Mullender:
  Distributed Operating Systems. 225-227
• 
  Thomas W. Doeppner Jr.:
  Distributed File Systems and Distributed Memory. 229-231
• 
  Steve J. Chapin:
  Distributed and Multiprocessor Scheduling. 233-235
• 
  Howard Jay Siegel, Henry G. Dietz, John K. Antonio:
  Software Support for Heterogeneous Computing. 237-239
• 
  Ravi S. Sandhu, Pierangela Samarati:
  Authetication, Access Control, and Audit. 241-243

Programming Languages

• 
  Kim B. Bruce:
  Process in Programming Languages. 245-247
• 
  Benjamin Goldberg:
  Functional Programming Languages. 249-251
• 
  Stuart Hirshfield, Raimund K. Ege:
  Object-Oriented Programming. 253-255
• 
  Jacques Cohen:
  Logic Programming and Constraint Logic Programming. 257-259
• 
  Michael Wolfe:
  Parallelizing Compilers. 261-262
• 
  Luca Cardelli:
  Type Systems. 263-264
• 
  David A. Schmidt:
  Programming Language Semantics. 265-267

Software Engineeing

• 
  Ian Sommerville:
  Software Process Models. 269-271
• 
  Ian M. Holland, Karl J. Lieberherr:
  Object-Oriented Design. 273-275
• 
  Stephen R. Schach:
  Testing: Principles and Practice. 277-279
• 
  Steven P. Reiss:
  Software Tools and Environments. 281-284
• 
  Peter Wegner:
  Interoperability. 285-287

Volume 28, Number 2, June 1996

Symposium on Models of Programming Languages and Compuation

• 
  Chris Hankin, Hanne Riis Nielson:
  Computing Surveys Symposium on Models of Programming Languages and Compuation. 293-294

Language Design

• 
  Gul Agha:
  Linguistic Paradigms for Programming Complex Distributed Systems. 295-296
• 
  Jean-Marc Andreoli, Remo Pareschi:
  Integrated Computational Paradigms for Flexible Client-Server Communication. 297-299
• 
  Paolo Ciancarini:
  Coordination Models and Languages as Software Integrators. 300-302
• 
  David R. Gilbert:
  Can Computational Logic Provide a Paradigm for Both the Specification and Implementation of Concurrent Systems? 303-305
• 
  Michael Hanus, Herbert Kuchen:
  Integration of Functional and Logic Programming. 306-308
• 
  Alan Mycroft:
  On Integration of Programming Paradigms. 309-311
• 
  Uday S. Reddy:
  Imperative Functional Programming. 312-314
• 
  Dennis M. Volpano, Geoffrey Smith:
  On the Systematic Design of Web Languages. 315-317
• 
  Philip Wadler:
  Lazy Versus Strict. 318-320

Program Analysis

• 
  P. N. Benton:
  On the Relationship Between Formal Semantics and Static Analysis. 321-323
• 
  Patrick Cousot:
  Abstract Interpretation. 324-328
• 
  Olivier Danvy, Nevin Hentze, Karoline Malmkjær:
  Resource-Bounded Partial Evaluation. 329-332
• 
  Gilberto Filé, Roberto Giacobazzi, Francesco Ranzato:
  A Unifying View of Abstract Domain Design. 333-336
• 
  Suresh Jagannathan, Andrew K. Wright:
  Compiling Functional Languages with Flow Analysis. 337-339
• 
  Daniel Le Métayer, David A. Schmidt:
  Structural Operational Semantics as a Basis for Static Program Analysis. 340-343
• 
  Flemming Nielson:
  Annotated Type and Effect Systems. 344-345

Program Verification and Types

• 
  Mads Dam:
  Modalities in Analysis and Verification. 346-348
• 
  Robert Cartwright, Matthias Felleisen:
  Program Verification Through Soft Typing. 349-351
• 
  Pierpaolo Degano, Corrado Priami:
  Enhanced Operational Semantics. 352-354
• 
  C. Barry Jay:
  Shape in Computing. 355-357
• 
  Jens Palsberg:
  Type Inference for Objects. 358-359

Long Papers

• 
  Alberto Pettorossi, Maurizio Proietti:
  Rules and Strategies for Transforming Functional and Logic Programs. 360-414
• 
  William B. Frakes, Carol Terry:
  Software Reuse: Metrics and Models. 415-435

Volume 28, Number 3, September 1996

• 
  Antero Taivalsaari:
  On the Notion of Inheritance. 438-479
• 
  Neil D. Jones:
  An Introduction to Partial Evaluation. 480-503
• 
  Joseph A. Gallian:
  Error Detection Methods. 504-517
• 
  Peter Soderquist, Miriam Leeser:
  Area and Performance Tradeoffs in Floating-Point Divide and Square-Root Implementations. 518-564

Volume 28, Number 4, December 1996

ACM 50th Anniversary Issue: Strategic Directions in Computing Research

• 
  Peter Wegner, Jon Doyle:
  Editorial: Strategic Directions in Computing Research. 565-574

Foundations

• 
  Michael C. Loui:
  Strategic Directions in Research in Theory of Computing. 575-590
• 
  Roberto Tamassia:
  Strategic Directions in Computational Geometry. 591-606
• 
  Rance Cleaveland, Scott A. Smolka:
  Strategic Directions in Concurrency Research. 607-625
• 
  Edmund M. Clarke, Jeannette M. Wing:
  Formal Methods: State of the Art and Future Directions. 626-643
• 
  Chris Hankin, Hanne Riis Nielson, Jens Palsberg:
  Strategic Directions in Research on Programming Languages. 644-652
• 
  Jon Doyle, Thomas L. Dean:
  Strategic Directions in Artificial Intelligence. 653-670

Systems

• 
  Trevor N. Mudge:
  Strategic Directions in Computer Architecture. 671-678
• 
  David D. Clark, Joseph Pasquale:
  Strategic Directions in Networks and Telecommunications. 679-690
• 
  Rachid Guerraoui:
  Strategic Directions in Object-Oriented Programming. 691-700
• 
  Pascal Van Hentenryck, Vijay A. Saraswat:
  Strategic Directions in Constraint Programming. 701-726
• 
  Carl A. Gunter, John C. Mitchell, David Notkin:
  Strategic Directions in Software Engineering and Programming Languages. 727-737
• 
  Leon J. Osterweil:
  Strategic Directions in Software Quality. 738-750
• 
  John A. Stankovic:
  Strategic Directions in Real-Time and Embedded Systems. 751-763
• 
  Abraham Silberschatz, Stanley B. Zdonik:
  Strategic Directions in Database Systems - Breaking Out of the Box. 764-778
• 
  Garth A. Gibson, Jeffrey Scott Vitter, John Wilkes:
  Strategic Directions in Storage I/O Issues in Large-Scale Computing. 779-793

Applications and Infrastructure

• 
  Brad A. Myers, James D. Hollan, Isabel F. Cruz:
  Strategic Directions in Human-Computer Interaction. 794-809
• 
  Ahmed H. Sameh:
  Computational Science and Engineering. 810-817
• 
  Nabil R. Adam, Yelena Yesha:
  Strategic Directions in Electronic Commerce and Digital Libraries: Towards a Digital Agora. 818-835
• 
  Allen B. Tucker:
  Strategic Directions in Computer Science Education. 836-845

Volume 28, Number 4es, December 1996

Artificial Intelligence

• 
  Ronald J. Brachman, Hector J. Levesque:
  Undirected Behavior Without Unbounded Search. 1
• 
  Thomas Dean:
  Integrating Theory and Practice in Planning. 2
• 
  Thomas G. Dietterich:
  Machine Learning. 3
• 
  Jon Doyle:
  Cleaving (Unto) Artificial Intelligence. 4
• 
  C. Cordell Green:
  Formality Helps Scalability and Robustness. 5
• 
  Barbara J. Grosz:
  The Importance of Integration for AI. 6
• 
  Ian Horswill:
  Integrated Systems and Naturalistic Tasks. 7
• 
  Daphne Koller:
  Structured Representations and Intractability. 8
• 
  Fernando C. N. Pereira:
  Language, Computation and Artificial Intelligence. 9
• 
  Bart Selman:
  Computational Challenges in Artificial Intelligence. 10
• 
  Yoav Shoham:
  The Open Scientific Borders of AI, and the Case of Economics. 11
• 
  Howard E. Shrobe:
  Two Challenging Domains. 12
• 
  William R. Swartout:
  Future Directions in Knowledge-Based Systems. 13
• 
  Michael P. Wellman:
  The Economic Approach to Artificial Intelligence. 14
• 
  Shlomo Zilberstein:
  Resource-Bounded Reasoning in Intelligent Systems. 15

Computational Geometry

• 
  Pankaj K. Agarwal, Subhash Suri:
  Simple and Practical Geometric Algorithms. 16
• 
  Nancy M. Amato:
  Equipping CAD/CAM Systems with Geometric Intelligence. 17
• 
  Danny Z. Chen:
  Developing Algorithms and Software for Geometric Path Planning Problems. 18
• 
  Ioannis G. Tollis:
  Graph Drawing and Information Visualization. 19
• 
  Jeffrey Scott Vitter:
  Communication Issues in Large-Scale Geometric Computation. 20

Computational Science and Engineering

• 
  George Cybenko:
  Large-Scope Computing: The Industrial Challenges. 21
• 
  Malvin Kalos:
  Challenges in Computational Science. 22
• 
  Kenneth Neves:
  Thoughts On CSE Candidates For Industrial Positions. 23
• 
  John R. Rice:
  Computational Science as One Driving Force for All Aspects of Computing Research. 24
• 
  Francis Sullivan:
  From Theory to Practice. 25

Computer Architecture

• 
  Thomas M. Conte:
  Importance of Profiling and Compatibility. 26
• 
  Joel S. Emer:
  Incremental Versus Revolutionary Research. 27
• 
  Matthew K. Farrens:
  Distributed Decentralized Computing. 28
• 
  Dirk Grunwald:
  Embedded, General-Purpose, and High-Performance Systems. 29
• 
  Kai Li:
  Applications, Storage Hierarchy, and Integration. 30
• 
  Jack Mills:
  An Industrial Perspective on Computer Architecture. 31
• 
  David Nagle:
  Synergy Between Software and Hardware. 32
• 
  Yale N. Patt:
  Microarchitecture, Compilers and Algorithms. 33
• 
  Jim Smith:
  Multiscalar As a New Architecture Paradigm. 34
• 
  Wen-Hann Wang:
  Microprocessor Architecture Challenges - The Best is Yet to Come! 35
• 
  David A. Wood:
  Problems, Challenges and the Importance of Performance Evaluation. 36
• 
  Robert Yung:
  The Importance of Process Technology to Architecture. 37

Concurrency

• 
  Jos C. M. Baeten, Jan A. Bergstra:
  Six Issues Concerning Future Directions in Concurrency Research. 39
• 
  Eike Best:
  Some Major Dichotomies Relating to Future Research in Concurrency. 40
• 
  Rance Cleaveland:
  Semantic Theories and System Design. 41
• 
  Roberto Gorrieri:
  On the Power of Concurrency Theory. 42
• 
  Mohamed G. Gouda:
  Network Protocols Between Exact Specifications and Pragmatic Implementations. 43
• 
  Jan Friso Groote:
  Concurrency Theory Will Set Standards for Description and Analysis of Software. 44
• 
  C. A. R. Hoare:
  Unifying Theories : A Personal Statement. 46
• 
  David R. Luginbuhl:
  Issues in Concurrent Systems Research. 47
• 
  Dale Miller:
  Logical Foundations for Open System Design. 48
• 
  Jayadev Misra:
  A Discipline of Multiprogramming. 49
• 
  Faron Moller:
  Logics for Concurrency: Structure Versus Automata. 50
• 
  Ugo Montanari:
  Causal Computing. 51
• 
  Rocco De Nicola, Scott A. Smolka:
  Concurrency: Theory and Practice. 52
• 
  Sanjiva Prasad:
  Models for Mobile Computing Agents. 53
• 
  Vaughan R. Pratt:
  Concurrency Concepts - An Ongoing Search. 54
• 
  Joseph Sifakis:
  Research Directions for Concurrency. 55
• 
  Bernhard Steffen, Tiziana Margaria:
  Method Engineering for Real-Life Concurrent Systems. 56
• 
  Bent Thomsen:
  Programming Languages, Analysis Tools, and Concurrency Theory. 57
• 
  Pierre Wolper:
  Where is the Algorithmic Support? 58

Constraint Programming Constraint Programming

• 
  Alexander Brodsky:
  Constraint Database Technology for Electronic Trade with Complex Objectives. 107
• 
  Philippe Codognet:
  The Virtuality of Constraints and the Constraints of Virtuality. 60
• 
  Rina Dechter:
  Bucket Elimination: A Unifying Framework for Processing Hard and Soft Constraints. 61
• 
  Mehmet Dincbas:
  Constraint Programming. 62
• 
  Eugene C. Freuder:
  In Pursuit of the Holy Grail. 63
• 
  Manuel V. Hermenegildo:
  Some cCallenges for Constraint Programming. 64
• 
  Joxan Jaffar, Roland H. C. Yap:
  Constraint Programming 2000. 65
• 
  Simon Kasif:
  Towards a Constraint-Based Engineering Framework for Algorithm Design and Application. 66
• 
  Alan K. Mackworth:
  Constraint-Based Design of Embedded Intelligent Systems. 67
• 
  David A. McAllester:
  The Rise of Nonlinear Mathematical Programming. 68
• 
  Ken McAloon:
  Constraint-Based Programming. 69
• 
  Ugo Montanari, Francesca Rossi:
  Constraint Solving and Programming: What's Next? 70
• 
  William J. Older:
  CLP (intervals). 71
• 
  Jean-Francois Puget:
  Future of Constraint Programming. 72
• 
  Raghu Ramakrishnan:
  Constraints in Databases. 73
• 
  Vijay A. Saraswat:
  Compositional Computing. 74
• 
  Gert Smolka:
  Constraints in OZ. 75
• 
  Pascal Van Hentenryck:
  Constraint Programming for Combinatorial Search Problems. 76

Databases

• 
  José A. Blakeley:
  Thoughts on Directions in Database Research. 77
• 
  Umeshwar Dayal:
  Database Technology At A Crossroads. 78
• 
  Sushil Jajodia:
  Managing Security and Privacy of Information. 79
• 
  Henry F. Korth:
  New Focal Points for Research in Database Systems. 80
• 
  Guy M. Lohman:
  You Think Your DBMS is Complex Now? 81
• 
  David B. Lomet:
  A Role for Research in the Database Industry. 82
• 
  David Maier:
  Repackaging Database Systems. 83
• 
  Frank Manola:
  Transforming the Database System into an Open Service Concept. 84
• 
  M. Tamer Özsu:
  Future of Database Systems: Changing Applications and Technological Developments. 85
• 
  Raghu Ramakrishnan:
  Some Promising Directions for Database Research. 86
• 
  Krithi Ramamritham:
  Application-Oriented Database Support. 87
• 
  Hans-Jörg Schek:
  Improving the Role of Future Database Systems. 88
• 
  Richard T. Snodgrass:
  The Inefficiency of Misalignment. 89
• 
  Jeffrey D. Ullman:
  Moving Database Theory into Database Practice. 90
• 
  Jennifer Widom:
  Integrating Heterogeneous Databases: Lazy or Eager? 91

Education

• 
  Owen L. Astrachan:
  Education Goals and Priorities. 92
• 
  Kim B. Bruce:
  Thoughts on Computer Science Education. 93
• 
  Robert D. Cupper:
  A Revised Curriculum Framework. 94
• 
  Peter J. Denning:
  Business Design of the University. 95
• 
  Robert L. Scot Drysdale:
  What Should We Teach? 96
• 
  Charles Kelemen:
  Public Understanding of CS and First Courses for Nonmajors. 97
• 
  Catherine C. McGeoch:
  Research in the Curriculum, and the Web. 98
• 
  Yale N. Patt:
  First Courses and Fundamentals. 99
• 
  Viera K. Proulx, Richard Rasala:
  The Future of Computer Science Education. 100
• 
  Roy Rada:
  Calling for a Virtual Computing College. 101
• 
  Eric Roberts:
  Directions in Computer Science Education. 102
• 
  Lynn Andrea Stein:
  Interactive Programming: Revolutionizing Introductory Computer Science. 103
• 
  Allen B. Tucker:
  Crisis in Computer Science Education. 104

Electronic Commerce and Digital Libraries

• 
  Nabil R. Adam, Shamim A. Naqvi:
  Universal Access in Digital Libraries. 105
• 
  Baruch Awerbuch:
  Maximizing Gross Network Product (GNP): Resource Management on the GII. 106
• 
  Robert L. Grossman:
  Database Mining Challenges for Digital Libraries. 108
• 
  Jim Johnson:
  The Physics of Politics in the Information Age. 109
• 
  Catherine D. McCollum, Arnon Rosenthal, Barbara T. Blaustein:
  Flexible Security Policies for Digital Libraries. 110
• 
  Anna-Lena Neches:
  The Future of Electronic Commerce: A Pragmatic View. 111
• 
  Jacob Slonim, Karen Bennet:
  The Electronic Commerce Position Paper. 112
• 
  Ouri Wolfson:
  Infrastructure and Cost Models for Digital Libraries. 113
• 
  Howard D. Wactlar:
  The Next Generation Electronic Library - Capturing the Experience. 114

Formal Methods

• 
  Rajeev Alur:
  Next Steps in Formal Verification. 115
• 
  Edmund M. Clarke, Jeannette M. Wing:
  Tools and Partial Analysis. 116
• 
  Rance Cleaveland:
  Formality and Software Design. 117
• 
  Steven M. German:
  Research Goals for Formal Methods. 118
• 
  Thomas A. Henzinger:
  Some Myths About Formal Verification. 119
• 
  Gerard J. Holzmann:
  On-The-Fly Model Checking. 120
• 
  Cliff B. Jones:
  Formal Methods Light. 121
• 
  Doron A. Peled:
  User Interfaces for Formal Methods. 122
• 
  John M. Rushby:
  Enhancing the Utility of Formal Methods. 123
• 
  Joseph Sifakis:
  Research Directions for Formal Methods. 124
• 
  A. Prasad Sistla:
  Hybrid and Incremental Modelchecking Techniques. 125
• 
  Bernhard Steffen, Tiziana Margaria:
  Tools Get Formal Methods into Practice. 126
• 
  Pierre Wolper:
  The Meaning of "Formal". 127
• 
  Jim Woodcock:
  Software Engineering Research Directions. 128

Human-Computer Interaction

• 
  Steve Bryson:
  Implications of Near-Real-Time Three-Dimensional Interfaces. 129
• 
  Dick C. A. Bulterman:
  Making the Technology Serve the User. 130
• 
  Tiziana Catarci:
  Databases and the Web: New Requirements for Easy Access. 131
• 
  Wayne Citrin:
  Strategic Directions in Visual Languages Research. 132
• 
  Isabel F. Cruz:
  Tailorable Information Visualization. 133
• 
  Ephraim P. Glinert, R. Lindsay Todd, G. Bowden Wise:
  The Adaptive Multi-interface Multi-modal Environment. 134
• 
  Jonathan Grudin:
  The End of Exile. 135
• 
  James D. Hollan:
  Strategic Issues for Human-Computer Interaction. 136
• 
  Yannis E. Ioannidis:
  Visual User Interfaces for Database Systems. 137
• 
  Robert J. K. Jacob:
  The Future of Input Devices. 138
• 
  Bonnie E. John:
  Evaluating Usability Evaluation Techniques. 139
• 
  David Kurlander:
  Thoughts on User Interface Research Processes and Agendas. 140
• 
  Brad A. Myers:
  Programmability and Heuristics in the User Interfaces. 141
• 
  Dan R. Olsen:
  Computational Resources and the Internet. 142
• 
  Stuart M. Shieber:
  A Call for Collaborative Interfaces. 143
• 
  Ben Shneiderman:
  Advanced Graphic User Interfaces: Elastic and Tightly Coupled Windows. 144
• 
  John T. Stasko:
  Future Research Directions in Human-Computer Interaction. 145
• 
  Gary W. Strong:
  Human-Centered Information Systems (HCIS). 146
• 
  Kent Wittenburg:
  The WWW Information Glut: Implications for Next-Generation HCI Technologies. 147

Object-Oriented Programming

• 
  Mehmet Aksit:
  Separation and Composition of Concerns in the Object-Oriented Model. 148
• 
  Andrew P. Black:
  Object-Oriented Languages: The Next Generation. 149
• 
  Luca Cardelli:
  Bad Engineering Properties of Object-Oriented Languages. 150
• 
  Pierre Cointe:
  Reflective Languages and MetaLevel Architectures. 151
• 
  James Coplien:
  Broadening beyond Objects to Patterns and to Other Paradigms. 152
• 
  Rachid Guerraoui:
  Distributed Programming Abstractions. 153
• 
  Gregor Kiczales:
  Aspect-Oriented Programming. 154
• 
  Doug Lea:
  Specification, Architecture, and Interoperability. 155
• 
  Karl J. Lieberherr:
  From Transience to Persistence in Object-Oriented Programming: Patterns and Architectures. 156
• 
  Ole Lehrmann Madsen:
  Strategic Research Directions in Object-Oriented Programming. 157
• 
  Boris Magnusson:
  Technology Integration. 158
• 
  José Meseguer:
  Why OOP Needs New Semantic Foundations. 159
• 
  Hanspeter Mössenböck:
  Trends in Object-Oriented Programming. 160
• 
  Jens Palsberg:
  Compiler Technology for Object-Oriented Languages. 161
• 
  Douglas C. Schmidt:
  Using Design Patterns to Guide the Development of Reusable Object-Oriented Software. 162

Programming Languages
(the papers of this sections are reprinted in SIGPLAN Notices 32(1))

• 
  Luca Cardelli:
  Global Computation. 163
• 
  Charles Consel:
  Program Adaptation Based on Program Transformation. 164
• 
  Patrick Cousot:
  Program Analysis: The Abstract Interpretation Perspective. 165
• 
  Michael Hanus:
  Integration of Declarative Paradigms: Benefits and Challenges. 166
• 
  Daniel Le Métayer:
  Program Analysis for Software Engineering: New Applications, New Requirements, New Tools. 167
• 
  Flemming Nielson:
  Perspectives on Program Analysis. 168
• 
  Martin Odersky:
  Challenges in Type Systems Research. 169
• 
  Robert Paige:
  Future Directions in Program Transformations. 170
• 
  Alberto Pettorossi, Maurizio Proietti:
  Future Directions in Program Transformation. 171
• 
  John C. Reynolds:
  Beyond ML. 172
• 
  Jon G. Riecke:
  Semantics: The Description of Computational Structures. 173
• 
  Barbara G. Ryder:
  The Future of Program Analysis. 174
• 
  David A. Schmidt:
  On the Need for a Popular Formal Semantics. 175
• 
  Dennis M. Volpano:
  Provably Secure Programming Languages for Remote Evaluation. 176
• 
  Reinhard Wilhelm:
  Program Analysis - A Toolmaker's Perspective. 177

Real-Time Computing

• 
  Alan Burns:
  Broadening Real-Time Systems Research. 178
• 
  Kevin Jeffay:
  Technical and Educational Challenges For Real-Time Computing. 179
• 
  Michael B. Jones:
  Consumer Real-Time Systems. 180
• 
  Gary M. Koob:
  Large Scale Distributed Real-Time Systems. 181
• 
  Insup Lee:
  Formal Verification, Testing and Checking of Real-Time Systems. 182
• 
  John P. Lehoczky:
  Analytical Methods For Real-Time Computing. 183
• 
  Jane W.-S. Liu:
  Validation of Timing Properties. 184
• 
  Aloysius K. Mok:
  Firm Real-Time Systems. 185
• 
  Krithi Ramamritham:
  Predictability: Demonstrating Real-Time Properties. 186
• 
  Lui Sha:
  Real-Time In the Real World. 187
• 
  John A. Stankovic:
  The Pervasiveness of Real-Time Computing. 188
• 
  André M. Van Tilborg:
  Real-Time Sesearch in the Department of Defense. 189

Software Engineering and Programming Languages

• 
  Gregory D. Abowd:
  Software Engineering and Programming Language Considerations for Ubiquitous Computing. 190
• 
  Craig Chambers:
  Towards Reusable, Extensible Components. 192
• 
  Lori A. Clarke, Peri L. Tarr:
  New Functionality for Programming Languages. 193
• 
  William G. Griswold, Richard Wolski, Scott B. Baden, Stephen J. Fink, Scott R. Kohn:
  Programming Language Requirements for the Next Millennium. 194
• 
  Robert Harper, Peter Lee:
  Research in Programming Languages for Composability, Safety, and Performance. 195
• 
  Paul Hudak:
  Building Domain-Specific Embedded Languages. 196
• 
  Samuel N. Kamin:
  The Challenge of Language Technology Transfer. 197
• 
  Melody M. Moore:
  Representation Issues for Reengineering Interactive Systems. 199
• 
  Jens Palsberg:
  Software Evolution and Integration. 200
• 
  William L. Scherlis:
  Beyond Coding. 201
• 
  Jack C. Wileden:
  Programming Languages and Software Engineering: Past, Present and Future. 202

Software Quality

• 
  Lori A. Clarke:
  How Do We Improve Software Quality and How Do We Show that it Matters? 203
• 
  Richard A. DeMillo:
  Mission-Critical Applications, Commercial Value and Software Quality. 204
• 
  William M. McKeeman:
  Separating Concerns in Software Quality. 205
• 
  Edward D. Miller:
  Getting Quality Methods Into Practice. 206

Storage I/O for Large-Scale Computing

• 
  Alok N. Choudhary, David Kotz:
  Large-Scale File Systems with the Flexibility of Databases. 207
• 
  Thomas H. Cormen, Michael T. Goodrich:
  A Bridging Model for Parallel Computation, Communication, and I/O. 208
• 
  Garth A. Gibson, John Wilkes:
  Self-Managing Network-Attached Storage. 209
• 
  Richard R. Muntz, Joseph Pasquale:
  System-Level Design Issues for Storage I/O. 210
• 
  Mahadev Satyanarayanan, Carla Schlatter Ellis:
  Adaptation: The Key to Mobile I/O. 211
• 
  Darren Erik Vengroff, Jeffrey Scott Vitter:
  I/O-Efficient Algorithms and Environments. 212

Telecommunications

• 
  Paul E. Green Jr.:
  The Impact of the Web on Networking Research. 213
• 
  James F. Kurose:
  Future Directions in Networking Research. 214
• 
  Joseph Pasquale:
  Towards Internet Computing. 215

Theory of Computation

• 
  Dana Angluin:
  A 1996 Snapshot of Computational Learning Theory. 216
• 
  Faith E. Fich:
  Infrastructure Issues Related to Theory of Computing Research. 217
• 
  Oded Goldreich, Avi Wigderson:
  Theory of Computing: A Scientific Perspective. 218
• 
  Robert Harper, John C. Mitchell:
  ML and Beyond. 219