Next: Future Directions Up: Frameworks and Algorithms Previous: Related work

Implementation and Users

We make available (via ftp from an implementation of the Omega test; a text-based driver for the Omega test; and an extension of Michael Wolfe's tiny tool [Wol91] to include dependence testing using the Omega test, induction variable recognition, improvements in the user interface, and an implementation of our unified reordering framework [KP93a][KP93b]. We have added 25,000 lines of code to tiny's original 20,000. We continue to implement our algorithms and make them freely available.

Over 400 users have obtained copies of our software, including researchers at: Rice Univ., Univ. of Illinois, Georgia Tech., Cornell University, Univ. of Wisconsin-Madison, CMU, Cray, Convex, Thinking Machines and IBM. Prof. David Padua and Paul Petersen from the Center for Supercomputing Research and Development at the University of Illinois, Urbana-Champaign, are utilizing the Omega test in their Delta system [PP93]. Prof. Wen-mei Hwu, at the Coordinated Science Laboratory of the University of Illinois, Urbana-Champaign, is using the Omega test in the IMPACT-II compiler. Prof. Bill Appelbe is incorporating the Omega test into PAT, a tool for interactively parallelizing loops in FORTRAN programs. PAT is used at several locations including the Cornell Theory Center. Prof. Dennis Gannon has integrated the Omega test into sage++. Jaspal Subhlok at CMU is integrating the Omega test into the iWarp compiler. Prof. Tom Reps at the Univ. of Wisconsin, Madison, has incorporated the Omega test into his tool for performing semantic program merging. Prof. Guri Sohi, also at Wisconsin, is using the Omega test in research on instruction scheduling. Prof. Peiti Tang, of the Australian National University, has published a paper on the use of the Omega test in interprocedural analysis [Tan93].