[cfe-dev] [LLVMdev] Potential Google Summer of Code Applicant

John Regehr regehr at cs.utah.edu
Tue Apr 3 21:26:04 PDT 2012

Hi David et al.,

We could certainly use help in writing reducer passes for C++.  My student 
Yang Chen has just (in the past 2 weeks or so) launched into doing these, 
but there's definitely enough work for more people.

I would certainly be willing to help supervise reducer work if it got 
approved as a GSoC project.

If, in some ideal world, it became possible to free up Yang to work on 
other things, I would ask if he wanted to work on a random C++ program 
generator (C++smith or whatever).  My sense is this would be pretty useful 
for the LLVM and GCC commnities.


On Tue, 3 Apr 2012, David Blaikie wrote:

> On Tue, Apr 3, 2012 at 11:37 AM, Jim Grosbach <grosbach at apple.com> wrote:
>> On Apr 2, 2012, at 3:07 AM, Anton Korobeynikov <anton at korobeynikov.info> wrote:
>>>> Ah OK. I would have loved to have such a tool, but as a non-clang
>>>> expert, I can obviously not judge if it is suited. Maybe you are aware
>>>> of other projects suitable for GSoC,
>>> But still many things in "Use clang libraries to implement better
>>> versions of existing tools" are doable as it seems to me. E.g. delta
>>> replacement based on clang.
>> +1 as a would-be user of a tool like that.
> Actually John Regehr & others have implemented something like this
> called CReduce ( https://github.com/csmith-project/creduce ). It's
> still a little limited in its C++ transformation abilities but seems
> to provide a fairly extensible foundation & is already proving quite
> useful. I'm not sure whether there's sufficient meat in there for a
> GSoC project to improve CReduce's abilities in C++ (or other
> dimensions) - but there's certainly some open work there, it seems.
> - David
>>> --
>>> With best regards, Anton Korobeynikov
>>> Faculty of Mathematics and Mechanics, Saint Petersburg State University
>>> _______________________________________________
>>> cfe-dev mailing list
>>> cfe-dev at cs.uiuc.edu
>>> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
>> _______________________________________________
>> cfe-dev mailing list
>> cfe-dev at cs.uiuc.edu
>> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev

More information about the cfe-dev mailing list