SSA form optimization

SSA Form Optimization

To top page

Japanese page

Optimization based on Static Single Assignment (SSA) Form

An example of SSA optimization(1)
An example of SSA optimization(2)

Detailed explanation of SSA form optimization (slide,pdf)
SSA form optimization based on efficient question propagation (slide,pdf)
Lecture given at Tokyo Inst Tech about SSA form optimization (slide,pdf)

Optimization in SSA form - external specification (pdf)

Papers and Presentations

List of Presentations
Paper at SSGRR2003w (pdf)
Presentation at SSGRR2003w (slide,pdf)
Paper at SPA2003 (pdf)
Presentation at SPA2003 (slide,pdf)
Paper at IPSI-2004 Prague (pdf)
Presentation at IPSI-2004 Prague (slide,pdf)

How to use the SSA optimization module
- README(text)

Contact:
Masataka Sassa
Dept. of Mathematical and Computing Sciences, Tokyo Institute of Technology
2-12-1 (-W8-27), Ookayama, Meguro-ku, Tokyo, 152-8552, Japan
mail http://www.is.titech.ac.jp/~sassa/

Copyright 2002-2011 by Coins SSA Group
last change: November 19, 2011