<div dir="auto"><div dir="auto">Hi everyone,</div><div dir="auto"><br></div><div dir="auto">I would be working with LLVM this summer as a GSoC student. My project title is "Fixing fundamental issues in LLVM IR". The proposal link can be found below. The project aims to resolve some mis-compilation bugs detected by the Alive2 tool.</div><div dir="auto"><br></div><div dir="auto"><b>Proposal</b>: <a href="https://docs.google.com/document/d/1J-_ZTkvVeVx4XPCqRt-W8l_-e6cg4KNTuUudJc1PMbY/edit?usp=drivesdk">https://docs.google.com/document/d/1J-_ZTkvVeVx4XPCqRt-W8l_-e6cg4KNTuUudJc1PMbY/edit?usp=drivesdk</a></div><div dir="auto"><br></div><div dir="auto">Thanks and best regards,</div><div dir="auto">Krishna Kariya</div></div>