To whom it may concern, I am a student interested in participating in GSoC this year. After having a look at some of the available PL projects, gccrs caught my attention. I love Rust and have an interest in exploring more about type theory and automatic garbage collection.
My background is that I am a Masters's student at the University of Melbourne in Australia, I have undertaken a graduate-level compiler class where we implemented a stack-based compiler in Haskell. I am quite interested in working on the static analysis project but wanted feedback to iron out and address my proposal before I submit it. I am quite confident in my C/C++ skills but somewhat unsure about the level of knowledge of static analysis that I would need. Unfortunately, I am yet to take any classes in this particular subfield but I am absolutely happy to learn on my own time and have purchased the book Principles of Program Analysis to assist with this matter. Also, I did want to notify you that I would be available for less than the entire coding duration of GSoC due to university commitments. Unfortunately, my exams overlap with GSoC, and it is hard to compromise on University studies since I am hoping to do a PhD in PL after the completion of my master's. I would be absolutely happy to make up this time at the end of the year where I have a 3-month break. Best Regards, Isitha
