Pp. 39–52 of the Proceedings

Next: Abstract

An Annotation Language for Optimizing Software Libraries¹

Samuel Z. Guyer
The University of Texas at Austin
sammy@cs.utexas.edu, https://www.cs.utexas.edu/users/sammy

Calvin Lin
The University of Texas at Austin
lin@cs.utexas.edu, https://www.cs.utexas.edu/users/lin

• Abstract
• Introduction
• Related Work
• Annotation Language
  • The PLAPACK library
  • Basic annotations
    • on_entry and on_exit
    • access and modify
    • global
  • Advanced annotations
    • property
    • analyze
    • specialize
• The Broadway Compiler
• Results with PLAPACK
  • Performance Evaluation
  • Language Evaluation
    • Simplicity.
    • Separation of Concerns.
    • Generality.
    • Expressiveness.
• Conclusions and Future Work
  • Acknowledgments.
• Bibliography
• Annotation language grammar
  • Overall format
  • Globals and properties
  • Procedures
  • Object structure
  • Definitions and uses
  • Analyze
  • Specialize
• About this document ...