From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-lj1-x230.google.com (mail-lj1-x230.google.com [IPv6:2a00:1450:4864:20::230]) by sourceware.org (Postfix) with ESMTPS id A4793386F00D for ; Fri, 19 Mar 2021 08:04:08 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org A4793386F00D Received: by mail-lj1-x230.google.com with SMTP id f16so10886546ljm.1 for ; Fri, 19 Mar 2021 01:04:08 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=/L6W+CTP9DATFoyx85z1xw8Q+RAHCI0qZqZmBIrCNnY=; b=L9z47k9ld5IGSeNMspE+yiIvFd0HoMNoMKCHlyYo6LAqC/gnmj/bgmJSUnxbske8BF XDAubDhANFXYihcU4LpYG78Wxmaqwh5Eh/1mXcvZxP1mtCg3jB2DJHaQNo/MxOuKyLDl KcU6pWgdmxgwXd8jK4IEcyLNN8oD9TR3bu7k7Ixkq1Dt2E0Kmt/pwNCs6bTGQ/tjMlEc PGe90hAHuVNr79w0DWSXVY38prDm0gj08eHsPFUQXtulBuL+bZaa5ckNDQOQqTtP4lSn mMBpA0iX7duFxLCDbZn4sX2tx3TfwcAcmKujSHvoH41QNF8mVagQ65/HEar8PpHamNjv BLTQ== X-Gm-Message-State: AOAM533dh8pF/HED9iONNqx3A1p11W17NHkmMknw8RRuC74zXpkilm/3 mlrv1JguiyV07H3Z3i7SoM5DD8HpG/OI5PkUNTy0rlfbjlicNA== X-Google-Smtp-Source: ABdhPJxRS1eUYrmhny2dMyGmq38YEtNYR5e86LduwxKuuc2HXyFBo9qrX62UK7WLtpjzdiKWC0Rm6uRQtjMODxGee6A= X-Received: by 2002:a2e:868e:: with SMTP id l14mr109177lji.479.1616141046889; Fri, 19 Mar 2021 01:04:06 -0700 (PDT) MIME-Version: 1.0 From: Isitha Subasinghe Date: Fri, 19 Mar 2021 19:03:55 +1100 Message-ID: Subject: GSoC To: gcc@gcc.gnu.org X-Spam-Status: No, score=2.4 required=5.0 tests=BAYES_50, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, FREEMAIL_FROM, HTML_MESSAGE, RCVD_IN_DNSWL_NONE, SPF_HELO_NONE, SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.2 X-Spam-Level: ** X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on server2.sourceware.org Content-Type: text/plain; charset="UTF-8" X-Content-Filtered-By: Mailman/MimeDel 2.1.29 X-BeenThere: gcc@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 19 Mar 2021 08:04:13 -0000 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