<div dir="ltr">Hello, it may a bit too late.<div>I want to join gsoc 2013 and my proposal is to do static analyze on gpu programming, such as CUDA.<br>Recently, I have been studying materials relating to SSA, data flow analysis, fixed point theory and etc under the instruction of one of the Ph.D in UIUC.</div>

<div style>After discuss with him, we came up this proposal.</div><div style>I think I can do this well because I am also familiar with many algorithms on graph, such as scc. (I'm a contestant of ACM ICPC in my school.)</div>

<div style><br></div><div style>Wish we can discuss more.</div><div style><br></div><div style>Sincerely.</div><div style><br></div><div style>Yun-Wei Lee</div></div>