[llvm-dev] [GSoC - 2021] Fix fundamental issues in LLVM IR

[Krishna Kariya via llvm-dev]

Hi,

I’ve submitted my GSoC proposal for the project “Fixing Fundamental Issues
in LLVM IR”. This
<https://docs.google.com/document/d/1J-_ZTkvVeVx4XPCqRt-W8l_-e6cg4KNTuUudJc1PMbY/edit>
is the link to my proposal. Please feel free to suggest changes or ask any
questions.

Regards
Krishna Kariya

On Fri, Apr 9, 2021 at 5:15 PM Nuno Lopes <nunoplopes at sapo.pt> wrote:

> Hi Krishna,
>
>
>
> No particular bug is a priority; they all need fixing 😊
>
> The select->and/or thing has patches under submission, so I would avoid
> that one.
>
>
>
> I suggest you have a look at the proposals accepted in the previous years
> for inspiration. My only suggestion is that you pick one problem and focus
> on it. And show us you understand that issue, and what are the possible
> solutions (high-level).
>
>
>
> Let me know if you have further questions.
>
>
>
> Nuno
>
>
>
>
>
> *From:* Krishna Kariya <krishna17060 at iiitd.ac.in>
> *Sent:* 08 April 2021 19:05
> *To:* llvm-dev at lists.llvm.org; nunoplopes at sapo.pt;
> juneyoung.lee at sf.snu.ac.kr
> *Subject:* [GSoC - 2021] Fix fundamental issues in LLVM IR
>
>
>
> Hello, community and mentors,
>
>
>
> I am Krishna Kariya, a final-year undergraduate student from India. I am
> applying for GSoC-2021 with LLVM for the project “Fix fundamental issues in
> LLVM IR.” I went through the Alive2 related slides and videos (*Video1*
> <https://www.youtube.com/watch?v=_-3Iiads1EM>*, **Video2*
> <https://www.youtube.com/watch?v=iV5jBtE35r4>*, **Video3*
> <https://www.youtube.com/watch?v=paJhdBp_iA4>). I have also briefly read
> Alive2 related papers (*Paper1*
> <https://web.ist.utl.pt/nuno.lopes/pubs/undef-pldi17.pdf>*, **Paper2*
> <https://web.ist.utl.pt/nuno.lopes/pubs/alive-cacm18.pdf>*, **Paper3*
> <https://web.ist.utl.pt/nuno.lopes/pubs/alive-pldi15.pdf>).
>
>
>
> I am currently working on my proposal. I went through *this list*
> <https://web.ist.utl.pt/nuno.lopes/alive2/index.php?hash=93f11d1b6b040bae>
> of LLVM IR-related bugs identified by the Alive2 tool. I wanted to
> understand which issues are a priority for the GSoC project and what are
> some simple issues with which I should start.
>
> Also, it would be great if you can provide me with some pointers about
> what is expected from a good and detailed proposal from this project.
>
>
>
> Thanks,
>
> Krishna Kariya.
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20210413/844bc2ab/attachment.html>