[cfe-dev] [LLVMdev] Potential Google Summer of Code Applicant
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
>> cfe-dev mailing list
>> cfe-dev at cs.uiuc.edu
More information about the cfe-dev