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.


March 2011: Invited talk on phase-based tuning at SMART '11.

December 2010: Paper on Frances-A tool accepted for CCSC 2011.

November 2010: Paper on phase-guided tuning accepted for CGO 2011.

August 2010: Paper on cache analysis accepted for RTSS 2010.

January 2010: Tutorial on Frances tool accepted for CCSC 2010.

October 2009: Paper on Frances tool accepted for SIGCSE 2010.

Frances: A Tool For Understanding Code Generation

Tyler Sondag, Kian L. Pokorny, and Hridesh Rajan


Compiler 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

author = {Tyler Sondag and Kian L. Pokorny and Hridesh Rajan},
title = {Frances: A Tool For Understanding Code Generation},
booktitle = {SIGCSE '10: The 41st ACM Technical Symposium on Computer Science Education},
location = {Milwaukee, WI},
month = {March},
year = {2010},

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