<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META content="text/html; charset=us-ascii" http-equiv=Content-Type>
<META name=GENERATOR content="MSHTML 8.00.6001.18828"><LINK rel=stylesheet
href="BLOCKQUOTE{margin-Top: 0px; margin-Bottom: 0px; margin-Left: 2em}"></HEAD>
<BODY style="MARGIN: 10px; FONT-FAMILY: verdana; FONT-SIZE: 10pt">
<DIV><FONT size=2 face=Verdana>
<DIV><FONT size=2 face=Verdana>Hi,</FONT></DIV>
<DIV> </DIV>
<DIV>Here are my submitted proposals, and they are still in
progress.</DIV>
<DIV>Wellcome your comments, if you have some interest in the topics.</DIV>
<DIV> </DIV>
<DIV>Update the SAFCode project to the new LLVM API</DIV>
<DIV><A
href="http://blog.csdn.net/yiqiuping/archive/2010/04/06/5453367.aspx">http://blog.csdn.net/yiqiuping/archive/2010/04/06/5453367.aspx</A>
</DIV>
<DIV> </DIV>
<DIV>Check bounds overflow bugs in C programs based on LLVM</DIV>
<DIV><A
href="http://blog.csdn.net/yiqiuping/archive/2010/04/06/5453368.aspx">http://blog.csdn.net/yiqiuping/archive/2010/04/06/5453368.aspx</A>
</DIV>
<DIV> </DIV>
<DIV>ABCD: Eliminating Array Bounds Checks on Demand </DIV>
<DIV><A
href="http://blog.csdn.net/yiqiuping/archive/2010/04/06/5453348.aspx">http://blog.csdn.net/yiqiuping/archive/2010/04/06/5453348.aspx</A>
</DIV>
<DIV> </DIV>
<DIV> </DIV></FONT></DIV>
<DIV><FONT size=2 face=Verdana></FONT> </DIV>
<DIV align=left><FONT color=#c0c0c0 size=2 face=Verdana>2010-04-06
</FONT></DIV><FONT size=2 face=Verdana>
<HR style="WIDTH: 122px; HEIGHT: 2px" align=left SIZE=2>
<DIV><FONT color=#c0c0c0 size=2 face=Verdana><SPAN>yiqiuping1986</SPAN>
</FONT></DIV></FONT></BODY></HTML>