University of Minnesota
Software Engineering Center

You are here

A Formal Approach to Parallelizing Compilers

Date of Publication: 
March 1997
Associated Research Groups: 
Publication Files: 
This paper describes parallelizing compilers which allow programmers to tune parallel program performance through an interactive dialog. Programmers specify language constructs that define sequential processes, such as assignment or for-loops, to be used as units of computation, while the compiler discovers the parallelism existent in the source program in terms of these units. Programmers may provide target machine architectural features used by compilers to coalesce sequential processes, controlling process granularity and ensuring process load balance.
In Proc. of the 8th SIAM Conference on Parallel Processing for Scientific Computing held in Minneapolis, Minnesota March 14-17, 1997.
@inproceedings{Eric97c, author = "Rus, Teodor and Van Wyk, Eric", title = "A formal approach to parallelizing compilers", booktitle = "SIAM Conference on Parallel Processing for Scientific Computation, Proceedings", year = 1997, month = "March 14" }