ACAPS Technical Memos

ACAPS Technical Memo 04:

"ACAPS List of Publications,"
ACAPS Group,
Frequently updated.

ACAPS Technical Memo 19:

"An Efficient Monolithic Array Constructor,"
G. R. Gao, Robert Kim Yates, Jack B. Dennis, and Lenore Restifo Mullin,
September 1990.

ACAPS Technical Memo 20:

"An Efficient Solution of Tridiagonal Linear Systems on a Dataflow Architecture,"
Guang R. Gao and Clifford Sobkowicz,
May 1991.

ACAPS Technical Memo 22:

"Optimization of Array Access by Collective Loop Transformations,"
Guang R. Gao and Vivek Sarkar,
December 1990.

ACAPS Technical Memo 23:

"Loop Storage Optimization for Dataflow Machines,"
Qi Ning and G. R. Gao,
August 1991.

ACAPS Technical Memo 25:

"Interprocessor Communications and the McGill Multiprocessor Dataflow Architecture,"
Jean-Marc Monti,
July 1991.

ACAPS Technical Memo 29:

"Multithreaded Architectures: Principles, Projects, and Issues,"
Jack B. Dennis and Guang R. Gao,
February 1994.

ACAPS Technical Memo 30:

"Panel Sessions of The 1991 Workshop on Multithreaded Computers,"
Kevin B. Theobald,
April 1993.
Workshop held at Supercomputing '91,Albuquerque, New Mexico, November 1991.

ACAPS Technical Memo 31:

"List of External Publications by Members of ACAPS,"
ACAPS Group,
Frequently updated.

ACAPS Technical Memo 33:

"A Register Allocation Framework Based on Hierarchical Cyclic Interval Graphs,"
Laurie J. Hendren, Guang R. Gao, Erik R. Altman, and Chandrika Mukerji,
February 1993.

ACAPS Technical Memo 34:

"Abstractions for Recursive Pointer Data Structures: Improving the Analysis and Transformation of Imperative Programs,"
Laurie J. Hendren, Joseph Hummel, and Alexandru Nicolau,
December 1991.

ACAPS Technical Memo 36:

"SELSYN-C: A Self-Synchronizing Parallel Programming Language,"
Weiren Ding and Laurie J. Hendren,
January 1992.

ACAPS Technical Memo 37:

"A Polynomial Time Method for Optimal Software Pipelining,"
Vincent H. Van Dongen and Guang R. Gao,
March 1992.

ACAPS Technical Memo 38:

"Applying an Abstract Data Structure Description Approach to Parallelizing Scientific Pointer Programs,"
Joseph Hummel, Laurie J. Hendren, and Alexandru Nicolau,
January 1992.

ACAPS Technical Memo 40:

"On the Limits of Program Parallelism and its Smoothability,"
Kevin B. Theobald, Guang R. Gao, and Laurie J. Hendren,
June 1992.

ACAPS Technical Memo 41:

"Collective Loop Fusion for Array Contraction,"
Guang R. Gao, Russell Olsen, Vivek Sarkar, and Radhika Thekkath,
March 1992.

ACAPS Technical Memo 42:

"Register Allocation for Time-Optimal Loop Scheduling,"
Qi Ning and Guang R. Gao,
January 1993.

ACAPS Technical Memo 43:

"Unimodular Transformations of Monolithic Array Constructors,"
Nematollaah Shiri V. and Guang R. Gao,
May 1992.

ACAPS Technical Memo 44:

"Collective Analysis and Transformation of Loop Clusters,"
Russell Olsen and Guang Gao,
April 1992.

ACAPS Technical Memo 45:

"A Dynamically Scheduled Parallel DSP Architectre for Stream Flow Programming,"
Guoning Liao, Guang R. Gao, and Vinod K. Agawal,
June 1993.

ACAPS Technical Memo 46:

"Designing the McCAT Compiler Based on a Family of Structured Intermediate Representations,"
Laurie J. Hendren, Chris Donawa, Maryam Emami, Guang R. Gao, Justiani, and Bhama Sridharan,
June 1992.

ACAPS Technical Memo 47:

"Supporting SPMD Execution for Dynamic Data Structures,"
Anne Rogers, John H. Reppy, and Laurie J. Hendren,
August 1992.

ACAPS Technical Memo 48:

"DLX Simulator Directed Profiling,"
Sumithra Jagannath,
July 1992.

ACAPS Technical Memo 49:

"ALPHA: A Family of Structured Intermediate Representations for a Parallelizing C Compiler,"
Laurie J. Hendren, Guang R. Gao, and Vugranam Sreedhar,
November 1992.

ACAPS Technical Memo 50:

"The W-Network: A New Low-Cost Fault-Tolerant Multistage Interconnection Network,"
Kevin B. Theobald,
November 1992.

ACAPS Technical Memo 52:

"The Effects of Resource Limitations on Program Parallelism,"
Kevin B. Theobald, Guang R. Gao, and Laurie J. Hendren,
January 1993.

ACAPS Technical Memo 53:

"Software Pipelining for Nested Loops,"
Guang R. Gao, Qi Ning, and Vincent Van Dongen,
May 1993.

ACAPS Technical Memo 55:

"Genetic Algorithms and Cache Replacement Policy,"
Erik R. Altman, Vinod K. Agarwal, and Guang R. Gao,
September 1992.

ACAPS Technical Memo 57:

"Speculative Execution and Branch Prediction on Parallel Machines,"
Kevin B. Theobald, Guang R. Gao, and Laurie J. Hendren,
December 1992.

ACAPS Technical Memo 60:

"A Kahn Principle for Networks of Nonmonotonic Real-Time Processes,"
Robert Yates and Guang Gao,
December 1992.

ACAPS Technical Memo 61:

"Rate-Optimal Schedule for Multi-Rate DSP Computations,"
R. Govindarajan and Guang R. Gao,
August 1993.

ACAPS Technical Memo 62:

"Interprocedural Analysis in the Presence of Function Pointers,"
Rakesh Ghiya,
December 1992.

ACAPS Technical Memo 63:

"A Comparative Study of DSP Multiprocessor List Scheduling Heuristics,"
Guoning Liao,
April 1993.

ACAPS Technical Memo 64:

"SuperDLX --- A Generic Superscalar Simulator,"
Cecile Moura,
April 1993.

ACAPS Technical Memo 65:

"A Unified Framework for Hybrid Access Cache Design and Its Applications,"
Kevin B. Theobald, Herbert H. J. Hum, and Guang R. Gao,
December 1993.

ACAPS Technical Memo 67:

"User Interface Description Formalisms,"
Vipul Jain,
April 1994.

ACAPS Technical Memo 68:

"Building Multithreaded Architectures with Off-the-Shelf Microprocessors,"
Herbert H. J. Hum, Kevin B. Theobald, and Guang R. Gao,
October 1993.

ACAPS Technical Memo 69:

"Minimizing Buffer Requirements under Rate-Optimal Schedule in Regular Dataflow Networks,"
R. Govindarajan, Guang R. Gao, and Palash Desai,
February 1994.

ACAPS Technical Memo 70:

"DJ-Graphs and Their Applications to Flowgraph Analyses,"
Vugranam C. Sreedhar, Yong fong Lee, and Guang R. Gao,
May 1994.

ACAPS Technical Memo 72:

"A Practical Context-Sensitive Interprocedural Analysis Framework for C Compilers,"
Laurie J. Hendren, Maryam Emami, Rakesh Ghiya, and Clark Verbrugge,
July 1993.

ACAPS Technical Memo 73:

"Deepness Analysis: Bringing Optimal Fronts to Triangular Finite Element Method,"
Jerome Galtier,
September 1994.

ACAPS Technical Memo 74:

"Supporting Array Dependence Testing for an Optimizing/Parallelizing C Compiler,"
Justiani and Laurie J. Hendren,
October 1993.

ACAPS Technical Memo 75:

"Computing $$-nodes in Linear Time Using DJ-graphs,"
Vugranam C. Sreedhar and Guang R. Gao,
January 1994.

ACAPS Technical Memo 76:

"Taming Control Flow: A Structured Approach to Eliminating Goto Statements,"
Ana M. Erosa and Laurie J. Hendren,
September 1993.

ACAPS Technical Memo 77:

"An Efficient Incremental Algorithm for Maintaining Dominator Trees and its Application to $$-Nodes Update,"
Vugranam C. Sreedhar, Guang R. Gao, and Yong fong Lee,
July 1994.

ACAPS Technical Memo 78:

"Location Consistency: Stepping Beyond the Barriers of Memory Coherence and Serializability,"
Guang R. Gao and Vivek Sarkar,
December 1994.

ACAPS Technical Memo 80:

"Minimizing Register Requirements under Resource-Constrained Rate-Optimal Software Pipelining,"
R. Govindarajan, Erik R. Altman, and Guang R. Gao,
June 1995.

ACAPS Technical Memo 81:

"Monotone and Nonmonotone Dataflow Networks,"
Marija {Cubric and Prakash Panangaden,
December 1993.

ACAPS Technical Memo 83:

"Dataflow Language Embedded in CML,"
Marija {Cubric,
February 1994.

ACAPS Technical Memo 86:

"Effective Utilization of the Reorder Buffer for Short-Lived Variables,"
Luis A. Lozano C. and Guang R. Gao,
July 1994.

ACAPS Technical Memo 87:

"Wish++: The C++ API for Tcl/Tk,"
Vipul Jain,
August 1994.

ACAPS Technical Memo 88:

"The Multi-Threaded Architecture Multiprocessor,"
Herbert H. J. Hum, Olivier Maquelin, Kevin B. Theobald, Xinmin Tian, Xinan Tang, Guang R. Gao, Phil Cupryk, Nasser Elmasri, Laurie J. Hendren, Alberto Jimenez, Shoba Krishnan, Andres Marquez, Shamir Merali, Shashank Nemawarkar, Prakash Panangaden, Xun Xue, and Yingchun Zhu,
December 1994.

ACAPS Technical Memo 89:

"The Threaded Communication Library: Preliminary Experiences on a Multiprocessor with Dual-Processor Nodes,"
Nasser Elmasri, Herbert H. J. Hum, and Guang R. Gao,
December 1994.

ACAPS Technical Memo 90:

"On Memory Models and Cache Management for Shared-Memory Multiprocessors,"
Jack B. Dennis and Guang R. Gao,
December 1994.

ACAPS Technical Memo 91:

"Scheduling and Mapping: Software Pipelining in the Presence of Structural Hazards,"
Erik R. Altman, R. Govindarajan, and Guang R. Gao,
January 1995.

ACAPS Technical Memo 92:

"Co-Scheduling Hardware and Software Pipelines,"
R. Govindarajan, Erik R. Altman, and Guang R. Gao,
January 1995.

ACAPS Technical Memo 93:

"Efficient Data Flow Analysis Using DJ Graphs: Elimination Methods Revisited,"
Vugranam C. Sreedhar, Guang R. Gao, and Yong fong Lee,
June 1995.

ACAPS Technical Memo 94:

"An Elimination-Based Approach to Incremental Data Flow Analysis,"
Vugranam C. Sreedhar and Guang R. Gao,
June 1995.

ACAPS Technical Memo 95:

"A New Framework for Exhaustive and Incremental Data Flow Analysis Using DJ Graphs,"
Vugranam C. Sreedhar, Guang R. Gao, and Yong fong Lee,
July 1995.

ACAPS Technical Memo 96:

"Measurement and Modeling of EARTH-MANNA Multithreaded Architecture,"
Shashank S. Nemawarkar and Guang R. Gao,
July 1995.

ACAPS Technical Memo 97:

"Automatic Partitioning Techniques for Solving Partial Differential Equations on Irregular Adaptive Meshes,"
Jerome Galtier,
September 1995.

ACAPS Technical Memo 98:

"Identifying Loops Using DJ Graphs,"
Vugranam C. Sreedhar, Guang R. Gao, and Yong fong Lee, September 1995.

ACAPS Technical Memo 99:

"Polling Watchdog: Combining Polling and Interrupts for Efficient Message Handling,"
Olivier Maquelin, Guang R. Gao, Herbert H. J. Hum, Kevin B. Theobald, and Xinmin Tian,
November 1995.

ACAPS Technical Memo 101:

"Compiling C for the EARTH Multithreaded Architecture,"
Laurie J. Hendren, Guang R. Gao, Xinan Tang, Yingchun Zhu, Xun Xue, Haiying Cai, and Pierre Ouellet,
March 1996.

ACAPS Technical Memo 102:

"Extended SSA Numbering: Introducing SSA Properties to Languages with Multi-Level Pointers,"
Christopher Lapkowski and Laurie J. Hendren,
April 1996.