Papers

Compiler Design for Extensibility and Modularity
Steven Carroll, Walden Ko, Mark Yankelevsky and Constantine Polychronopoulos In Proceedings of the 14th International Workshop on Languages and Compilers for Parallel Computing (LCPC).August 2001
(Postscript file: lcpc2001.ps )

Symbolic Analysis in the PROMIS Compiler.
N. Stavrako et.al..
In Proceedings of the 12th International Workshop on Languages and Compilers for Parallel Computing (LCPC). August 1999. Extended version available as CSRD Technical Report 1564.
(Postscript file: lcpc1999.pdf )

Multithreading Runtime Support for Loop and Functional Parallelism
H. Saito et.al..
In Proceedings of the International Symposium on High Performdance Computing (ISHPC). Also in Lecture Notes in Computer Science 1615, Springer Verlag. May 1999. Also available as CSRD Technical Report 1558(rev. 1)
(Postscript file: 1558r1.ps )

The Design of the PROMIS Compiler.
H. Saito et.al..
In Proceedings of the International Conference on Compiler Construction (CC)Also in Lecture Notes in Computer Science 1575, Springer Verlag. March 1999. Also available as CSRD Technical Report 1539. (rev. 1)
(Postcript file: csrd1539.ps )

The PROMIS Compiler Prototype.
Carrie Brownhill, Alex Nicolau, Steve Novack, and Constantine Polychronopoulos.
In Proceedings of the International Conference on Parallel Architectures and Compilation Techniques (PACT). 1997.

Achieving Multi-level Parallelization
Carrie Brownhill, Alex Nicolau, Steve Novack, and Constantine Polychronopoulos.
In Proceedings of the International Symposium on High Performance Computing (ISHPC). 1997. (in Lecture Notes in Computer Science No. 1336)

s -SSA and Its Construction Through Symbolic Interpretation.
H. Saito and C. Polychronopoulos.
In Proceedings of the 9th International Workshop on Languages and Compilers for Parallel Computing (LCPC). Also in Lecture Notes in Computer Science 1239, Springer Verlag. August 1996. Extended version available as CSRD Technical Report 1494.

Technical Reports

A Unified Optimization Framework Through Symbolic Interpretation.
to be numbered.

Nicholas Stavrakos, Hideki Saito, and Constantine Polychronopoulos.
July, 1999 Submitted for publication.
On the Design of High-Performance Compilers .
not numbered.

Hideki Saito.
June, 1999 Ph.D. Thesis Proposal.
Symbolic Analysis in the PROMIS Compiler .
CSRD Technical Report No. 1564

Nicholas Stavrakos, Steve Carroll, Hideki Saito, Constantine Polychronopoulos, and Alex Nicolau.
May, 1999 Submitted for publication.
Characterizing the Optimality of Minimal SSA Using the Value Flow Graph.
not numbered.

Hideki Saito and Constantine Polychronopoulos.
June, 1996

Recent PROMIS Presentations

2001 Presentation to NSF (PowerPoint2000)
SC '98 convention presentation (PowerPoint97)
Posters shown at SC '99 (PowerPoint97)
SC '01 Brochure (Microsoft Word)

DARPA site visits

DARPA '99

DARPA Annual Report 1999 (Microsoft Word)
PROMIS Symbolic Analysis Presentation (PowerPoint)

DARPA '98

PROMIS Architecture Presentation (PowerPoint)
PROMIS IR Implementation (PowerPoint)
PROMIS Overview (PowerPoint)
PROMIS Pointer Analysis (PowerPoint)
Resource-Directed Loop Pipelining (PowerPoint)
Symbolic Analysis/EDSI (PowerPoint)
Trail Blazing for the PROMIS compiler (PowerPoint)

DARPA '97

DARPA Annual Report 1997 (MS Word97)
Illinois-Irvine PROMIS Compiler Internal Representation (PowerPoint97 and also in Postscript )
PROMIS IR Implementation -- AST Components -- (Postscript and also in MS Word97 )
PROMIS IR Design (Postscript and also in MS Word97 )
Illinois-Irvine PROMIS Compiler Symbolic Interpreter (PowerPoint97 and also in Postscript )
Symbolic Analysis in PROMIS (Postscript and also in MS Word97 )
Achieving Multi-level Parallelization (Postscript)
The PROMIS Compiler Prototype (PostScript)