Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Arthur B. Maccabe

dblp:m/ArthurBMaccabe · also Arthur Barney Maccabe, Barney Maccabe · DBLP profile ↗
← Back
30ranked-venue papers
2as first author
0since 2021 · last 2018
0000-0002-8041-2800ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 23 · 2 first-authorComputer networks · 5Software engineering, systems software and programming languages · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
7 papers
Performance modeling and evaluation · 36% High-performance computing · 16% Memory systems · 14%
Software engineering, system software, and programming languages
3 papers
Operating systems · 75% Compilers and program optimization · 25%
Interdisciplinary, comprehensive, and emerging computing
1 paper
Computing education · 100%

Topics — the 20 heaviest of 25, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Memory systems
cache management
0.112011
Cache injection for parallel applications · HPDC 2011
Performance modeling and evaluation › simulation › processor simulation
instruction set simulation
0.112009
Instruction-level simulation of a cluster at scale · SC 2009
High-performance computing › system monitoring
online monitoring
0.112009
Lightweight Online Performance Monitoring and Tuning with Embedded Gossip · IEEE Trans. Parallel Distributed Syst. 2009
Cloud and datacenter computing › configuration tuning
online tuning
0.112009
Lightweight Online Performance Monitoring and Tuning with Embedded Gossip · IEEE Trans. Parallel Distributed Syst. 2009
Performance modeling and evaluation
performance monitoring
0.112009
Lightweight Online Performance Monitoring and Tuning with Embedded Gossip · IEEE Trans. Parallel Distributed Syst. 2009
Performance modeling and evaluation
simulation
0.112009
Instruction-level simulation of a cluster at scale · SC 2009
Computing education
broadening participation in computing
0.112006
Building communities on the grid - New voices and new visions for engaging Native American students in computer science · SC 2006
Operating systems › special-purpose operating system › embedded operating system
sensor network operating system
0.112006
Kaizen: improving sensor network operating systems · SenSys 2006
Performance modeling and evaluation › simulation › architectural simulation
cycle-accurate simulation
0.012009
Instruction-level simulation of a cluster at scale · SC 2009
Virtual and augmented reality › learning and educational technologies › immersive learning
immersive learning environments
0.012006
Building communities on the grid - New voices and new visions for engaging Native American students in computer science · SC 2006
Collaborative and social computing › collaborative learning
computer-supported collaborative learning
0.012006
Building communities on the grid - New voices and new visions for engaging Native American students in computer science · SC 2006
Internet of things and sensor networks
wireless sensor network
0.012006
Kaizen: improving sensor network operating systems · SenSys 2006
Parallel and multicore computing
parallel programming models and runtimes
0.012006
FAST-OS - FAST-OS: forum to address scalable technology for runtime and operating systems · SC 2006
High-performance computing
lightweight operating system
0.011997
A System Software Architecture for High End Computing · SC 1997
High-performance computing
scientific computing systems
0.011993
A massively parallel adaptive finite element method with dynamic load balancing · SC 1993
Compilers and program optimization
intermediate representation
0.011990
The Program Dependence Web: A Representation Supporting Control, Data, and Demand-Driven Interpretation of Imperative Languages · PLDI 1990
Compilers and program optimization › dependence analysis
program dependence graph
0.011990
The Program Dependence Web: A Representation Supporting Control, Data, and Demand-Driven Interpretation of Imperative Languages · PLDI 1990
Parallel and multicore computing › load balancing
dynamic load balancing
0.011993
A massively parallel adaptive finite element method with dynamic load balancing · SC 1993
Parallel and multicore computing
parallel programming models
0.011993
A massively parallel adaptive finite element method with dynamic load balancing · SC 1993
Processor architecture and microarchitecture
dataflow architecture
0.011990
The Program Dependence Web: A Representation Supporting Control, Data, and Demand-Driven Interpretation of Imperative Languages · PLDI 1990

Methods — techniques the papers use, named apart from their topics

virtual reality · 0.2access grid · 0.2piggybacking · 0.1network modeling · 0.1information correlation · 0.1global commit algorithm · 0.1embedded gossip · 0.1NIC emulation · 0.1portals · 0.0runge-kutta · 0.0p-refinement · 0.0discontinuous galerkin · 0.0single-assignment form · 0.0demand-driven interpretation · 0.0
YearPublicationVenuePosition
2018 A View from ORNL: Scientific Data Research Opportunities in the Big Data Age
abstract
One of the core issues across computer and computational science today is adapting to, managing, and learning from the influx of "Big Data". In the commercial space, this problem has led to a huge investment in new technologies and capabilities that are well adapted to dealing with the sorts of human-generated logs, videos, texts, and other large-data artifacts that are processed and resulted in an explosion of useful platforms and languages (Hadoop, Spark, Pandas, etc.). However, translating this work from the enterprise space to the computational science and HPC community has proven somewhat difficult, in part because of some of the fundamental differences in type and scale of data and timescales surrounding its generation and use. We describe a forward-looking research and development plan which centers around the concept of making Input/Output (I/O) intelligent for users in the scientific community, whether they are accessing scalable storage or performing in situ workflow tasks. Much of our work is based on our experience with the Adaptable I/O System (ADIOS 1.X), and our next generation version of the software ADIOS 2.X [1].
Scott Klasky, Matthew Wolf, Mark Ainsworth, Chuck Atkins, Jong Choi 0001, Greg Eisenhauer, Berk Geveci, William F. Godoy, Mark Kim, James Kress, Tahsin M. Kurç, Qing Liu 0002, Jeremy Logan, Arthur B. Maccabe, Kshitij Mehta, George Ostrouchov, Manish Parashar, Norbert Podhorszki, David Pugmire, Eric Suchyta, Lipeng Wan 0001
ICDCS14
2011 Cache injection for parallel applications
abstract
For two decades, the memory wall has affected many applications in their ability to benefit from improvements in processor speed. Cache injection addresses this disparity for I/O by writing data into a processor's cache directly from the I/O bus. This technique reduces data latency and, unlike data prefetching, improves memory bandwidth utilization. These improvements are significant for data-intensive applications whose performance is dominated by compulsory cache misses.
Edgar A. León, Rolf Riesen, Kurt B. Ferreira, Arthur B. Maccabe
HPDC4
2010 Tables: A Spreadsheet-Inspired Programming Model for Sensor Networks
James Horey, Eric Nelson, Arthur B. Maccabe
DCOSS3
2009 Instruction-level simulation of a cluster at scale
abstract
Instruction-level simulation is necessary to evaluate new architectures. However, single-node simulation cannot predict the behavior of a parallel application on a supercomputer. We present a scalable simulator that couples a cycle-accurate node simulator with a supercomputer network model. Our simulator executes individual instances of IBM's Mambo PowerPC simulator on hundreds of cores. We integrated a NIC emulator into Mambo and model the network instead of fully simulating it. This decouples the individual node simulators and makes our design scalable.
Edgar A. León, Rolf Riesen, Arthur B. Maccabe, Patrick G. Bridges
SC3
2009 Designing and implementing lightweight kernels for capability computing
abstract
Abstract In the early 1990s, researchers at Sandia National Laboratories and the University of New Mexico began development of customized system software for massively parallel ‘capability’ computing platforms. These lightweight kernels have proven to be essential for delivering the full power of the underlying hardware to applications. This claim is underscored by the success of several supercomputers, including the Intel Paragon, Intel Accelerated Strategic Computing Initiative Red, and the Cray XT series of systems, each having established a new standard for high‐performance computing upon introduction. In this paper, we describe our approach to lightweight compute node kernel design and discuss the design principles that have guided several generations of implementation and deployment. A broad strategy of operating system specialization has led to a focus on user‐level resource management, deterministic behavior, and scalable system services. The relative importance of each of these areas has changed over the years in response to changes in applications and hardware and system architecture. We detail our approach and the associated principles, describe how our application of these principles has changed over time, and provide design and performance comparisons to contemporaneous supercomputing operating systems. Copyright © 2008 John Wiley & Sons, Ltd.
Rolf Riesen, Ron Brightwell, Patrick G. Bridges, Trammell Hudson, Arthur B. Maccabe, Patrick M. Widener, Kurt B. Ferreira
Concurr. Comput. Pract. Exp.5
2009 Lightweight Online Performance Monitoring and Tuning with Embedded Gossip
abstract
Understanding and tuning the performance of large-scale long-running applications is difficult, with both standard trace-based and statistical methods having substantial shortcomings that limit their usefulness. This paper describes a new performance monitoring approach called Embedded Gossip (EG) designed to enable lightweight online performance monitoring and tuning. EG works by piggybacking performance information on existing messages and performing information correlation online, giving each process in a parallel application a weakly consistent global view of the behavior of the entire application. To demonstrate the viability of EG, this paper presents the design and experimental evaluation of two different online monitoring systems and an online global adaptation system driven by Embedded Gossiping. In addition, we present a metric system for evaluating the suitability of an application to EG-based monitoring and adaptation, a general architecture for implementing EG-based monitoring systems, and a modified global commit algorithm appropriate for use in EG-based global adaptation systems. Together, these results demonstrate that EG is an efficient low-overhead approach for addressing a wide range of parallel performance monitoring tasks and that results from these systems can effectively drive online global adaptation.
Patrick G. Bridges, Arthur B. Maccabe
IEEE Trans. Parallel Distributed Syst.3
2007 Embedded Gossip: Lightweight Online Measurement for Large-Scale Applications
abstract
For large-scale parallel applications, lightweight online monitoring can enable a wide range of online adaptations, including load balancing, power management, and progress monitoring. The processing and monitoring overhead of centralized global tracing techniques make them unsuitable for such tasks. Purely local tools, on the other hand, fail to provide the global information necessary for many desirable online adaptations of large-scale applications. In this paper, we describe a novel distributed online measurement method for large-scale applications called Embedded Gossip (EG). EG works by piggybacking performance information about application behavior on existing application messages and merging received information with previously known data in a fashion customized to the needs of a particular monitoring task. EG thus provides each process with both local and global views of application behavior with low overhead. To illustrate the capabilities of Embedded Gossip, we also show that it disseminates global information in a timely fashion for a wide range of monitoring tasks, including critical path profiling, workload imbalance monitoring, and progress monitoring. This global information has a wide range of potential uses, including imbalance detection for load balancing and energy management tools, progress monitoring for batch schedulers, and a wide range of other performance debugging and optimization techniques.
Patrick G. Bridges, Arthur B. Maccabe
ICDCS3
2006 Efficient Data-Movement for Lightweight I/O
abstract
Efficient data movement is an important part of any high-performance I/O system, but it is especially critical for the current and next-generation of massively parallel processing (MPP) systems. In this paper, we discuss how the scale, architecture, and organization of current and proposed MPP systems impact the design of the data-movement scheme for the I/O system. We also describe and analyze the approach used by the lightweight file systems (LWFS) project, and we compare that approach to more conventional data-movement protocols used by small and mid-range clusters. Our results indicate that the data-movement strategy used by LWFS clearly outperforms conventional data-movement protocols, particularly as data sizes increase
Ron A. Oldfield, Patrick M. Widener, Arthur B. Maccabe, Lee Ward, Todd Kordenbrock
CLUSTER3
2006 Lightweight I/O for Scientific Applications
abstract
Today's high-end massively parallel processing (MPP) machines have thousands to tens of thousands of processors, with next-generation systems planned to have in excess of one hundred thousand processors. For systems of such scale, efficient I/O is a significant challenge that cannot be solved using traditional approaches. In particular, general purpose parallel file systems that limit applications to standard interfaces and access policies do not scale and will likely be a performance bottleneck for many scientific applications. In this paper, we investigate the use of a "lightweight" approach to I/O that requires the application or I/O-library developer to extend a core set of critical I/O functionality with the minimum set of features and services required by its target applications. We argue that this approach allows the development of I/O libraries that are both scalable and secure. We support our claims with preliminary results for a lightweight checkpoint operation on a development cluster at Sandia
Ron A. Oldfield, Lee Ward, Rolf Riesen, Arthur B. Maccabe, Patrick M. Widener, Todd Kordenbrock
CLUSTER4
2006 Infiniband scalability in Open MPI
abstract
Infiniband is becoming an important interconnect technology in high performance computing. Efforts in large scale Infiniband deployments are raising scalability questions in the HPC community. Open MPI, a new open source implementation of the MPI standard targeted for production computing, provides several mechanisms to enhance Infiniband scalability. Initial comparisons with MVAPICH, the most widely used Infiniband MPI implementation, show similar performance but with much better scalability characteristics. Specifically, small message latency is improved by up to 10% in medium/large jobs and memory usage per host is reduced by as much as 300%. In addition, Open MPI provides predictable latency that is close to optimal without sacrificing bandwidth performance.
Galen M. Shipman, Timothy S. Woodall, Richard L. Graham, Arthur B. Maccabe, Patrick G. Bridges
IPDPS4
2006 Building communities on the grid - New voices and new visions for engaging Native American students in computer science
abstract
New Voices and New Visions for Engaging Native Americans in Computer Science is a collaborative project between Boston University and University of New Mexico, funded through NSF's Broadening Participation in Computing program. This project combines Native American culture and art with a high-technology, computer-rich environment as a vehicle to engage Native American students in computer and computational science. The project employs the Access Grid (AG), virtual reality technologies and Boston University's stereoscopic Deep Vision Display Wall (DVD Wall) to create a culturally and technologically compelling educational experience.The curriculum will expose both college and high school students to the power and depth of computer science, hopefully inspiring many of them to obtain a degree in this discipline. We anticipate that this pilot project will provide a model based on an interdisciplinary framework which can be emulated by other institutions and adapted for other groups underrepresented in computer and computational sciences.
Glenn Bresnahan, Arthur B. Maccabe, Maria Williams, Arlan Sando, Erik Brisson, Jennifer Teig von Hoffman
SC2
2006 FAST-OS - FAST-OS: forum to address scalable technology for runtime and operating systems
abstract
FAST-OS is the Forum to Address Scalable Technologies for runtime and Operating Systems. In this BOF, we will address topics of interest to the projects in the FAST-OS program. More information about FAST-OS is availabel at http://www.fastos.org. Specific topics to be addressed in the BOF will be announced on the FAST-OS Web page.
Arthur B. Maccabe
SC1
2006 Kaizen: improving sensor network operating systems
abstract
No abstract available.
James Horey, Jean-Charles Tournier, Arthur B. Maccabe
SenSys3
2005 Modeling Protocol Offload for Message-oriented Communication
abstract
In this paper, we present a new, conceptual model that captures the benefits of protocol offload in the context of high performance computing systems. In contrast to the LAWS model, the extensible message-oriented offload model (EMO) emphasizes communication in terms of messages rather than flows. In contrast to the LogP model, EMO emphasizes the performance of the network protocol rather than the parallel algorithm. The extensible message-oriented offload model allows protocol developers to consider the tradeoffs and specifics associated with offloading protocol processing including the reduction in message latency along with benefits associated with reduction in overhead and improvements to throughput. We give an overview of the EMO model and show how our model can be mapped to the LAWS and LogP models. We also show how it can be used to analyze individual messages within TCP flows by contrasting full offload (TCP offload engines) with other approaches, e.g., interrupt coalescing and splintered TCP
Patricia Gilfeather, Arthur B. Maccabe
CLUSTER2
2005 Online Critical Path Profiling for Parallel Applications
abstract
Online monitoring of parallel applications is increasingly important for techniques such as load balancing, protocol adaptation, and online anomaly detection. Unfortunately, existing online monitoring techniques only monitor individual hosts in a distributed-memory parallel application. In this paper, we show how a new monitoring technique, message-centric monitoring, can be used for online monitoring of the complete critical path in distributed-memory parallel applications. Results from an MPI-based message-centric monitoring prototype called IMPuLSE show that it has less than 3% runtime overhead, accurately measures whole-system performance as the application runs, and captures data that can be used by nodes to detect unusual system behaviors at runtime
Patrick G. Bridges, Arthur B. Maccabe
CLUSTER3
2005 Architectural specification for massively parallel computers: an experience and measurement-based approach
abstract
Abstract In this paper, we describe the hardware and software architecture of the Red Storm system developed at Sandia National Laboratories. We discuss the evolution of this architecture and provide reasons for the different choices that have been made. We contrast our approach of leveraging high‐volume, mass‐market commodity processors to that taken for the Earth Simulator. We present a comparison of benchmarks and application performance that support our approach. We also project the performance of Red Storm and the Earth Simulator. This projection indicates that the Red Storm architecture is a much more cost‐effective approach to massively parallel computing. Published in 2005 by John Wiley & Sons, Ltd.
Ron Brightwell, William J. Camp, Benjamin Cole, Erik DeBenedictis, Robert W. Leland, James L. Tomkins, Arthur B. Maccabe
Concurr. Pract. Exp.7
2003 A Performance Comparison of Linux and a Lightweight Kernel
abstract
In this paper, we compare running the Linux operating system on the compute nodes of ASCI Red hardware to running a specialized, highly-optimized lightweight kernel (LWK) operating system. We have ported Linux to the compute and service nodes of the ASCI Red supercomputer, and have run several benchmarks. We present performance and scalability results for Linux compared with the LWK environment. To our knowledge, this is the first direct comparison on identical hardware of Linux and an operating system designed specifically for large-scale supercomputers. In addition to presenting these results, we discuss the limitations of both operating systems, in terms of the empirical evidence as well as other important factors.
Ron Brightwell, Rolf Riesen, Keith D. Underwood, Trammell Hudson, Patrick G. Bridges, Arthur B. Maccabe
CLUSTER6
2003 Simple, Scalable Protocols for High-Performance Local Networks
abstract
RMPP (reliable message passing protocol) is a lightweight transport protocol designed for clusters that provides end-to-end flow control and fault tolerance. In this article, presentations were made that compares RMPP to TCP, UDP, and "Utopia". The article compared the protocols on four benchmarks: bandwidth, latency, all-to-all, and communication-computation overlap. The results have shown that message-based protocols like RMPP have several advantages over TCP including ease of implementation, support for computation/communication overlap, and low CPU overhead.
Rolf Riesen, Arthur B. Maccabe
LCN2
2002 COMB: A Portable Benchmark Suite for Assessing MPI Overlap
abstract
This paper describes a portable benchmark suite that assesses the ability of cluster networking hardware and software to overlap MPI communication and computation. The Communication Offload MPI-based Benchmark, or COMB, uses two methods to characterize the ability of messages to make progress concurrently, with computational processing on the host processor(s). COMB measures the relationship between MPI communication bandwidth and host CPU availability.
William Lawry, Arthur B. Maccabe, Ron Brightwell
CLUSTER3
2002 Experience in Offloading Protocol Processing to a Programmable NIC
abstract
Offloading protocol processing will become an important tool in supporting our efforts to deliver increasing bandwidth to applications. In this paper we describe our experience in offloading protocol processing to a programmable gigabit Ethernet network interface card. For our experiments, we selected a simple RTS/CTS (request to send/clear to send) protocol called RMPP (reliable message passing protocol). This protocol provides end-to-end flow control and full message retransmit in the case of a lost or corrupt packet. By carefully selecting parts of the protocol for offloading, we were able to improve the bandwidth delivered to MPI applications from approximately 280 Mb/s to approximately 700 Mb/s using standard, 1500 byte, Ethernet frames. Using "jumbo", 9000 byte frames the bandwidth improves from approximately 425 Mb/s to 840 Mb/s. Moreover, we were able to show a significant increase in the availability of the host processor.
Arthur B. Maccabe, Jim Otto, Rolf Riesen
CLUSTER1
2002 Improving Processor Availability in the MPI Implementation for the ASCI/Red Supercomputer
abstract
This paper describes how a portable benchmark suite that measures the ability of an MPI implementation to overlap computation and communication can be used to discover and diagnose performance problems. We describe the approach of the benchmark suite and discuss a performance problem that we uncovered with the MPI implementation on the ASCI/Red supercomputer. A slight modification to the MPI implementation has resulted in a significant gain in CPU availability and bandwidth with a slight degradation in latency performance. We present a detailed analysis of these results and discuss how the benchmark suite has enabled us to tailor the MPI implementation to optimize for all three measurements.
Ron Brightwell, William Lawry, Arthur B. Maccabe
LCN3
2002 Instrumenting LogP Parameters in GM: Implementation and Validation
abstract
This paper describes an apparatus which can be used to vary communication performance parameters for MPI applications, and provides a tool to analyze the impact of communication performance on parallel applications. Our apparatus is based on Myrinet (along with GM). We use an extension of the LogP model to allow higher flexibility in determining the parameter(s) to which parallel applications may be more sensitive. We show that individual communication parameters can be controlled within a small percentage error, and that the other parameters remain unchanged.
Edgar A. León, Arthur B. Maccabe, Ron Brightwell
LCN2
2002 RMPP: The Reliable Message Passing Protocol
abstract
Large-scale clusters built out of commercial components face similar scalability obstacles as the massively parallel processors (MPP) of the 1980s. This is especially true when they are used for scientific computing. Their networks are the descendants of the MPP networks, but the communication software in use has been designed for wide-area networks with client/server applications in mind. We present a communication protocol which has been designed specifically for large-scale clusters with a scientific application workload. The protocol takes advantage of the low error rate and high performance of these networks. It is adapted to the peculiarities of these MPP-like networks and the communication characteristics of scientific applications. This paper only presents the protocol itself and the ideas behind it. We refer the reader to other publications for more information about scalability, performance, and usage of the protocol presented here.
Rolf Riesen, Arthur B. Maccabe
LCN2
2000 Tutorial A: Design and Analysis of High Performance Clusters
Rob Pennington, David A. Bader, Arthur B. Maccabe, Patricia A. Kovatch, Stephen L. Scott
CLUSTER3
2000 Massively parallel computing using commodity components
Ron Brightwell, Lee Ann Fisk, David S. Greenberg, Trammell Hudson, Michael J. Levenhagen, Arthur B. Maccabe, Rolf Riesen
Parallel Comput.6
1997 A System Software Architecture for High End Computing
abstract
Large MPP systems can neither solve grand-challenge scientific problems nor enable large scale industrial and governmental simulations if they rely on extensions to workstation system software. At Sandia National Laboratories we have developed, with our vendors, a new system architecture for high-end computing. Highest performance is achieved by providing applications with a light-weight interface to a collection of processing nodes. Usability is provided by creating node partitions specialized for user access, networking, and I/O. The entire system is glued together by a data movement interface which we call portals. Portals allow data to flow between processing nodes with minimal system overhead while maintaining a suitable degree of protection and reconfigurability.
David S. Greenberg, Ron Brightwell, Lee Ann Fisk, Arthur B. Maccabe, Rolf Riesen
SC4
1993 A massively parallel adaptive finite element method with dynamic load balancing
abstract
We construct massively parallel adaptive jlnite element methods for the solution of hyperbolic conservation laws. Spatial discretization is performed by a discontinuousGalerkin jinite element method using a basis of piecewise Legendre polynomials.Temporal discretization utilizes a Runge-Kutta method.Dissipative jkxes and projection limiting prevent oscillations near solution discontinuities.The resulting method is of high order and may be parallelized efficiently on MIMD computers.We demonstrate parallel eficiency through computations on a 1024-processor nCUBE12 hypercube.We present results using adaptive p-refinement to reduce the computational cost of the method, and tiling, a dynamic, element-based data migration system that maintains global load balance of the adaptive method by overlapping neighborhoods of processors that each perform local balancing.
Karen D. Devine, Joseph E. Flaherty, Stephen R. Wheat, Arthur B. Maccabe
SC4
1992 Performance of a particle-in-cell plasma simulation code on the BBN TC2000
abstract
Abstract The BBN TC2000 is a multiple instruction, multiple data (MIMD) machine that combines a physically distributed memory with a logically shared memory programming environment using the unique Butterfly switch. Particle‐in‐cell (PIC) plasma simulations model the interaction of charged particles with electric and magnetic fields. This paper describes the implementation of both a 1‐D electrostatic and a 2 1/2‐D electromagnetic PIC (particle‐in‐cell) plasma simulation code on a BBN TC2000. Performance is compared to implementation of the same code on the shared memory Sequent Balance 21000.
Judy E. Sturtevant, Phil M. Campbell, Arthur B. Maccabe
Concurr. Pract. Exp.3
1990 The Program Dependence Web: A Representation Supporting Control, Data, and Demand-Driven Interpretation of Imperative Languages
abstract
The Program Dependence Web (PDW) is a program representation that can be directly interpreted using control-, data-, or demand-driven models of execution. A PDW combines a single-assignment version of the program with explicit operators that manage the flow of data values. The PDW can be viewed as an augmented Program Dependence Graph. Translation to the PDW representation provides the basis for projects to compile Fortran onto dynamic dataflow architectures and simulators. A second application of the PDW is the construction of various compositional semantics for program dependence graphs.
Robert A. Ballance, Arthur B. Maccabe, Karl J. Ottenstein
PLDI2
1982 The design of a programming language based on connectivity networks
Richard J. LeBlanc, Arthur B. Maccabe
ICDCS2