Category Catalog

• Classical Results and Articles
• Graph based methods of program's structure visualisation
• Software tools for program analysis and transformation
• Interprocedural analysis
• Scalability
• Data-flow Analysis
• Parallel Computer Architectures
• Parallel Programming Models & Languages
• Parallel Software and Algorithms
• Super Programming
• CASE Technologies in Parallel Programming & Software Development
• Object Oriented Technologies
• Visual Representation of Information
• Software Technology and Engineering
• Benchmarking and Performance Issues
• Reverse Engineering Systems
• Parallel Computing in Education
• Small graph's analysis
• For Oksana
• For Dima

Category Catalog Purposes

Classical Results and Articles

• "The Working Set Model for Program Behavior"

Graph based methods of program's structure visualisation

• "Visualization and Debugging in a Heterogeneous Enviroment"
• "A Taxonomy of Program Visualizotion Systems"
• IEEE Computer, July 1994
• "Specification scheme for the visualisation of data structures"

Software tools for program analysis and transformation

• "The Effectiveness of Automatic Restructuring on Nonnumerical Programs (Summary)"
• "An Architectural Framework for Supporting Heterogenious Instruction-Set Architectures"
• "Event Reconstruction in High-Energy Physics"
• "A Distributed Heterogeneous Supercomputing Managment System"
• "A Framework for Hardware/Software Codesign"
• "Construction of DO Loops from systems of affine constraints"
• "Parallelising programs with algebraic programming tools"
• "Portable Software Tools for Parallel Architectures"
• "An Introduction to VecPar_77"
• "Algorithm Graph"
• "Vectorizing compilers: a test suite and results"
• "Automatic Array Privatization"
• "Fast snd Efficient Generation of Loop Bounds"
• "Static Domain Analysis for Compiling Commutative Loop Nests"
• "A Library for Doing Polyhedral Operations"
• "LISPACK - A Methodology and Tool for the Performance Analysis of Parallel Systems and Algorithms"
• "On the Efficient Engineering of Ambitious Program Analysis"
• "QDA - A Method For Systematic Informal Program Analysis
• "Tool helps estimate time, cost & people needs of large development project"
• "OSIPE --- a tool for scientific programming in FORTRAN"

Interprocedural analysis

• "A Unified Interprocedural Program Representation for Maintenance Environment"
• "Interprocedural Analysis for Program Restructuring with Parafase"

Scalability

• "Fast, Contention-Free Combining Tree Barriers for Shared-Memory Multiprocessors"
• "Parallel computers: architecture and performance"
• "Architecture and Implementation of Vulcan"
• "The SP1 High-Performance Switch"
• "Dynamic Program Instrumentation for Scalable Performance Tools"
• toutes les articles
• "Analizing Scalability of Parallel Algorithms and Architectures"
• "Time bounds on the parallel evaluation of arithmetic expressions"
• "Implementing the NAS Parallel Benchmark on the KSR1"
• "The KSR1: bridging the gap between shared memory and MPPs"
• "Ультракомпьютеры: преждевременный терафлоп"

Data-flow Analysis

• "Decomposed Software Pipelining: A New Perspective and a New Approach"
• "Instruction Window Size Trade-Offs and Characterization of Program Parallelism"
• "Exploiting the Parallelism Available in Loops"
• "A note of the relationship between the expression and the automatic detection of parallelism in programs" (1986)
• "Efficient software data prefetching for a loop with large array"
• "Construction of DO Loops from systems of affine constraints"
• "Fast snd Efficient Generation of Loop Bounds"
• "Static Domain Analysis for Compiling Commutative Loop Nests"
• "A Library for Doing Polyhedral Operations"
• "Algorithm Graph"
• "Vectorizing compilers: a test suite and results"
• "Automatic Array Privatization"
• "A unified framework for systematic loop transformation"
• "Practical dependence testing"
• Tractable Dataflow Analysis for Distributed Systems

Parallel Computer Architectures

• "Scalable, Parallel Computers: Alternatives, Issues, and Challanges"
• "Introducing a New Cache Design into Vector Computers"

• IBM SP2 System
• IBM POWER2 RISC System /6000
• "Improving performance of linear algebra algorithms for dense matrices, using algorithmic prefetch"
• "The Cray T3D Adress Space and How to Use It"
• "F--: A Parallel Fortran Language"
• "A VLIW Architecture for a Trace Scheduling Compiler"
• "Performance Analysis of Finit Buffered Multistage Interconnection Network"
• "Distributed Computing on Regular Networks with Anonymous Nodes"
• "Conditional Connectivity Measures for Large Multiprocessor Systems"
• "Cost-Performance Trade-Offs in Manhattan Street Network Versus 2-D Torus"
• "The Stanford Dash Multiprocessor"
• "Heterogeneous Processing"
• "1993 Gordon Bell Prize Winners"
• "Caching Strategies to Improve Disk System Performance"
• "High-Performance I/O for Massively Parallel Computers:
• "Associative Processing and Processors"
• "Communication Styles for Parallel Systems"
• "Architecture and Implementation of Vulcan"
• "The SP1 High-Performance Switch"
• "An investigation of multigauge architectures"
• "Advanced Architecture Computers"
• "The reinvention of the supercomputing: Silicon Graphics and Changing Technology"
• "Implementing the NAS Parallel Benchmark on the KSR1"

Parallel Programming Models & Languages

• "Distributed Computing on Regular Networks with Anonymous Nodes"
• "Logically Instantaneous Message Passing in Asynhronous Distributed Systems"
• "Jade: A High-Level, Machine-Independent Language for Parallel Programming"
• "A Framework for Hardware/Software Codesign"
• "ASC: An Associative-Computing Paradigm"
• "Communication Styles for Parallel Systems"
• "SCISM: A scalable compound instruction set machine"
• "An enviroment for parallel and distributed computation with application to overlapping grids"
• "What is SP"
• High Performance Fortran Language Specification Version 1.0
• High Performance Fortran Language Specification Version 1.1
• "Program design considerations: a hierarchy of conflicting design requirements"
• "SHMEM User's Guide for Fortran"
• Formal Derivation of Concurrent Programs: An Example from Industry
• toutes les articles "Computer Journal" No.3 1984
• toutes les articles "Computer Journal" No.3 1994
• toutes les articles "Computer Journal" No.4 1994
• "Cedar Fortran Programmer's Handbook"
• "Has FORTRAN a future?"
• "Spatial Machines: a More Realistic Approach to Parallel Computation"
• "Linda in context"

Parallel Software and Algorithms

• "Machines and Models for Parallel Computing"
• "What Do Users of Parallel Computer Systems Really Need?"

• LAPACK Working Notes
• "Efficient Communication Operations in Reconfigurable Parallel Computers"
• "SVDPACK (Version 1.0) USER'S GUIDE"
• "Parallel Algorithms of the CEDAR System"
• toutes les articles "Dr.Dobb's Journal" Feb 1995

• "An Optimal Scheduling Procedure for Matrix Inversion on Linear Array at a Processor Level"
• "Safe Self-Sheduling: A Parallel Loop Sheduling for Shared-Memory Multiprocessors"
• "Coscheduling Based on Runtime Identification of Activity Working Sets"
• "A nonlinear allocation problem"
• "Diakoptics, domain decomposition and parallel computing"
• Efficient scheduling algorithm for divisible and indivisible tasks in loosely coupled multiprocessor sysytems

• "Parallel-Access Memory Management Using Fast-Fits"

Super Programming

• "Reconfigurability and Reliability of Systolic/Wavefront Arrays"
• "Manipulating General Vectors on Synchronous Binary N-Cube"
• "Distributed Computing on Regular Networks with Anonymous Nodes"
• "Conditional Connectivity Measures for Large Multiprocessor Systems"
• "Cost-Performance Trade-Offs in Manhattan Street Network Versus 2-D Torus"
• "Instruction Window Size Trade-Offs and Characterization of Program Parallelism"
• "Logically Instantaneous Message Passing in Asynhronous Distributed Systems"
• "Computer Simulations of Protein Dynamics and Thermodynamics"
• "A Framework for Hardware/Software Codesign"
• "Improving performance of linear algebra algorithms for dense matrices, using algorithmic prefetch"
• "MIMD Versus SIMD Computation: Experience with Non-Numeric Parallel Algorithms"
• "A note of the relationship between the expression and the automatic detection of parallelism in programs" (1986)
• "Efficient software data prefetching for a loop with large array"
• "A Comparative Study of Automatic Vectorizing Compilers"
• "The effects of programm restructuring, algorithm change, and architecture choice on program performance"
• "On Finding the Vertex Connectivity of Graphs"
• "Supercomputer Programming Enviroments"
• "Static Analysis and Runtime Support for Parallel execution of C"
• "PERFECT: Performance Evaluation for Cost-Effective Transformations"
• "An Empirical Study of Fortran Programs for Parallelizing Compilers"
• "Issues on the Design of Parallelizing Compilers"
• "Tracing Application Program Executin on the CRAY X-MP and CRAY-2"
• "Fast snd Efficient Generation of Loop Bounds"
• "Static Domain Analysis for Compiling Commutative Loop Nests"
• "A Library for Doing Polyhedral Operations"
• "On Program Restructuring, Sceduling, and Communication for Parallel Processor Systems"
• "A Performance Analysis of Architectural Scalability"
• "Nonpreeptive Run-Time Sceduling Issues on a Multitasked, Multiprogrammed Multiprocessor with Dependencies, Bidimesional Tasks, Folding and Dynamic Graphs"
• "The Effectiveness of Caches and Data Prefetch Buffers in Large-Scale Shared Memory Multiprocessors"
• "The Parallel Execution of DO Loops"

CASE Technologies in Parallel Programming & Software Development

• "Automatic Source-Code Parallezation Using HICOR Objects"
• "A Classification of CASE Technology"
• "GLU: a Toolkit for Constructing and Executing High Performance Software ", "Coarse-Grain Dataflow Programming of Convensional Parallel Computers"
• "SDP-2000: a guide to project implementation of megaprogramming"
• "OSIPE --- a tool for scientific programming in FORTRAN"

Object Oriented Technologies

• "Codesign from Cospecification"
• "Object-Oriented Software Testing"
• "Object-Oriented Integration Testing"
• "Experiences with Claster and Class Testing"
• "Automatic Testing from Object Models
• Object-Oriented Software Evolution

Visual Representation of Information

• "Making use a design representation"
• "A classification of visual represenations"
• "Graphical analisys of computer log files"
• "A guide to metaforical design"
• "Interface Desing When You Don't Know How"
• "Dimensioning Analysis"

Software Technology and Engineering

• toutes les articles "IEEE Software" Sep 93
• toutes les articles "IEEE Software" Nov 93
• toutes les articles "IEEE Software" Jan 93
• toutes les articles "IEEE Software" Mar 94
• toutes les articles "IEEE Software" May 94
• toutes les articles "IEEE Software" Jul 94
• toutes les articles "IEEE Software" Sep 94
• toutes les articles "IEEE Software" Nov 94
• toutes les articles "IEEE Software" Jan 95
• toutes les articles "IEEE Software" Nov 95
• Working Sets Past and Present
• User Navigation in Computer Applications
• An Empirical Study of Evaluating Software Development Environment Quality
• A Framework for Source Code Search Using Program Patterns
• How Accurate Is Scientific Software?
• Contribution of standard programming languages to software quality
• Towards a new concept of software
• Comparative review of functional complexity assessment methods for effort estimation
• A software engineering paradigm for program synthesis
• Event model of human-system intercation
• Mapping user requirements to implementations

Benchmarking and Performance Issues

• "SPEC as a Performnce Evalution Measure"
• "Commmercial workload performance in the IBM POWER2 RISC System /6000 processor"
• "Performance Analysis of Finit Buffered Multistage Interconnection Network"
• "Heterogeneous Processing"
• "A Distributed Heterogeneous Supercomputing Managment System"
• "Parallel computers: architecture and performance"
• "Time bounds on the parallel evaluation of arithmetic expressions"
• "Performance of Varios Computers Using Standard Linear Equations Software"
• "Preliminary Performance Data for Perfect Benchmark Codes of Varios Machines"
• "Advanced Architecture Computers"
• "The effects of programm restructuring, algorithm change, and architecture choice on program performance"
• "The Paradyn Parrallel Performance Measurement Tools"
• "NAS parallel benchmark results 10-94"
• "Public International Benchmarks for Parallel Computers"
• "Implementing the NAS Parallel Benchmark on the KSR1"
• Software Performance Engineering: A Case Study Including Performance Comparison with Design Alternatives

Reverse Engineering Systems

Parallel Computing in Education

Small graph's analysis

• "On Finding the Vertex Connectivity of Graphs" Kilind Girkar and Milind Sohoni pp 1--4

For Oksana

• "Mosaic and the World-Wide Web"
• "Introduction of the project management discipline in a software development organization"
• "IBM Systems Journal Author Index 1989--1992", pp 333--344
• "IBM Systems Journal Abstracts 1989--1992"

For Dima

• "A nonlinear allocation problem"