similar to: [LLVMdev] GSoC - LLVM's testing infrastructure

Hi, I am sorry that just now I give the wrong URL which is a private mood. The next URLs are right: Update the SAFCode project to the new LLVM API http://socghop.appspot.com/gsoc/student_proposal/show/google/gsoc2010/easyqiu/t127038894856 Check bounds overflow bugs in C programs based on LLVM http://socghop.appspot.com/gsoc/student_proposal/show/google/gsoc2010/easyqiu/t126993884556 ABCD:

Hi, Here are my submitted proposals, and they are still in progress. Wellcome your comments, if you have some interest in the topics. Update the SAFCode project to the new LLVM API http://socghop.appspot.com/gsoc/student_proposal/private/google/gsoc2010/easyqiu/t127038894856 Check bounds overflow bugs in C programs based on LLVM

Hi, My proposal is here.(I've sent a link yesterday but it was a 'private' link.sorry for that mistake.) http://socghop.appspot.com/gsoc/I've sent a link yesterday but it was a 'private' link.sorry for that mistake.

Here's my SoC 2010 proposal. I submitted it a long time ago (last week, to be precise), but didn't post it to the list. You can review it here: http://socghop.appspot.com/gsoc/student_proposal/show/google/gsoc2010/cdavis/t127000394358 Chip

yiqiuping1986 wrote: > Hi， John Criswell！ > You have said to me that SAFECode had not been maintained for several > years, Just to clarify, SAFECode *has* been and *is* maintained (primarily by me). The release_26 branch in the SVN repository works with LLVM 2.6, and mainline is working (with some regressions) with the upcoming LLVM 2.7. You can subscribe to the SVA Commits mailing list

Hi, I have summit my proposal three days ago.It can be found here if you interest. http://socghop.appspot.com/gsoc/student_proposal/private/google/gsoc2010/wuwei_gucas/t126994250880 All comments are welcome. Details about my idea are not available now.I'll keep improving my proposal until the deadline. When I reading the docs<http://llvm.org/releases/2.6/docs/AliasAnalysis.html>

Hi, I commit my proposal titled �Maintain the Array Bound checking pass of the SAFECode Project�. Wellcome your comments, if you are interested in the topic. My proposal URL is http://socghop.appspot.com/gsoc/student_proposal/show/google/gsoc2010/easyqiu/t127038894856 2010-04-08 yiqiuping1986 -------------- next part -------------- An HTML attachment was scrubbed... URL:

Hello all, I submit my proposal “C Compiler for EFI Byte Code implement in LLVM”. Welcome your comments, if you are interested in the topic. My proposal URL is http://socghop.appspot.com/gsoc/student_proposal/show/google/gsoc2010/yi_hong/t127072960971 thanks yi-hong

Hello all, I have made a big modification of my proposal “Implementing a C Compiler for EFI Byte Code using LLVM”. Welcome your comments, if you are interested in the topic. My proposal URL is http://socghop.appspot.com/gsoc/student_proposal/show/google/gsoc2010/yi_hong/t127072960971 thanks yi-hong

Hi， John Criswell！ You have said to me that SAFECode had not been maintained for several years, now I have submitted my proposal for updating the SAFCode project to the new LLVM APIs. If you are still interested in the topic and willing to guid my project, I will be very happy. Now I'm waiting for you comments. Here is my proposal:

Hi, John I have modified my proposal based on your suggestion. Wellcom your comments! The URL of my proposal is: http://socghop.appspot.com/gsoc/student_proposal/private/google/gsoc2010/easyqiu/t127038894856 Best Regards! Qiuping 2010-04-08 yiqiuping1986 -------------- next part -------------- An HTML attachment was scrubbed... URL:

Dear prospective GSoC students! I want to inform that this year LLVM participates in the Google Summer of Code program. The application period for GSOC begins on March 29th (check the detailed program timeline at http://socghop.appspot.com/document/show/gsoc_program/google/gsoc2010/faqs#timeline). Now it's a good time to discuss would-be projects on the relevant mailing lists. You can find

Hi, all. I have submitted my application just now. it's at: http://socghop.appspot.com/student_proposal/show/google/gsoc2009/aleaxander/t123783762744 Thanks. -- regards liu Aleaxander

John Regehr wrote: > Qiuping, > > Have you looked at what has already been done? I would expect that taking > previous work such as this: > > http://llvm.org/pubs/2006-05-24-SAFECode-BoundsCheck.html > > and integrating into current LLVM would be a better idea than starting > over. > This code is publicly available from the SAFECode project (see

Hello > I am wondering about the status of GSoc this year. The mailing list seems to be rather quiet on the topic. Has anyone thought of project ideas? We just received confirmation that LLVM was accepted for this year GSoC. The ideas list, as usual, is placed at http://llvm.org/OpenProjects.html (it also contains links to subproject's ideas pages). Please consider looking into

Google Summer of Code has announced the opening of applications for Mentor organizations. Pamela Fox mentioned awhile ago that Mapstraction may be a good fit. http://socghop.appspot.com/ I would like to brainstorm if we have identifiable projects, and preferably even interested students, that would like to work together on putting in some applications. A couple of initial possibilities: -

> > I am wondering about the status of GSoc this year. The mailing list seems to be rather quiet on the topic. Has anyone thought of project ideas? > We just received confirmation that LLVM was accepted for this year GSoC. > The ideas list, as usual, is placed at > http://llvm.org/OpenProjects.html (it also contains links to > subproject's ideas pages). > > Please

The application period for GSOC is now open (as of March 23rd). You can find the llvm application here: http://socghop.appspot.com/org/show/google/gsoc2009/llvm All the information is on that page, but here are a couple of things you should be aware of. - All applications should be discussed on the mailing list before submitting your application. - It is suggested (not required!) that you

Dear all, The information about accepted projects for this year was just announced. Please look at http://socghop.appspot.com/org/home/google/gsoc2009/llvm for comprehensive list of them. SoC students: first of all, I would like to congratulate you with acceptance of your proposals! You did great job answering to comments and refining your proposals! Now it seems you can update the texts of your

>>> I am wondering about the status of GSoc this year. The mailing list seems to be rather quiet on the topic. Has anyone thought of project ideas? >> We just received confirmation that LLVM was accepted for this year GSoC. >> The ideas list, as usual, is placed at >> http://llvm.org/OpenProjects.html (it also contains links to >> subproject's ideas pages).