search for: student_proposal

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.com/gsoc/student_proposal/show/goog...

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.appspot.com/gsoc/student_proposal/p...

...ed 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 wrote: > Qiuping, > > Have yo...

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 welcome. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-d...

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

...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). What I was suggesting is that, a...

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

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> written by you(Chris) I saw that you h...

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>

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: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20100408/b6065f64/attachment.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: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20100408/9970ad35/attachment.html>

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

Dear prospective GSoC Students! Please note, that you won't receive any reviews of your proposals from SoC webapp automatically. You **need to explicitly** subscribe for them. Please do it now and respond to requests / comments already made in some of applications. Thanks! -- With best regards, Anton Korobeynikov Faculty of Mathematics and Mechanics, Saint Petersburg State University

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

Dear All, I've been?searching for?appropriate codes to compute the rate of change and the curvature?of ?nonparametric regression model whish was denoted by a smooth function?but?unfortunately?don't manage to?do?it. I presume that such characteristics from a smooth curve can be determined by the first and second derivative operators. The following are the example of fitting a

Dear LLVMers, my name is Douglas, and I would like to participate in the Summer of Code this year. I am currently a Computer Science student at the Federal University of Minas Gerais, Brazil, and I work as a research assistant at the Programming Languages Lab, in that university. I work together with Andre Tavares and Andrei Rimsa, two summer of coders last year, and my advisor is Fernando