From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from us-smtp-delivery-124.mimecast.com (us-smtp-delivery-124.mimecast.com [63.128.21.124]) by sourceware.org (Postfix) with ESMTP id 6B2203858D29 for ; Mon, 22 Mar 2021 16:12:07 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org 6B2203858D29 Received: from mimecast-mx01.redhat.com (mimecast-mx01.redhat.com [209.132.183.4]) (Using TLS) by relay.mimecast.com with ESMTP id us-mta-410-OHJfKw-FP4O5rh4cz9B9-A-1; Mon, 22 Mar 2021 12:12:03 -0400 X-MC-Unique: OHJfKw-FP4O5rh4cz9B9-A-1 Received: from smtp.corp.redhat.com (int-mx03.intmail.prod.int.phx2.redhat.com [10.5.11.13]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by mimecast-mx01.redhat.com (Postfix) with ESMTPS id EF655190A7A4; Mon, 22 Mar 2021 16:12:01 +0000 (UTC) Received: from t14s.localdomain (ovpn-112-18.phx2.redhat.com [10.3.112.18]) by smtp.corp.redhat.com (Postfix) with ESMTP id 67CF32E026; Mon, 22 Mar 2021 16:12:01 +0000 (UTC) Message-ID: <1bd3a300b2bcbb8f903f36eacd54fb1ca43aa68e.camel@redhat.com> Subject: Re: GSoC From: David Malcolm To: Philip Herron , Isitha Subasinghe Cc: gcc@gcc.gnu.org Date: Mon, 22 Mar 2021 12:12:00 -0400 In-Reply-To: References: User-Agent: Evolution 3.38.3 (3.38.3-1.fc33) MIME-Version: 1.0 X-Scanned-By: MIMEDefang 2.79 on 10.5.11.13 X-Mimecast-Spam-Score: 0 X-Mimecast-Originator: redhat.com Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 8bit X-Spam-Status: No, score=-7.5 required=5.0 tests=BAYES_00, DKIMWL_WL_HIGH, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, RCVD_IN_DNSWL_LOW, RCVD_IN_MSPIKE_H4, RCVD_IN_MSPIKE_WL, SPF_HELO_NONE, SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.2 X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on server2.sourceware.org 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: Mon, 22 Mar 2021 16:12:08 -0000 Hi Isitha (and Philip!) If I'm reading Isitha's email correctly, it talks about static analysis, whereas Philip's talks about GCC Rust, so some wires got crossed somewhere. I'm the author of the GCC static analysis pass. I should confess that I still feel like I'm learning static analysis myself - I too own a copy of the Nielson, Nielson & Hankin book you mention, but have only skimmed it. FWIW, I find the very early papers by Patrick and Radhia Cousot from the beginning of the field much easier to read, as they take more time spelling out the meaning of the mathematics. I should also confess that the analysis pass takes some liberties compared to a formal approach, grabbing ideas from here and there, plugging them into 30+-year-old codebase in a way that I hope is a reasonable trade-off between speed, (lack of) soundness, (lack of) completeness, and readability of output by end-user. The static analysis pass is meant to be reasonably modular, so the various suggested projects listed on the wiki page ought to be implementable without knowing everything all at once. However, as Philip says, GSoC imposes a particular timeline, and I don't know to what extent might be a dealbreaker. Hope this is helpful Dave On Fri, 2021-03-19 at 13:24 +0000, Philip Herron wrote: > Hi Isitha, > > Thanks for your interest in GCC Rust, it's an exciting project that > is > early on in development, so there is plenty of scoping for making > your mark > on the compiler. In regards to your proposal feel free to join our > Zulip > server https://gcc-rust.zulipchat.com/ and it can be discussed with > the > community. > > As for the Google Summer of Code timeline, I would have to defer to > their > rules. Maybe others here know better in this mailing list but as far > as I > know, to complete the google summer of code there are dated > milestones of > review so this might break the rules if you have exams and are unable > to > allocate the time towards it. > > Hope this helps, I hope it works out for you. > > Thanks > > --Phil > > > > On Fri, 19 Mar 2021 at 08:04, Isitha Subasinghe via Gcc > > wrote: > > > 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 > > >