search for: socghop

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: Eliminating Array Bounds Checks on Demand http://socghop.appspot.c...

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 http://socghop.appspot.com/gsoc/student_proposal/private/google/gsoc2010/easyqiu/t126993884556 ABCD: Eliminating Array Bounds Checks on Demand http://socghop.a...

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: - Integrate/support Google''s open source Marker Manager to be used w...

...ode 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: http://socghop.appspot.com/gsoc/student_proposal/show/google/gsoc2010/easyqiu/t127038894856 2010-04-07 yiqiuping1986 发件人： John Criswell 发送时间： 2010-03-30 22:42:53 收件人： John Regehr 抄送： 易秋萍; llvmdev at cs.uiuc.edu 主题： Re: [LLVMdev]summer_of_code_idea_―_checking_bounds_overflow_bugs John Regehr wrot...

Hi, 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? -- Kasra :-D

...r 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 http://socghop.appspot.com/org/show/google/gsoc2009/llvm for more details like application requirements, etc. -- With best regards, Anton Korobeynikov Faculty of Mathematics and Mechanics, Saint Petersburg State University

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 proposals. Pl...

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 the llvm application here: http://socghop.appspot.com/org/show/google/gsoc2010/llvm Thank you and good luck! -- With best regar...

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. :)student_proposal/show/google/gsoc2010/wuwei_gucas/t126994250880<http://socghop.appspot.com/gsoc/student_proposal/show/google/gsoc2010/wuwei_gucas/t126994250880> All comments are welc...

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

...nt solving). > 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: > http://socghop.appspot.com/gsoc/student_proposal/show/google/gsoc2010/easyqiu/t127038894856 Looking back at my previous email, I see that I was unclear. SAFECode, as a whole, is up-to-date with LLVM. However, it is missing its static array bounds checking pass (because that specific pass has not been maintained)...

Hi, guys I am Wenjin from Graduate School of Chinese Academy of Science, pursing a master degree and my current research interests including using Data mining and Information retrieve technology to analysis software engineering (SE) data and support SE. I have great interested in "Weight Schemes" project. and in the last few days I have learnt some detail about DFR model family by

...ought 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 > http://socghop.appspot.com/org/show/google/gsoc2009/llvm for more > details like application requirements, etc. Also I think it was agreed that we would not accept applications from students who have never contributed to LLVM in any way. So, if you want to be a GSoC LLVM student, rummage through the bugrepor...

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

...il should answer the questions that you collectively asked. Please forgive this bulk reply - there are simply too many of you to reply to individually. If I have failed to answer your question, please feel free to email me again. If you haven't already done so, please read the GSoC FAQ: http://socghop.appspot.com/document/show/program/google/gsoc2009/faqs Here are the answers to your questions: 1. Applications Quite a few of you sent applications to participate to me directly. I'm not able to act on these unless they are made though the application tool on the GSoC website http://socghop....

Hi, I am a PhD student interested in participating in GSoC09. Being compilers my area of research, LLVM had got my attention until I read this last post: http://lists.cs.uiuc.edu/pipermail/llvmdev/2009-March/021060.html I would like if one of the official LLVM Developers (http://llvm.org/developers.cgi) could confirm this. I understand if you are looking for students who can hit the ground

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 contribute to LLVM prio...

Hi all, I would like to participate in Google's Summer of Code this year, for LLVM(Polly), The polyhedral optimization framework ( http://wiki.llvm.org/Polyhedral_optimization_framework ) which i am already working on with Tobias. Polly is a polyhedral optimization framework for llvm, which similar to Graphite for gcc (http://gcc.gnu.org/wiki/Graphite). The main work flow of Polly is:

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> writ...

I finally submitted my student proposal. I'm waiting for Daniel's comments or who may have some interest. http://socghop.appspot.com/gsoc/student_proposal/show/google/gsoc2010/landir/t127048637762 -- Lucas da Costa Silva @landir -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20100407/1b6dbe47/attachment.html>