CSC '94 TECHNICAL SESSIONS SCHEDULE TUESDAY, MARCH 8 8:30 - 9:00 Welcome: Program Chairs: John Werth and Laurie Werth, The University of Texas at Austin State of the ACM: Gwen Bell, ACM President 9:00 - 10:00 CSC/SAC Joint Session Featured Speaker Lotfi A. Zaden, University of California, Berkeley FUZZY LOGIC: ISSUES, CONTENTIONS AND PERSPECTIVES 10:30 - 11:30 Featured Speaker: Bill Curtis, Software Engineering Institute TALENT, PROCESS AND THE VIRTUAL WORLD CALLED "REAL" 11:30 - 12:30 Invited Speaker: Al Mok, The University of Texas at Austin WHAT REALLY IS RAPID PROTOTYPING FOR REAL-TIME SYSTEMS? 11:30 - 12:30: PAPERS 1A. REAL-TIME SYSTEMS Augmented Priority Ceiling Protocol: Task Synchronization for Preemptive Real-Time Systems, Wai-tat Poon, Johns Hopkins University and E.K. Park, United States Naval Academy A Rapid Prototyping System for Real Time Systems, Robert A. Dew, Deakin University 1B. DATABASE QUERY OPTIMIZATION/NATURAL LANGUAGES A Better Approximation Algorithm for the Query Optimization Problem, Dionysios Kountanis and Hanshu Xue, Western Michigan University Two-Level Grammars and Robustness in Natural Language Processing, John E. Rager, Amherst College 1C NETWORKS A Tool for Debugging Internet Multicast Routing, Deborah Agarwal, UC, Santa Barbara and Sally Floyd, Lawrence Berkeley Lab A State Transition Based Incremental Protocol Specification, Chung- Ming Huang and Duen-Tay Huang, National Cheung Kung University, Ye-In Chang, National Sun Yat-Sen University 11:30 - 1:00 PANELS P1 EDUCATION OF THE NEW INFORMATION SPECIALIST, Michael Mulder, SWL P2 STANDARDS AND YOU, Anthony Gargaro, Computer Sciences Corporation 1:30 - 3:00 PANELS P3 CAREERS IN COMPUTER SCIENCE, Victor Kohnke, Duke University and Ritu Kohnke, BNR, Inc. 2:00 - 3:00 Featured Speaker: David Paterson, University of California, Berkely TERRABYTES >> TERRAFLOPS or WHY WORK ON PROCESSORS WHEN I/O IS WHERE THE ACTION IS? 3:30 - 5:30: PAPERS 2A. SOFTWARE ENGINEERING A Theoretical Comparison between Mutation and Data Flow Based Test Adequacy Criteria, Aditya P. Mathur and Weichen E. Wong, Purdue University System-Level Testing of Distributed Systems, Nancy Wahl, Middle Tennessee State University A Graphical Methodology for Concurrent System Design, George Kutty, Louise E. Moser, P. Michael Melliar-Smith, and Y. Srinivas Ramakrishna, UCSB A Program Understanding Environment Based on the Star Approach to Tool Integration, Spiros Mancordis, Richard C. Holt, Michael W. Godfrey, Univ. of Toronto 2B. ALGORITHMS An Evolutionary Approach to Combinatorial Optimization Problems, Sami Khuri, San Jose State, Thomas Back and Jorg Heitkotter, Univ. of Dortmund Terminal Assignment in a Communications Network Using Genetic Algorithms, Faris N. Abuali, Dale Shoenefeld, and Roger L. Wainright, Univ. of Tulsa Graph-Theoretic Approaches to Problem Decomposition in Multi-Agent Systems, Sandip Sen, University of Tulsa, and Daniel Damouth, University of Michigan Linear Algorithms for Two Independent Set Problems in Permutation Graphs, Y. Daniel Liang, Indiana Purdue Univ. at Fort Wayne, and Chongkye Rhee, Eastern Kentucky University 2C. DATA MODELING AND VISUALIZATION Visualization of a User's Information Space, Craig E. Wills, Joachim Heck and Ramin Taraz, Worcester Polytechnic Institute A Data Modeling Framework for Queuing Network Models, Carolyn Pe Rosiene and Reda A. Ammar, University of Connecticut Incorporating Semantic into 2-D Strings, Mary Lou Dorf, University of Toledo, Andreia F. Mahler, Univ. of Toledo, and Paul F. Lehmann, Medical College of Ohio Characterization of Imperative Programs Involving Complex Iterations, Narayan Debnath, Winona State Univ. 3:30 - 5:30: PANELS P4 ACM: THE TOTALLY ELECTRONIC SOCIETY, Jack Esbin, Secretary, ACM P5 THE RELATION OF SOFTWARE ENGINEERING TO COMPUTER SCIENCE, J.C. Browne, UT Austin P6 FINDING THE RIGHT GRADUATE SCHOOL, David M. Onder, North Carolina State University, and Vincent M. Tkac, Youngstown State University WEDNESDAY, MARCH 9 8:30 - 10:00 TURING AWARD LECTURE Juris Hartmanis, Cornell University and Richard Sterns, State University of New York COMPUTATIONAL COMPLEXITY 10:30 - 11:30 Featured Speaker Barry Boehm, University of Southern California MEGAPROGRAMMING 11:30 - 12:30 Invited Speaker Vijaya Ramachandran, The University of Texas at Austin THE DESIGN AND EVALUATION OF PARALLEL ALGORITHMS 11:30 - 12:30: PAPERS 3A. SOFTWARE METRICS Empirical Validation of a New Structural Measure, Narayan Debnath, Winona State University. An Approach to Modeling and Measuring the Design Complexity of Abstract Data Types, Joseph Y. Kuo and Derek S. Morris, Stevens Institute of Technology 3B. OBJECT-ORIENTED DATABASES Issues in Formal Semantics of an Object Oriented Database, Lon Smith, University of Texas - Arlington, James Buckley, University of Dayton, A Taxonomy of Views in OODBS, Priti Mishra, University of Missouri - St. Louis and Margaret H. Eich, Southern Methodist University 3C. DISTRIBUTED AND PARALLEL SYSTEMS A Genetic-Based Solution to Load Balancing in Parallel Computers, Joseph P. Baumgartner and Diane J. Cook, University of Texas at Arlington A Probabilistic Dynamic Load Balancing Algorithm for Homogeneous Distributed Systems (With Extension to Hypercubes), Sandip Roy-Chowdhury, Central Point Software, Bidyut Gupta, So. Illinois University 3D. PROGRAMMING LANGUAGES A Portable Implementation Method of Lucid with Message Passing, Qiang Wang, University of Victoria Interprocess Communication and Hierarchically Shared Memory Space in ELC, R. Mark Meyer, Canisius College 3E. COMPUTER SUPPORTED COOPERATIVE WORK Transaction Management and Object-Oriented Modeling in a Distributed Dynamic Decision-Making Environment, Anlan Song, Steven Demurjian and David Kleinman, University of Connecticut ImagineDesk; A Software Platform Supporting Cooperative Applications, Silvano Pozzi and Elisabetta Di Nitto, CEFRIEL 11:30 - 12:30: PANELS P7 COMPUTER SCIENCE IN HIGH SCHOOL: ACM MODEL CURRICULUM, Susan Merritt, Pace U. 1:15 - 2:30 CRA TOWN MEETING COMPUTING RESEARCH ASSOCIATION Ed Lazowska, University of Washington; David Patterson, University of California, Berkeley; Rick Weingarten 2:30 - 3:30 Featured Speaker Nancy Leveson, University of Washington HIGH PRESSURE STEAM ENGINES AND COMPUTER SOFTWARE 4:00 - 5:00 Invited Speaker Anita Borg, Digital Equipment Corporation ELECTRONIC MAIL IN AN EXPANDING UNIVERSE 4:00 - 5:30: PAPERS 4A. PARALLEL PROGRAMMING A Constant Response Time Simultaneous Access Dictionary Machine, P.R. Venkata Subramaniam and Kam-Hoi Cheng, University of Houston Three Dimensional Grid Partitioning for Network Parallel Processing, Phyllis E. Crandall and Michael J. Quinn, Oregon State University Increasing Concurrency Through Optimism: A Reason for HOPE, Crispin Cowan, Hanan Lutfiyya, Mike Bauer, University of Western Ontario 4B. SYSTEMS Performance Evaluation of CISC Computer Systems under Single and Two- Level Cache Environments, M.S. Obaidat, H. Khalid, K. Sadiq, City Univ. of New York The QuickRing Network, M. Valerio, L. E. Moser, P. M. Melliar-Smith and P. Sweazey, University of California, Santa Barbara Multi-View Access Control Memory Computer System, P. Bodorik, Technical University of Nova Scotia 4:00 - 5:30: PANELS P8 EDUCATING A NEW COMPUTER SCIENTIST, Peter J. Denning, George Mason P9 SUPPLY OF AND DEMAND FOR COMPUTER SCIENCE PHDS, Ashok Chandra, IBM P10 MOBILE COMPUTING AND COMMUNICATIONS, Ravi Jain and Richard Wolff, Bellcore THURSDAY, MARCH 10 9:00 - 10:00 JOINT CSC/SIGCSE KEYNOTE ADDRESS COMPUTER SCIENCE EDUCATION: PAST, PRESENT, FUTURE Norman E. Gibbs, Software Engineering Institute Recipiant of the 1994 SIGCSE Award for Outstanding Contribution in Computer Science Education 10:30 - 12:30 Featured Speaker Mary Shaw, Carnegie Mellon University PUTTING ENGINEERING INTO SOFTWARE ENGINEERING 10:30 - 12:30: PAPERS 5A. SOFTWARE ENGINEERING PROCESS >From Structured Analysis to Formal Specifications: State of the Theory, Robert B. France and Maria M. Larrondo-Petrie, Florida Atlantic University A Monitoring Approach to Active Project Management, Venu Vasudevan, Advanced Design Technologies Laboratory Why We Tolerate Defective Software, Michael Blanks, College of William and Mary Identifying Essential Competencies of Software Engineers, Richard T. Turley, Colorado Memory Systems and James M. Bieman, Colorado State University 5B. DATABASES1 Recovery for Real-Time Main Memory Database Systems, Stephane Guella and Le Gruenwald, University of Oklahoma Partitioning Algorithms for a Deductive Database, Kathleen Neumann University of California at Los Angeles and Lawrence Henschen, Northwestern University Data Replication Versus Timing Constraints in Distributed Database Systems, Ozgur Ulusoy, Bilkent Univ. Evolutions of Object States in Temporal Object-Oriented Databases, Yung P. Jang and Roger Johnson, University of London 10:30 - 12:30: PANELS P11 MANDATING MINIMAL REQUIREMENTS FOR A COMPUTING PROFESSIONAL: CORPORATE STANDARDS, CERTIFICATION, or LICENSING?, Don Gotterbarn, East Tennessee State P12 ON-LINE EMPLOYMENT SERVICES, Bill Warren, Online Career Center 3:30 - 5:30: PAPERS 6A. OBJECT ORIENTED SYSTEMS Stability, Coupling and Cohesion of Object-Oriented Software Systems, M. H. Samadzadeh and S. J. Khan, Oklahoma State University Knowledge-Based OOA and OOD, Ka-Wing Wong, Eastern Kentucky University An Illustration of Extending Structured Software Development to Include Object-Oriented Techniques, Thomas A. Gust, Orlando Technology, Inc Comprehending Large-Scale Connectivity in Object-Oriented Databases. Venu Vasudevan, Advanced Design Technologies Laboratory 6B. DATABASES2 Attributes: Should We Eliminate Them from Semantic Data Models?, David W. Embley, Stephen W. Liddle, Scott N. Woodfield, Brigham Young University Computation Of Chain Queries In Distributed Database Systems, Qi Yang, University of Illinois at Chicago Security Constraint Processing in a Heterogeneous Distributed Database Environment, Harvey Rubinovitz and Bhavani Thuraisingham, MITRE Corporation Signature File Generation Techniques for Query Processing in Object- Oriented Databases, Hwan-Seung Yong, Sukho Lee, Seoul National University 6C. ALGORITHMS A Formal Model for Heuristic Search, Boris Stilman, University of Colorado at Denver An Algorithm for Finding the Compact Sets in the Plane, Si-Tang Cheng and Chiou-Kuo Liang, Chung Hua Polytechnic Institute Algebraic Petri Nets and Their Applications, Chieh-ying Kan and Xudong He, North Dakota State University 3:30 - 5:30: PANELS P13 SOFTWARE REENGINEERING - HYPE AND REALITY, Stephen Sherman, Data Analysts Inc. P14 AN INDUSTRY PERSPECTIVE ON COMPUTER SCIENCE ACCREDITATION, John Impagliazzo, Chair, CSAB Accreditation Committee, Hofstra University (joint with SIGCSE) P15 FEDERAL FUNDING POSSIBILITIES FOR RESEARCH ACTIVITIES AT INSTITUTIONS WITH LARGE MINORITY ENROLLMENTS, Bryant York, Northeastern U., Former Program Director, NSF