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.

News

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.

Publications Related to the SAPHA Project


Refereed Conference Papers


Tyler Sondag and Hridesh Rajan "Phase-based Tuning for Better Utilization of Performance-Asymmetric Multicore Processors.," CGO '11: International Symposium on Code Generation and Optimization, April 2011

Tyler Sondag, Kian L. Pokorny, and Hridesh Rajan "Frances-A: A Tool for Architecture Level Program Visualization," Journal of Computing Sciences at Small Colleges, Consortium for Computing Sciences in Colleges -- Central Plains, April 2011

Tyler Sondag and Hridesh Rajan "A More Precise Abstract Domain For Multi-level Caches for Tighter WCET Analysis," RTSS '10: The 31st IEEE Real Time Systems Symposium, November 2010

Tyler Sondag, Kian L. Pokorny, and Hridesh Rajan "Frances: A Tool For Understanding Code Generation," SIGCSE '10: The 41st ACM Technical Symposium on Computer Science Education, Milwaukee, WI, March 2010



Invited Talks


Tyler Sondag and Hridesh Rajan "Phase-based Tuning for Better Utilization of Performance-Asymmetric Multicore Processors.," SMART '11: Workshop on Statistical and Machine Learning Approaches to Architecture and Compilation, April 2011



Refereed Workshop Papers


Tyler Sondag and Hridesh Rajan, "Phase-guided Thread-to-core Assignment for Improved Utilization of Performance-Asymmetric Multi-Core Processors ,"IWMSE '09: Proceedings of the 2nd International Workshop on Multicore Software Engineering, Vancouver, Canada, May 2009

Tyler Sondag, Viswanath Krishnamurthy, and Hridesh Rajan, "Predictive Thread-to-Core Assignment on a Heterogeneous Multi-core Processor ," PLOS '07: ACM SIGOPS 4th Workshop on Programming Languages and Operating Systems, Skamania Lodge, Stevenson, Washington, USA, Oct 2007.



Refereed Tutorials


Kian L. Pokorny, Tyler Sondag, and Hridesh Rajan, "Connecting High-Level Programming Constructs to Assembly Language Using Frances ,"CCSC '10: Consortium for Computing Sciences in Colleges, Parkville, Missouri, April 2010



Technical Reports


Tyler Sondag, Kian L. Pokorny and Hridesh Rajan, "Frances-A: A Tool For Easy Realistic Architecture Level Program Visualization". Technical Report 10-08, Computer Science, Iowa State University, September 2010 [PDF].

Tyler Sondag, Kian L. Pokorny and Hridesh Rajan, "Frances: A Tool For Understanding Code Generation". Technical Report 09-21, Computer Science, Iowa State University, August 2009 [PDF].

Tyler Sondag and Hridesh Rajan, "A Theory of Reads and Writes for Multi-level Caches". Technical Report 09-20, Computer Science, Iowa State University, July 2009 [PDF].

Tyler Sondag and Hridesh Rajan, "Phase-guided Auto-Tuning for Improved Utilization of Performance-Asymmetric Multicore Processors". Technical Report 08-14a, Computer Science, Iowa State University, March 2009 [PDF].

Tyler Sondag and Hridesh Rajan, "Phase-guided Thread-to-core Assignment for Improved Utilization of Performance-Asymmetric Multi-Core Processors". Technical Report 08-14, Computer Science, Iowa State University, January 2009 [PDF].

Viswanath Krishnamurthy, Tyler Sondag, and Hridesh Rajan, "Predictive Thread-to-Core Assignment on a Heterogeneous Multi-core Processor," Technical Report 07-10, Computer Science, Iowa State University, July 2007 [PDF].