37 citations found. Retrieving documents...
S. W. Liao, A. Diwan, R. P. Bosch Jr., A. Ghuloum, M. S. Lam, "SUIF Explorer: An Interactive and Interprocedural Parallelizer", Proceedings of the Seventh ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, (PPoPP'99), 1999, pp.37-48.

 Home/Search   Document Details and Download   Summary   Related Articles   Check  

This paper is cited in the following contexts:

First 50 documents

Data Locality Optimizations for Multigrid Methods on Structured.. - Weiß   (Correct)

....the programmer requires at least some means to securely perform loop transformations. Unfortunately, the compiler community has not yet provided compiler directives for data locality optimizations like the OpenMP [DM98] directives for parallelization. Interactive tools [KMT91, Che92, LDB 99, Lia00] could be an alternative to complex compilers. They usually provide program transformations such as loop unrolling, loop interchange, loop fusion, etc. within a menu based user interface. The focus of these tools, however, is mainly on parallelization and the tools cannot be easily extended. ....

S.-W. Liao. SUIF Explorer: An Interactive and Interprocedural Parallelizer. PhD thesis, Department of Computer Science, Stanford University, Stanford, California, USA, August 2000.


Development and Performance Analysis of Real-World.. - Distributed And Parallel   (Correct)

....tracing and profiling system that has been shown to be very useful for various programming paradigms including PC and HPC [30] Forge90 [32] reports on communication costs at the level of a generated message passing code, but not at the level of the input program. The SUIF Explorer [33], an interactive and interprocedural parallelizer, provides two sub modules for performance analysis. First, the Execution Analyser which determines the loops that dominate the execution time of the program. Moreover, this tool can instrument a program for determining data dependences during ....

S.-W. Liao, A. Diwan, R. P. Bosch, A. Ghuloum, and M. S. Lam. SUIF Explorer: an interactive and interprocedural parallelizer. ACM SIGPLAN Notices, 34(8):37--48, Aug. 1999.


A Formal, Language-Independent, and Compositional Approach to.. - Stafford   (Correct)

....a single procedure written in sequential, imperative programming languages [17, 41] in this dissertation these types of programs are referred to as uni procedure programs. More recently, research has been directed at more complex types of languages used to describe programs with procedure calls [22, 27, 33, 37, 47], object oriented programs [31, 57] concurrent programs [14, 23, 56] concurrent object oriented programs [57] software architectures [48, 55] and hardware architectures [15] Work in the area of identifying control dependencies in uni procedure programs produced two, very similar formal ....

....class of programs as well as to developing dependence graph based software maintenance tools [44, 37, 10] Table 2.1 Table 2.1: Dependence Analysis Research in the 1990s. References Multi proc Obj Orient Concurrent Con OO Reactive [11] 14] X [15] X [21, 31, 22, 47] X X [23] X [25, 27] X [33] X [37] X [49] X [55, 56] X X Table 2.2: System Types and Related Dependence Relationships. Reference Dependence Type Uni proc Multi proc OO Con Con OO Reactive Control X X X X X X Data X X X X X X [41] Strong Control X X X X X X [41] Weak Control X X X X X X [41] Strong Syntactic X X X ....

[Article contains additional citation context not shown here]

S. Liao, A. Diwan, R.P. Bosch Jr., A. Ghuloum, and M.S. Lam. SUIF Explorer: An Interactive and Interprocedural Parallelizer. In 7th ACM SIGPLAN Symposium on Principles and Practices of Parallel Programming, pages 37-48, Atlanta, Georgia, May 1999.


The Jrpm System for Dynamically Parallelizing Java Programs - Chen, Olukotun (2003)   (1 citation)  (Correct)

....parallelize programs. Ko et al. 26] identified optimal decompositions through brute force incremental execution of all possible decompositions in multilevel parallel programs. Numerous systems have also been designed to manually tone parallel performance on traditional multiprocessors [ 1 ] 19] [27] [30] but they have relied on off line, not real time, dependence analysis of memory traces. multiprocessors. Simulation results demonstrate Jrpm s ability to automatically select and optimize appropriate thread decompositions with minimal effort from the programmer. On our CMP with four ....

Liao, S. W. et al. SUIF Explorer: An Interactive and Interprocedural Parallelizer. In PPoPP'99, Atlanta, GA, May 1999.


VISTA: A System for Interactive Code Improvement - Zhao, Cai, Whalley, Bailey..   (Correct)

....support for the high level parallelization of programs. These systems include the pat toolkit [2] the parcfrase 2 environment [24] the e sp system [8] a visualization system developed at the University of Pittsburgh [14] a visualization tool for the Zephyr system [18[ and SUIF explorer [21]. All of these systems provide support for a programmer by illustrating the possible dependencies that may prevent parallelizing transformations from occurring. A user can inspect these dependencies and assist the compilation system by verifying whether a dependency is valid or can be removed. In ....

Shih-Wei Liao, Amer Diwan, Jr. Robert P. Bosch, Anwar Ghu1oum, and Monica S. Lam. Suif explorer: an interactive and interprocedural parallelizer In Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 37-48, 1999.


Using Thread-Level Speculation to Simplify Manual.. - Prabhu, Olukotun (2003)   (4 citations)  (Correct)

....single application performance and frequent processor idle cycles from having too few applications available to execute. The primary problem is that creating parallelized versions of legacy code is difficult. Even with a good tool chain including profilers and parallelizing compilers [1] 2][9][11] automated parallelization has proven to be a very difficult problem [19] While successful for certain scientific applications, automated parallelization has typically provided poor parallel performance on general purpose applications, especially integer ones. Manual parallelization can ....

....buffers. A CMP with fewer processors will generally not require significant code changes in order to run efficiently, but more processors may necessitate modifications to use all the processors. This will be examined in future research. 5. RELATED WORK Research on automatic parallelization [2][9] and speculation [4] 13] 14] 17] 21] is underway at various universities. Several projects share our focus on general purpose applications. However, they primarily investigate parallelization that can be automated, while in this paper we use techniques that cannot be easily automated to explore ....

S.W. Liao, et al., "SUIF Explorer: An Interactive and Interprocedural Parallelizer," Proc. Sym. PPOPP 1999.


VISTA: A System for Interactive Code Improvement - Zhao, Cai, Whalley, Bailey.. (2002)   (2 citations)  (Correct)

....support for the high level parallelization of programs. These systems include the pat toolkit [2] the parafrase 2 environment [24] the e sp system [8] a visualization system developed at the University of Pittsburgh [14] a visualization tool for the Zephyr system [11] and SUIF explorer [21]. All of these systems provide support for a programmer by illustrating the possible dependencies that may prevent parallelizing transformations from occurring. A user can inspect these dependencies and assist the compilation system by verifying whether a dependency is valid or can be removed. In ....

Shih-Wei Liao, Amer Diwan, Jr. Robert P. Bosch, Anwar Ghuloum, and Monica S. Lam. Suif explorer: an interactive and interprocedural parallelizer. In Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 37--48, 1999.


Syntax-Directed Amorphous Slicing - Danicic, Harman, Munro, Binkley..   (Correct)

....side e ects, while the dependence reduction tactic reduces the inter dependence between statements. The former may be useful as an enabling step to other transformation based approaches [5, 12, 59, 74] while the latter may be useful in work on transformation based automatic parallelisation [55, 58, 66, 79]. The rest of this paper is organised as follows. Section 2 explains why amorphous slice construction is a harder problem than syntax preserving slice construction. Sections 3 and 4 describe the overall GUSTT amorphous 2 MW PROC BoundedFind(Bound, List, Key VAR R,Flag) VAR i: 0 : MW PROC ....

.... a variety of applications including re ning the precision of syntax preserving slicing[27, 70] assisting testing [36] identifying unobservable components in optimising task scheduling [30] register allocation optimisation [60] partial evaluation [23] restructuring Cobol [28] parallelization [55] and model checking [17] Amorphous slicing was rst introduced by Harman and Danicic [37] and has been developed by Binkley [9] and Harman, Binkley and Danicic [35] and by Ward [76] Binkley s approach uses the System Dependence Graph [48] while Ward s approach uses a novel syntax preserving ....

Shih-Wei Liao, Amer Diwan, Robert P. Bosch, Jr., Anwar Ohuloum, and Monica S. Lam. SUIF explorer: An interactive and interprocedural parallelizer. In A. Andrew Chien and Marc Snir, editors, Proceedings of the 1999.


Parallel Programming Environment for OpenMP - Park, Voss, Kim, Eigenmann   (Correct)

....visualization, instrumentation, and debugging. Many of the current tools are summarized in [5, 6] Several tools have attempted to integrate di#erent parallel programming tasks. Pablo and the Fortran D editor [1] combine program optimization and performance visualization. The SUIF Explorer [17] and FORGExplorer [2] have a similar goal. The KAP Pro Toolset [16] consists of tools for automatic parallelization, performance visualization, and debugging. The focus of the Annai Tool Project [23] is on the aspects of parallelization, debugging, and performance monitoring. Faust [10] attempted ....

W. Liao, A. Diwan, R. P. Bosch Jr., A. Ghuloum, and M. S. Lam. SUIF explorer: An interactive and interprocedural parallelizer. In Proc. of the 7th ACM SIGPLAN Symposium on Principles and Practice of Paral lel Programming, pages 37--48, August 1999.


The Static Single Information Form - Ananian (1999)   (1 citation)  (Correct)

....of program meaning as a set of simultaneous equations, without resort to graph information. It is simple. A bestiary of new OE like functions have been introduced in the past decade, including , fl , and j functions in [5, 43] and functions in [24] interprocedural OE functions in [26], and functions in [9] and j functions in [14] and functions in [27] among others.Some of these are orthogonal to our work the techniques of [24] can be used to extend SSI form to explicitly parallel source languages, and those of [9] to languages with local variable aliasing (absent ....

S.-W. Liao, A. Diwan, R. P. B. Jr., A. Ghuloum, and M. S. Lam. SUIF explorer: An interactive and interprocedural parallelizer. In Proceedings of the 7th ACM SIGPLAN symposium on Principles and practice of parallel programming (PPoPP), pages 37--48, Atlanta, Georgia, May 1999.


A Performance Advisor Tool for Novice Programmers in.. - Kim, Park, Eigenmann (2000)   (Correct)

....programmers overcome the obstacles in optimizing programs through an automated guidance system. In this section, we discuss several tools that support this functionality. The SUIF Explorer s Parallelization Guru bases its analysis on two metrics: parallelism coverage and parallelism granularity [10]. These metrics are computed and updated when programmers make changes to a program and run it. It sorts profile data in a decreasing order to bring programmers attention to most time consuming sections of the program. It is also capable of analyzing data dependence information and highlighting ....

W. Liao, A. Diwan, R. P. Bosch Jr., A. Ghuloum, and M. S. Lam. SUIF explorer: An interactive and interprocedural parallelizer. In Proc. of the 7th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 37--48, August 1999.


GUSTT: An Amorphous Slicing System which Combines Slicing.. - Harman, Munro, Zhang (2001)   (3 citations)  (Correct)

....while the dependence reduction transformation tactic reduces the inter dependence between statements. The former may be useful as an enabling step to other transformation based approaches [2, 6, 23, 29] while the latter may be useful in work on transformation based automatic parallelization [21, 22, 26, 33]. The rest of the paper is organised as follows: Section 2 introduces the architecture of the GUSTT system. The Side E ect Removal (SER) and Dependence Reduction Transformation (DRT) components are described in sections 3 and 4, respectively. The combined e ect of the system s components are ....

Shih-Wei Liao, Amer Diwan, Robert P. Bosch, Jr., Anwar Ohuloum, and Monica S. Lam. SUIF explorer: An interactive and interprocedural parallelizer. In A. Andrew Chien and Marc Snir, editors, Proceedings of the


Tracking Pointers with Path and Context Sensitivity for Bug.. - Livshits, Lam (2003)   (6 citations)  Self-citation (Lam)   (Correct)

No context found.

S.-W. Liao, A. Diwan, R.P. Bosch, A. Ghuloum, and M. Lam. SUIF explorer: An interactive and interprocedural parallelizer. In Proceedings of the 26th Annual ACM Symposium on Principles of Programming Languages, pages 37--48, 1999.


Tracking Pointers with Path and Context Sensitivity for Bug.. - Livshits, Lam (2003)   (6 citations)  Self-citation (Lam)   (Correct)

....and is defined for pointer variables. As in regular SSA, variables with the same number refer to the same value. Our representation for interprocedural definition use relationships share some similarity with the SSA like representation proposed by Liao et al. for slicing Fortran programs [15]. Our work is di#erent from the above in that we propose using a custom, unsound pointer analysis, rather than just incorporating the results of a known pointer analysis in the representation. Chase et al. deal with the issue of performing pointer analysis while incrementally constructing the ....

S.-W. Liao, A. Diwan, R.P. Bosch, A. Ghuloum, and M. Lam. SUIF explorer: An interactive and interprocedural parallelizer. In Proceedings of the 26th Annual ACM Symposium on Principles of Programming Languages, pages 37--48, 1999.


Auto-CFD: Efficiently Parallelizing CFD Applications on Clusters - Li Xiao Xiaodong   (Correct)

No context found.

S. W. Liao, A. Diwan, R. P. Bosch Jr., A. Ghuloum, M. S. Lam, "SUIF Explorer: An Interactive and Interprocedural Parallelizer", Proceedings of the Seventh ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, (PPoPP'99), 1999, pp.37-48.


Performance Driven Optimization Tuning In Vista - Kulkarni (2003)   (Correct)

No context found.

Shih-Wei Liao, Amer Diwan, Jr. Robert P. Bosch, Anwar Ghuloum, and Monica S. Lam. Suif explorer: an interactive and interprocedural parallelizer. In Proceedings of the seventh ACM SIGPLAN symposium on Principles and practice of parallel programming, pages 37--48. ACM Press, 1999.


Dynamically Discovering Likely Program Invariants - Ernst (2000)   (108 citations)  (Correct)

No context found.

Shih-Wei Liao, Amer Diwan, Robert P. Bosch, Jr., Anwar Ghuloum, and Monica S. Lam. SUIF Explorer: An interactive and interprocedural parallelizer. In Proceedings of the 7th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP'99), pages 37-48, Atlanta, Georgia, May 1999. 122


Performance Driven Optimization Tuning In Vista - Kulkarni   (Correct)

No context found.

Shih-Wei Liao, Amer Diwan, Jr. Robert P. Bosch, Anwar Ghuloum, and Monica S. Lam. Suif explorer: an interactive and interprocedural parallelizer. In Proceedings of the seventh ACM SIGPLAN symposium on Principles and practice of parallel programming, pages 37--48. ACM Press, 1999.


Consumption in Multi-Threaded Distributed Applications - Imaging Systems Laboratory (2002)   (Correct)

No context found.

S.-W Liao, A. Diwan, R. P. Bosch, Jr. and A. Ghuloum, M. S. Lam, "SUIF Explorer: An Interactive and Interprocedural Parallelizer,", Proceedings of the 7th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP'99), May, 1999.


Dynamically Discovering Likely Program Invariants - Ernst (2000)   (108 citations)  (Correct)

No context found.

Shih-Wei Liao, Amer Diwan, Robert P. Bosch, Jr., Anwar Ghuloum, and Monica S. Lam. SUIF Explorer: An interactive and interprocedural parallelizer. In Proceedings of the 7th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP'99), pages 37-48, Atlanta, Georgia, May 1999. 122


Resolution, Optimization, and Encoding of Pointer Variables .. - Semeria, De Micheli (2001)   (1 citation)  (Correct)

No context found.

S.-W. Liao, A. Diwan, R. P. Bosch Jr., A. Ghuloum, and M. S. Lam, "SUIF explorer: An interactive and interprocedural parallelizer," in Proc. 7th ACM SIGPLAN Symp. Principles Practice Parallel Program., May 1999, pp. 37--48.


The Static Single Information Form - Ananian (1999)   (1 citation)  (Correct)

No context found.

S.-W. Liao, A. Diwan, R. P. B. Jr., A. Ghuloum, and M. S. Lam. SUIF explorer: An interactive and interprocedural parallelizer. In Proceedings of the 7th ACM SIGPLAN symposium on Principles and practice of parallel programming (PPoPP), pages 37-48, Atlanta, Georgia, May 1999.


A Formal, Language-Independent, and Compositional Approach to.. - Stafford   (Correct)

No context found.

S. Liao, A. Diwan, R.P. Bosch Jr., A. Ghuloum, and M.S. Lam. SUIF Explorer: An Interactive and Interprocedural Parallelizer. In 7th ACM SIGPLAN Symposium on Principles and Practices of Parallel Programming, pages 37-48, Atlanta, Georgia, May 1999.


Data Locality Optimizations for Multigrid Methods on Structured.. - Weiß   (Correct)

No context found.

S.-W. Liao, A. Diwan, R.P. Bosch, A. Ghuloum, and M.S. Lam. SUIF Explorer: An Interactive and Interprocedural Parallelizer. In Proceedings of the 7th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP'99), pages 37--48, May 1999.


Towards an Integrated, Web-executable Parallel.. - Park, Kapadia.. (2000)   (Correct)

No context found.

W. Liao, A. Diwan, R. P. Bosch Jr., A. Ghuloum, and M. S. Lam. SUIF explorer: An interactive and interprocedural parallelizer. In Proc. of the 7th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 37--48, August 1999.

First 50 documents

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC