Reading group - performance optimisation of component-based software

For ideas for future papers have a look here.

THURSDAY 21 OCT 1999:

• Incorporating application semantics and control into compilation
• Dawson Engler
  • First Conference on Domain-specific Languages (Usenix)
  • URL: http://www.pdos.lcs.mit.edu/~engler/magik.ps

THURSDAY 28 OCT 1999:

• Siddhartha Chatterjee, John R. Gilbert, Robert Schreiber and Shang-Hua Teng:
• Automatic Array Alignment in Data-Parallel Programs
  Proceedings of 20th ACM Symposium on Principles of Programming Languages, Charleston, SC, January 1993, pages 16-28. URL: http://www.cs.unc.edu/~sc/

THURSDAY 4 NOV 1999:

• Mateo Frigo,
• "A Fast Fourier Transform Compiler", published in PLDI'99, and
  • URL: http://www.fftw.org/pldi99.ps.gz

THURSDAY 11 NOV 1999:

• Aspect-Oriented Programming and
• Aspect-Oriented Programming of Sparse Matrix Code
  • URL: http://www.parc.xerox.com/spl/groups/eca/pubs/by-topic.html#AOP

THURSDAY 18 NOV 1999:

• "Loop re-ordering and pre-fetching at run-time"
• Suvas Vajracharya and Dirk Griswold (both at Univ of Colorado, Boulder)
  • SC'97.
  • URL: http://www.cs.colorado.edu/~suvas/papers/sc97/paper/paper.ps

THURSDAY 25 NOV 1999: no meeting.

THURSDAY 2 DEC 1999:

• We will be reading about KeLP; see http://www-cse.ucsd.edu/~baden/HomePage/publications.html

• S. J. Fink, S. R. Kohn, and S. B. Baden.
• Efficient Run-time Support for Irregular Block-Structured Applications
  • J. Parallel and Distributed Computing, 50(1-2), April-May 1998, pp. 61-82.
  • See the above web page or ftp.cs.ucsd.edu/pub/scg/papers/1998/kelp_jpdc98.ps.gz

• S. B. Baden and S. J. Fink The Data Mover: A Machine-Independent Abstraction for Managing Customized Data Motion, LCPC '99, La Jolla, CA, 1999.
  • ftp://ftp.cs.ucsd.edu/pub/scg/papers/1999/lcpc99.ps

THURSDAY 9 DEC 1999:

• Ownership types for flexible alias protection
• Clarke, Potter, Noble
  • Proceedings of the conference on Object-oriented programming, systems, languages, and applications October 18 - 22, 1998, Vancouver Canada
  • Url: http://www.acm.org/pubs/citations/proceedings/oops/286936/p48-clarke/

THURSDAY 16 DEC 1999:

• Type Systems for Distributed Data Structures A Aiken and B Biblit
  • ACM Symposium on Principles of Programming Languages, to appear, January 2000
  • URL: http://www.cs.berkeley.edu/~aiken/publications/papers/popl00a.ps

THURSDAY 13 JAN 2000:

• Architecture-cognizant divide-and-conquer algorithms
• Kang Su Gatlin and Larry Carter
  • In SuperComputing'99 (http://www.sc99.org), Winner of the Best Student Paper prize.
  • Kang Su has produced a "Director's Cut" which can be found at http://www.cs.ucsd.edu/~kgatlin/papers/sc99director.ps.gz

THURSDAY 20 JAN 2000:

• `` Parallelization of a Dynamic Unstructured Application using Three Leading Paradigms'',
• L Oliker and R Biswas
  • Supercomputing '99
  • URL: http://www.nersc.gov/~oliker/paperlinks.html

THURSDAY 27 JAN 2000:

• Interprocedural Analyses of Fortran Programs,
• Beatrice Creusillet, Francois Irigoin, June 1997.
  • In: Journal on Parallel Computing, Vol.24, No.3-4, pp. 629-648.
  • URL: http://cri.ensmp.fr/~irigoin/bibliography.html

THURSDAY 3 FEB 2000:

• We decided that next Thursday we will look at recent work on component-based scientific and high-performance computing. The first paper is:
• "Toward a Common Component Architecture for High-Performance Scientific Computing".
• Rob Armstrong, Dennis Gannon, Al Geist, Katarzyna Keahey, Scott Kohn, Lois McInnes, Steve Parker, Brent Smolinski
• Argonne National Laboratory, Mathematics and Computer Science Division Preprint P759
  • URL: http://www.extreme.indiana.edu/~gannon/cca_paper.pdf or ftp://info.mcs.anl.gov/pub/tech_reports/reports/P759.ps.Z
  This is a little thin in some respects and I would like to encourage you to have a look at a second paper:
  • An XML Based Component Model for Generating Scientific Applications and Performing Large Scale Simulations in a Meta-Computing Environment
  • O. F. Rana, M. Li, D. W. Walker, and M. S. Shields.
  • In Proceedings of the First International Symposium on Generative and Component-Based Software Engineering. Erfurt, Germany, September 28-30, 1999.
  • URL: http://www.cs.cf.ac.uk:8008/User/David.W.Walker/PSES/gcse99.html

THURSDAY 10 FEB 2000:

• 'Towards Automatic Specialization of Java Programs'.
• Ulrich Pagh Schultz, Julia L Lawall, Charles Consel, Gilles Muller
  • IRISA Publication Interne No 1216 (also appears to have been published in ECOOP'99)
  • URL: ftp://ftp.irisa.fr/techreports/1998/PI-1216.ps.gz

• 'A uniform approach for compile-time and run-time specialization'.
• C. Consel, L. Hornof, F. Noel, J. Noy'e, and E.N. Volanschi,
  • In O. Danvy, R. Gluck, and P. Thiemann, editors, Partial Evaluation, International Seminar, Dagstuhl Castle, number 1110 in Lecture Notes in Computer Science, pages 54--72, February 1996.
  • URL: http://www.irisa.fr/EXTERNE/projet/lande/consel/papers/tempo-tr96.ps.gz

THURSDAY 17 FEB 2000:

• "An Evaluation of Staged Run-time Optimizations in DyC".
• B. Grant, M. Philipose, M. Mock, C. Chambers, and S. Eggers. (Department of Computer Science and Engineering University of Washington).
  • In the proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), May 1999, pp. 293-304.
  • URL: http://www.cs.washington.edu/research/dyncomp/Papers/pldi99-abstract.html PRINT THE PDF NOT THE BROKEN POSTSCRIPT
  Again, I am going to suggest another paper to have a quick look at as well:
• "Annotation-Directed Run-Time Specialization in C".
• B. Grant, M. Mock, M. Philipose, C. Chambers, and S.J. Eggers. (Department of Computer Science and Engineering University of Washington)
  • In the proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semant ics-Based Program Manipulation (PEPM), June 1997.
  • URL: http://www.cs.washington.edu/research/dyncomp/Papers/pepm97-abstract.html

THURSDAY 24 FEB 2000

• "Efficient incremental run-time specialisation for free".
• Renaud Marlet, Charles Consel and Phillipe Boinot.
  • In ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI '99), Atlanta, Georgia, USA, May 1999.
  • URL: http://www.irisa.fr/compose/papers/incrpe.ps.gz

THURSDAY 2 MARCH 2000

• "Accurate Binding-Time Analysis for Imperative Languages: Flow, Context, and Return Sensitivity"
• L. Hornof and J. Noye
  • To appear in the Journal of Theoretical Computer Science (TCS), 1999.
  • URL: http://www.irisa.fr/compose/papers/bta-sens-jtcs.ps.gz

• "Application-Level Scheduling on Distributed Heterogeneous Networks"
• Fran Berman, Richard Wolski, Silvia Figueira, Jennifer Schopf, and Gary Shao
  • In Proceedings of Supercomputing 1996
  • URL: http://apples.ucsd.edu/pubs/sup96.ps

• "An end-to-end QoS management architecture".
• Mallikarjun Shankar, Miguel DeMiguel, and Jane W. S. Liu.
  • In Real-Time Applications Symposium, June 1999
  • URL: http://pertsserver.cs.uiuc.edu/papers/ShDeLi99.ps

• "Efficient Microarchitecture Modeling and Path Analysis for Real-Time Software"
• Yau-Tsun Steven Li, Sharad Malik and Andrew Wolfe
  • In Proceedings of the IEEE Real-Time Systems Symposium, December, 1995, pp. 298 - 307.
  • URL (publication list): http://www.ee.princeton.edu/~yauli/publication.html URL (the paper): ftp://ftp.ee.princeton.edu/pub/yauli/rtss96.ps.gz

THURSDAY 30 MARCH 2000 - no meeting

THURSDAY 6 APRIL 2000

• Automatically Tuned Linear Algebra Software
• R. Clint Whaley Jack J. Dongarra
  • Technical Report UT CS-97-366, LAPACK Working Note No.131, University of Tennessee, 1997.
  • URL: http://www.cs.utk.edu/~rwhaley/DLOAD/atlas_sc98.ps

• Optimizing Matrix Multiply Using PhiPAC: A Portable, High Performance, ANSI C Coding Methodology
• J. Bilmes and K. Asanovic and C.-W. Chin and J. Demmel
  • Proceedings of the 11th International Conference on Supercomputing (ICS-97), pp. 340-347, ACM Press, July 7-11 1997.
  • URL: http://citeseer.nj.nec.com/bilmes96optimizing.html

• "Run-time recognition of task parallelism within the P++ parallel array class library"
• Parsons, R.; Quinlan, D.
  • In Proceedings of the Scalable Parallel Libraries Conference, 1993
  • Available from IEEE on-line library or email Paul Kelly for a copy

THURSDAY 20 APRIL 2000 - no meeting

THURSDAY 27 APRIL 2000 - no meeting

THURSDAY 4 MAY 2000

• Compiler transformations for high-performance computing
• David F. Bacon, Susan L. Graham and Oliver J. Sharp
  • ACM Computing Surveys, Volume 26 , Issue 4 (1994), Pages 345-420
  • URL: http://www.acm.org/pubs/citations/journals/surveys/1994-26-4/p345-bacon/
  (This paper is rather large; I suggest this time we concentrate on the first half, in particular sections 5 and 6).

• ``Localizing Non-affine Array References'',
• Nick Mitchell, Larry Carter, and Jeanne Ferrante,
  • PACT '99, October 1999.
  • URL: http://www-cse.ucsd.edu/users/carter/ppbib.html

1. M. Weinhardt and W. Luk, 
   Pipeline vectorization for reconfigurable systems
   In Proc. IEEE Symposium on Field-Programmable Custom Computing Machines,
     K.L. Pocek and J. Arnold (editors), IEEE Computer Society Press, 1999. 
   URL: http://citeseer.nj.nec.com/did/239541
   

2. Nick Mitchell, Larry Carter, and Jeanne Ferrante, ``Localizing Non-affine Array References'', PACT '99, October 1999.
   http://www-cse.ucsd.edu/users/carter/ppbib.html
   

3. Michael J. Voss and Rudolf Eigenmann
   ADAPT: Automated De-Coupled Adaptive Program Transformation
   Submitted for Publication. 1999.  Purdue Univ. School of ECE,
     High-Performance Computing Lab, ECE-HPCLab-99209.
   URL: http://yake.ecn.purdue.edu/~mjvoss/pubs.html
   

4. Runtime Coupling of Data-parallel Programs
   M. Ranganathan, A. Acharya, G. Edjlali, A. Sussman and J. Saltz ICS'96 
   http://www.cs.umd.edu/~acha/papers/ics96coupling.html
   

5. Deferred Data-Flow Analysis
   Shamik Sharma, Anurag Acharya and Joel Saltz 
   URL = http://cs-tr.cs.cornell.edu:80/Dienst/UI/1.0/Display/ncstrl.ucsb_cs/TRCS98-38