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.
NewsOctober 2009: Paper on Frances tool accepted for SIGCSE 2010. New 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. |
Tools developed for the SAPHA projectAs part of the SAPHA project, we are developing several tools. The original purpose of these tools was to carry out our experiments. Along the way we have found other uses for these tools. Frances: Control flow graph generator (web based)This web tool generates a control flow graph from given source code. Each node in the graph is shown with its assembly code. Basic static analysis is done to color code the graph for simple control structures. A paper on this tool and its use will be presented at SIGCSE 2010. For more details, see the Frances project website.[SIGCSE '10] |
Department of Computer Science, sondag@cs.iastate.edu.
Copyright © 2009, 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.