Hi guys, In next three years I'm going to get the scientific degree in System programming. That's why I'm looking for the interesting and actual theme not like a new bicycle with square rings. My degree work in university was connected with value range propagation (VRP) functionality in clang static analyzer based on AST. I founded it rather interesting and want to follow this direction with your project. As i know, VRP is a not new theme, and llvm and gcc projects already have the similar feature. It would be nice, if you suggest me good theme or give me the area where I could find it. -- Best regards, Sergey -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20120526/a89638cc/attachment.html>
Serg Anohovsky <serg.anohovsky at gmail.com> writes: [snip]> It would be nice, if you suggest me good theme or give me the area where I > could find it.Have you looked at http://www.llvm.org/OpenProjects.html ?
Hi Guys, I checked the open projects on LLVM site, and superoptimizer theme seems to be quite interesting for me. So im going to write the LLVM superoptimizer (http://theory.stanford.edu/~aiken/publications/papers/asplos06.pdf) :) Is this theme still actual? Could you please advise me some usefull articles? -- Best regards, Sergey 2012/5/26 Serg Anohovsky <serg.anohovsky at gmail.com>:> Hi guys, > > In next three years I'm going to get the scientific degree in System > programming. > That's why I'm looking for the interesting and actual theme not like a new > bicycle with square rings. > My degree work in university was connected with value range propagation > (VRP) functionality in clang static analyzer based on AST. > I founded it rather interesting and want to follow this direction with your > project. > As i know, VRP is a not new theme, and llvm and gcc projects already have > the similar feature. > > > It would be nice, if you suggest me good theme or give me the area where I > could find it. > > -- > Best regards, > Sergey >
Hi Sergey,> I checked the open projects on LLVM site, and superoptimizer theme > seems to be quite interesting for me. So im going to write the LLVM > superoptimizer (http://theory.stanford.edu/~aiken/publications/papers/asplos06.pdf) > :) Is this theme still actual? Could you please advise me some usefull > articles?there already is a super-optimizer, though it could do with some more work. Check it out at svn://topo.math.u-psud.fr/harvest See also my talk at the last US LLVM developers meeting. Ciao, Duncan.> -- > Best regards, > Sergey > > 2012/5/26 Serg Anohovsky<serg.anohovsky at gmail.com>: >> Hi guys, >> >> In next three years I'm going to get the scientific degree in System >> programming. >> That's why I'm looking for the interesting and actual theme not like a new >> bicycle with square rings. >> My degree work in university was connected with value range propagation >> (VRP) functionality in clang static analyzer based on AST. >> I founded it rather interesting and want to follow this direction with your >> project. >> As i know, VRP is a not new theme, and llvm and gcc projects already have >> the similar feature. >> >> >> It would be nice, if you suggest me good theme or give me the area where I >> could find it. >> >> -- >> Best regards, >> Sergey >> > _______________________________________________ > LLVM Developers mailing list > LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu > http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev