PARASOL Compilers: Compiler Optimization
Compiler Optimization


Professor Lawrence Rauchwerger
Alumni: Marinus Pennings, Silvius Rus, Hao Yu, Francis Dang, Julio Antonio Carvallo De Ochoa, Devang Patel

Motivation

Current parallelizing compilers can do a reasonable job of analyzing programs with regular, static access patterns. However, there are several problems which make analysis impossible or impractical: dynamic applications depend on input/computed data; complexity of symbolic calculus is often too large; system resources or configuration change dynamically.

Since irregular programs represent a large and important fraction of all applications, an automatable framework for run-time optimization is needed to complement existing and future static compiler techniques.


Compiler Internal Representation
Program Analysis
Dynamic Optimization

Detailed Site Map

Publications

Silvius Rus, Marinus Pennings, Lawrence Rauchwerger, "Sensitivity Analysis for Migrating Programs to Multi-Cores," Technical Report, TR06-015, Parasol Laboratory, Department of Computer Science, Texas A&M University, College Station, TX, Dec 2006.
Technical Report(ps, pdf, abstract)

Silvius Rus, Guobin He, Lawrence Rauchwerger, "Region Array SSA," Technical Report, TR06-007, Parasol Laboratory, Department of Computer Science, Texas A&M University, College Station, TX, May 2006.
Technical Report(ps, pdf, abstract)

Silvius Rus, Lawrence Rauchwerger, "Hybrid Dependence Analysis for Automatic Parallelization," Technical Report, TR05-013, Parasol Laboratory, Department of Computer Science, Texas A&M University, Nov 2005.
Technical Report(ps, pdf, ppt, abstract)

Silvius Rus, Dongmin Zhang, Lawrence Rauchwerger, "The Value Evolution Graph and its Use in Memory Reference Analysis," In Proc. IEEE Int.Conf. on Parallel Architectures and Compilation Techniques (PACT), pp. 243-254, Antibes Juan-les-Pins, France, Sep 2004.
Proceedings(ps, pdf, abstract)

Silvius Rus, Dongmin Zhang, Lawrence Rauchwerger, "Automatic Parallelization Using the Value Evolution Graph," In Wkshp. on Lang. and Comp. for Par. Comp. (LCPC), West Lafayette, Indiana, Sep 2004.
Proceedings(ps, pdf, abstract)

Hao Yu, Lawrence Rauchwerger, "An Adaptive Algorithm Selection Framework for Reduction Parallelization," Transactions on Parallel and Distributed Systems, 17(19):1084 - 1096 , 2006.
Journal(pdf, abstract)

Nathan Thomas, Gabriel Tanase, Olga Tkachyshyn, Jack Perdue, Nancy M. Amato, Lawrence Rauchwerger, "A Framework for Adaptive Algorithm Selection in STAPL," In Proc. ACM SIGPLAN Symp. Prin. Prac. Par. Prog. (PPOPP), pp. 277-288, Chicago, Illinois, Jun 2005.
Proceedings(ps, pdf, abstract)

Hao Yu, Dongmin Zhang, Lawrence Rauchwerger, "An Adaptive Algorithm Selection Framework," In Proc. IEEE Int.Conf. on Parallel Architectures and Compilation Techniques (PACT), Antibes Juan-les-Pins, France, Sep 2004.
Proceedings(ps, pdf, abstract)

Hao Yu, Dongmin Zhang, Francis Dang, Lawrence Rauchwerger, "An Adaptive Algorithm Selection Framework," Technical Report, TR04-002, Parasol Laboratory, Department of Computer Science, Texas A&M University, Mar 2004.
Technical Report(ps, pdf, abstract)

Silvius Rus, Lawrence Rauchwerger, "Hybrid Dependence Analysis for Automatic Parallelization," Technical Report, TR05-013, Parasol Laboratory, Department of Computer Science, Texas A&M University, Nov 2005.
Technical Report(ps, pdf, ppt, abstract)

Silvius Rus, Lawrence Rauchwerger, Jay Hoeflinger, "Hybrid Analysis: Static & Dynamic Memory Reference Analysis," International Journal of Parallel Programming, 31(4):251-283, Aug 2003. Also, In Proc. ACM Int. Conf. Supercomputing (ICS), pp. 274-284, New York City, Jun 2002. Also, Technical Report, TR02-002, Parasol Laboratory, Department of Computer Science, Texas A&M University, Jan 2002.
Journal(pdf, ppt, abstract) Proceedings(ps, pdf, ppt, abstract) Technical Report(ps, pdf, ppt, abstract)

Francis Dang, Hao Yu, Lawrence Rauchwerger, "The R-LRPD Test: Speculative Parallelization of Partially Parallel Loops," In Proc. Int. Par. and Dist. Proc. Symp. (IPDPS), Fort Lauderdale, FL, Apr 2002. Also, Technical Report, TR02-001, Department of Computer Science and Engineering, Texas A&M University, College Station, TX, Jan 2002.
Proceedings(ps, pdf, abstract) Technical Report(ps, pdf, abstract)

Francis Dang, Hao Yu, Lawrence Rauchwerger, "The R-LRPD Test: Speculative Parallelization of Partially Parallel Loops," In Proc. Int. Par. and Dist. Proc. Symp. (IPDPS), Fort Lauderdale, FL, Apr 2002. Also, Technical Report, TR02-001, Department of Computer Science and Engineering, Texas A&M University, College Station, TX, Jan 2002.
Proceedings(ps, pdf, abstract) Technical Report(ps, pdf, abstract)

Francis Dang, Lawrence Rauchwerger, "Speculative Parallelization of Partially Parallel Loops," In Wkshp. on Lang. Comp. and Run-time Sys. for Scal. Comp. (LCR)., Rochester, New York, USA, May 2000.
Proceedings(ps, pdf, abstract)

Ye Zhang, Lawrence Rauchwerger, Josep Torrellas, "Hardware for Speculative Parallelization of Partially-Parallel Loops in DSM Multiprocessors," In Proc. High Performance Computer Architecture (HPCA), pp. 135-141, Orlando, FL, 1999.
Proceedings(ps, pdf)

Hao Yu, Lawrence Rauchwerger, "Techniques for Reducing the Overhead of Run-time Parallelization," In Int. Conf. Compiler Construction (CC), pp. 232, Berlin, Germany, Mar 2000.
Proceedings(ps, pdf, abstract)

Hao Yu, Lawrence Rauchwerger, "Run-time Parallelization Optimization Techniques," In Wkshp. on Lang. and Comp. for Par. Comp. (LCPC), San Diego, CA, Aug 1999.
Proceedings(ps, pdf, abstract)

Devang Patel, Lawrence Rauchwerger, "Principles of Speculative Run-time Parallelization," In Wkshp. on Lang. and Comp. for Par. Comp. (LCPC), Chapel Hill, NC, Aug 1998.
Proceedings(ps, pdf, abstract)

Lawrence Rauchwerger, Nancy M. Amato, David A. Padua, "A Scalable Method for Run-Time Loop Parallelization," In Proc. ACM Int. Conf. Supercomputing (ICS), pp. 137-146, Barcelona, Spain, Jul 1995. Also, International Journal of Parallel Programming, 23(6):537-576, 1995.
Proceedings(ps, pdf, abstract)

Lawrence Rauchwerger, Nancy M. Amato, David A. Padua, "Run-Time Methods for Parallelizing Partially Parallel Loops," In Proc. ACM Int. Conf. Supercomputing (ICS), pp. 137-146, Barcelona, Spain, Aug 1995.
Proceedings(ps, pdf, abstract)

Lawrence Rauchwerger, David Padua, "Parallelizing While Loops for Multiprocessor Systems," In Proc. IEEE Int. Par. Proc. Symp. (IPPS), pp. 347-356, Santa Barbara, CA, Apr 1995. Also, Technical Report, 1349, Center for Supercomputing Research & Development, University of Illinois, Urbana-Champaign, IL, Oct 1994.
Proceedings(ps, pdf, abstract) Technical Report(ps, pdf, abstract)

Lawrence Rauchwerger, David Padua, "The LRPD Test: Speculative Run-Time Parallelization of Loops with Privatization and Reduction Parallelization," In Prog. Lang. Design and Implementation (PLDI), pp. 218-232, La Jolla, CA, Jun 1995.
Proceedings(ps, pdf, abstract)

Lawrence Rauchwerger, David Padua, "The Privatizing DOALL Test: A Run-Time Technique for DOALL Loop Identification and Array Privatization," Technical Report, 1383, Center for Supercomputing Research & Development, University of Illinois, Oct 1994. Also, In Proc. ACM Int. Conf. Supercomputing (ICS), pp. 33-43, Manchester, England, Jul 1994.
Technical Report(ps, pdf, abstract) Proceedings(ps, pdf, abstract)