llvm dev - Mar 2019 - Annotated sources GSOC project

Hi all,

I'm interested in working on the GSOC project of developing annotated
headers from LLVM IR attributes.

I'm a PhD candidate at MIT studying how various compiler representations
can be leveraged to better optimize and ensure correctness in programs.

I have previous experience in LLVM/Clang from extending it to analyze
parallel programs in the Tapir compiler as well as extending clang to
represent reductions as attributes.

I've also started discussing ideas with the project mentors (who
subsequently recommended that I email the list), including checking whether
clang merges attributes from multiple function declarations as a
precondition for generating the headers.

Cheers,
Billy Moses
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20190311/ec4bb449/attachment.html>