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

[Krishna Kariya via llvm-dev]

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/20210408/90bb21d3/attachment.html>