Sapha: Static Approximate Phase Analysis.
These pages describe work carried out on design implementation, and applications of a technique that we call static approximate phase analysis. The PI is Hridesh Rajan and much of the work is carried out by Tyler Sondag.
NewsJanuary 2010: Tutorial on Frances tool accepted for CCSC 2010. New October 2009: Paper on Frances tool accepted for SIGCSE 2010. August 2009: Technical Report: Frances: A Tool For Understanding Code Generation , ISU, 2009. July 2009: Technical Report: A Theory of Reads and Writes for Multi-level Caches , ISU, 2009. March 2009: Technical Report: Phase-guided Auto-Tuning for Improved Utilization of Performance-Asymmetric Multicore Processors , ISU, 2009. February 2009: Tyler's paper accepted for IWMSE 2009. July 2007: Tyler and Viswanath's paper accepted for PLOS 2007. |
Frances: A Tool For Understanding Code GenerationTyler Sondag, Kian L. Pokorny, and Hridesh RajanAbstractCompiler and programming language implementation courses are integral parts of many computer science curricula. However, the range of topics necessary to teach in such a course are difficult for students to understand and time consuming to cover. In particular, code generation is a confusing topic for students unfamiliar with low level target languages. We present Frances, a tool for helping students understand code generation and low level languages. The key idea is to graphically illustrate the relationships between high level language constructs and low level (assembly) language code. By illustrating these relationships, we take advantage of the students existing understanding of some high level language. We have used Frances in a compiler design course and received highly positive feedback. Students conveyed to us that Frances significantly helped them to understand the concepts necessary to implement code generation in a compiler project. Bibliographic Information
@inproceedings{Sondag-Pokorny-Rajan-10, Most recent paper version: PDF Presentation: PDF Previous version appeared as Technical Report 09-21, Computer Science, Iowa State University, August 24, 2009. [PDF] Link to the tool: Frances |
Department of Computer Science, sondag@cs.iastate.edu.
Copyright © 2010, Iowa State University of Science and Technology. All rights reserved.
This material is based upon work supported by the National Science Foundation under Grant No. 0540362. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.