A Decision Procedure for the First Order Theory of Real Addition with Order. - Jeanne Ferrante; Charles Rackoff (SIAM J. Comput., 1975)

An Efficient Decision Procedure for the Theory of Rational Order. - Jeanne Ferrante; James R. Geiser (Theor. Comput. Sci., 1977)

The Experimental Compiling System. - Frances E. Allen; J. Lawrence Carter; Janet Fabri; Jeanne Ferrante; William H. Harrison; Paul G. Loewner; Louise Trevillyan (IBM J. Res. Dev., 1980)

A Program Form Based on Data Dependency in Predicate Regions. - Jeanne Ferrante; Karl J. Ottenstein (POPL, 1983)

High level language debugging with a compiler. - Jeanne Ferrante (SIGSOFT, 1983)

On Linearizing Parallel Code. - Jeanne Ferrante; Mary E. Mace (POPL, 1985)

What's In a Name? -or- The Value of Renaming for Parallelism Detection and Storage Allocation. - Ron Cytron; Jeanne Ferrante (ICPP, 1987)

The Program Dependence Graph and Its Use in Optimization. - Jeanne Ferrante; Karl J. Ottenstein; Joe D. Warren (ACM Trans. Program. Lang. Syst., 1987)

A framework for determining useful parallelism. - Frances E. Allen; Michael G. Burke; Ron Cytron; Jeanne Ferrante; Wilson C. Hsieh (ICS, 1988)

Generating sequential code from parallel code. - Jeanne Ferrante; Mary E. Mace; Barbara Simons (ICS, 1988)

Automatic Discovery of Parallelism: A Tool and an Experiment (Extended Abstract). - Michael G. Burke; Ron Cytron; Jeanne Ferrante; Wilson C. Hsieh; Vivek Sarkar; David Shields (PPOPP/PPEALS, 1988)

An Overview of the PTRAN Analysis System for Multiprocessing. - Frances E. Allen; Michael G. Burke; Philippe Charles; Ron Cytron; Jeanne Ferrante (J. Parallel Distributed Comput., 1988)

An Efficient Method of Computing Static Single Assignment Form. - Ron Cytron; Jeanne Ferrante; Barry K. Rosen; Mark N. Wegman; F. Kenneth Zadeck (POPL, 1989)

Automatic generation of nested, fork-join parallelism. - Michael G. Burke; Ron Cytron; Jeanne Ferrante; Wilson C. Hsieh (J. Supercomput., 1989)

Compact Representations for Control Dependence. - Ron Cytron; Jeanne Ferrante; Vivek Sarkar (PLDI, 1990)

A Foundation for Sequentializing Parallel Code. - Barbara Simons; David Alpern; Jeanne Ferrante (SPAA, 1990)

On Estimating and Enhancing Cache Effectiveness. - Jeanne Ferrante; Vivek Sarkar; W. Thrash (LCPC, 1991)

Automatic Construction of Sparse Data Flow Evaluation Graphs. - Jong-Deok Choi; Ron Cytron; Jeanne Ferrante (POPL, 1991)

Efficiently Computing Static Single Assignment Form and the Control Dependence Graph. - Ron Cytron; Jeanne Ferrante; Barry K. Rosen; Mark N. Wegman; F. Kenneth Zadeck (ACM Trans. Program. Lang. Syst., 1991)

Explicit Data Placement (XDP): A Methodology for Explicit Compile-Time Representation and Optimization of Data Movement (Extended Abstract). - Vasanth Bala; Jeanne Ferrante (SIGPLAN Workshop, 1992)

Efficiently Computing phi-Nodes On-The-Fly (Extended Abstract). - Ron Cytron; Jeanne Ferrante (LCPC, 1993)

Explicit Data Placement (XDP): A Methodology for Explicit Compile-Time Representation and Optimization. - Vasanth Bala; Jeanne Ferrante; Larry Carter (PPoPP, 1993)

Computing Communication Sets for Control Parallel Programs. - Jeanne Ferrante (LCPC, 1994)

XDP: A compiler intermediate language extension for the representation and optimization of data movement. - Larry Carter; Jeanne Ferrante; Vasanth Bala (Int. J. Parallel Program., 1994)

Static Slicing in the Presence of Goto Statements. - Jong-Deok Choi; Jeanne Ferrante (ACM Trans. Program. Lang. Syst., 1994)

On the Efficient Engineering of Ambitious Program Analysis. - Jong-Deok Choi; Ron Cytron; Jeanne Ferrante (IEEE Trans. Software Eng., 1994)

Hierarchical tiling for improved superscalar performance. - Larry Carter; Jeanne Ferrante; Susan Flynn Hummel (IPPS, 1995)

Efficient Parallelism via Hierarchical Tiling. - Larry Carter; Jeanne Ferrante; Susan Flynn Hummel (PP, 1995)

Efficientlty Computing Phi-Nodes On-The-Fly. - Ron Cytron; Jeanne Ferrante (ACM Trans. Program. Lang. Syst., 1995)

Determining Asynchronous Acyclic Pipeline Execution Times. - Val Donaldson; Jeanne Ferrante (IPPS, 1996)

Determing Asynchronous Pipeline Execution Times. - Val Donaldson; Jeanne Ferrante (LCPC, 1996)

Determining the Idle Time of a Tiling. - Karin Högstedt; Larry Carter; Jeanne Ferrante (POPL, 1997)

Compile-time Analysis and Optimization of Explicitly Parallel Programs*. - Jeanne Ferrante; Dirk Grunwald; Harini Srinivasan (Parallel Algorithms Appl., 1997)

Schedule-Independent Storage Mapping for Loops. - Michelle Mills Strout; Larry Carter; Jeanne Ferrante; Beth Simon (ASPLOS, 1998)

Analyzing Asynchronous Pipeline Schedules. - Val Donaldson; Jeanne Ferrante (Int. J. Parallel Program., 1998)

Quantifying the Multi-Level Nature of Tiling Interactions. - Nicholas Mitchell; Karin Högstedt; Larry Carter; Jeanne Ferrante (Int. J. Parallel Program., 1998)

Predicated Static Single Assignment. - Lori Carter; Beth Simon; Brad Calder; Larry Carter; Jeanne Ferrante (IEEE PACT, 1999)

Localizing Non-Affine Array References. - Nicholas Mitchell; Larry Carter; Jeanne Ferrante (IEEE PACT, 1999)

Asynchronous Dynamic Load Balancing of Tiles. - Tung Nguyen; Michelle Mills Strout; Larry Carter; Jeanne Ferrante (PP, 1999)

ILP versus TLP on SMT. - Nicholas Mitchell; Larry Carter; Jeanne Ferrante; Dean M. Tullsen (SC, 1999)

Selecting Tile Shape for Minimal Execution Time. - Karin Högstedt; Larry Carter; Jeanne Ferrante (SPAA, 1999)

Path Analysis and Renaming for Predicated Instruction Scheduling. - Lori Carter; Beth Simon; Brad Calder; Larry Carter; Jeanne Ferrante (Int. J. Parallel Program., 2000)

CROPS: coordinated restructuring of programs and storage. - Larry Carter; Jeanne Ferrante (ACM SIGSOFT Softw. Eng. Notes, 2000)

A Modal Model of Memory. - Nick Mitchell; Larry Carter; Jeanne Ferrante (International Conference on Computational Science (1), 2001)

Rescheduling for Locality in Sparse Matrix Computations. - Michelle Mills Strout; Larry Carter; Jeanne Ferrante (International Conference on Computational Science (1), 2001)

Bandwidth-Centric Allocation of Independent Tasks on Heterogeneous Platforms. - Olivier Beaumont; Arnaud Legrand; Yves Robert; Larry Carter; Jeanne Ferrante (IPDPS, 2002)

Combining Performance Aspects of Irregular Gauss-Seidel Via Sparse Tiling. - Michelle Mills Strout; Larry Carter; Jeanne Ferrante; Jonathan Freeman; Barbara Kreaseck (LCPC, 2002)

Phi-Predication for Light-Weight If-Conversion. - Weihaw Chuang; Brad Calder; Jeanne Ferrante (CGO, 2003)

Incorporating Predicate Information into Branch Predictors. - Beth Simon; Brad Calder; Jeanne Ferrante (HPCA, 2003)

Autonomous Protocols for Bandwidth-Centric Scheduling of Independent-Task Applications. - Barbara Kreaseck; Larry Carter; Henri Casanova; Jeanne Ferrante (IPDPS, 2003)

TFP: Time-Sensitive, Flow-Specific Profiling at Runtime. - Sagnik Nandy; Xiaofeng Gao 003; Jeanne Ferrante (LCPC, 2003)

Compile-time composition of run-time data and iteration reorderings. - Michelle Mills Strout; Larry Carter; Jeanne Ferrante (PLDI, 2003)

Folklore confirmed: reducible flow graphs are exponentially larger. - Larry Carter; Jeanne Ferrante; Clark D. Thomborson (POPL, 2003)

On the Parallel Execution Time of Tiled Loops. - Karin Högstedt; Larry Carter; Jeanne Ferrante (IEEE Trans. Parallel Distributed Syst., 2003)

A-FAST: Autonomous Flow Approach to Scheduling Tasks. - Sagnik Nandy; Larry Carter; Jeanne Ferrante (HiPC, 2004)

On the Interference of Communication on Computation in Java. - Barbara Kreaseck; Larry Carter; Henri Casanova; Jeanne Ferrante (IPDPS, 2004)

Sparse Tiling for Stationary Iterative Methods. - Michelle Mills Strout; Larry Carter; Jeanne Ferrante; Barbara Kreaseck (Int. J. High Perform. Comput. Appl., 2004)

Scheduling Strategies for Master-Slave Tasking on Heterogeneous Processor Platforms. - Cyril Banino; Olivier Beaumont; Larry Carter; Jeanne Ferrante; Arnaud Legrand; Yves Robert (IEEE Trans. Parallel Distributed Syst., 2004)

GUARD: Gossip Used for Autonomous Resource Detection. - Sagnik Nandy; Larry Carter; Jeanne Ferrante (IPDPS, 2005)

Centralized versus distributed schedulers for multiple bag-of-task applications. - Olivier Beaumont; Larry Carter; Jeanne Ferrante; Arnaud Legrand; Loris Marchal; Yves Robert (IPDPS, 2006)

Preface. - Larry Carter; Henri Casanova; Frédéric Desprez; Jeanne Ferrante; Yves Robert (Int. J. High Perform. Comput. Appl., 2006)

Interference-Aware Scheduling. - Barbara Kreaseck; Larry Carter; Henri Casanova; Jeanne Ferrante; Sagnik Nandy (Int. J. High Perform. Comput. Appl., 2006)

Centralized versus Distributed Schedulers for Bag-of-Tasks Applications. - Olivier Beaumont; Larry Carter; Jeanne Ferrante; Arnaud Legrand; Loris Marchal; Yves Robert (IEEE Trans. Parallel Distributed Syst., 2008)

Author retrospective for PTRAN's analysis and optimization techniques. - Ron K. Cytron; Jeanne Ferrante; Frances E. Allen; Michael G. Burke; Philippe Charles (ICS 25th Anniversary, 2014)

An approach for code generation in the Sparse Polyhedral Framework. - Michelle Mills Strout; Alan LaMielle; Larry Carter; Jeanne Ferrante; Barbara Kreaseck; Catherine Olschanowsky (Parallel Comput., 2016)