GSOC interest in Extend the static analysis pass
hello You could take (and improve/refactor) some obsolete code from https://github.com/bstarynk/bismon and read the below draft report http://www.starynkevitch.net/Basile/bismon-chariot-doc.pdf I am no more working on that code base. My current open source project is https://github.com/RefPerSys/RefPerSys/ (an inference engine project, GPL licensed) which you could use to test/improve your static analysis part. Be of course aware of https://frama-c.com/ (I was part of that team at www- list.cea.fr before my retirement in nov 2023) regards Regards. -- Basile STARYNKEVITCH 8 rue de la Faïencerie 92340 Bourg-la-Reine, France http://starynkevitch.net/Basile & https://github.com/bstarynk
Re: GSOC: Guidance on LTO, and Static Analysis Projects
Yatindra Indoria via Gcc writes: > Hello, > > I am an engineering student. I’ve worked on high frequency trading systems, > and (research) on the Linux kernel I/O and memory subsystems. I am looking > to start contributing to GCC, for quite some time now, as my work utilises > it extensively :) > > But GCC is complex, I believe the mentorship from GSOC will enable me to > start. I have of course gone through the “Before you Apply” section (also > built GCC, and executed test suite). I’d also like to mention that David’s > newbie guide and Prof Uday Khedkar’s content have played a huge role in > motivating me to apply. Those are both excellent resources! David's guide especially helped me a lot. > > I wish to know what contributions I can make towards Link-Time > Optimizations? It would be amazing if someone can point out who I should > discuss this with. You want Jan Hubicka (Honza) and Martin Jambor, CC'd. > > Additionally, I went through the linked issues in “Extend the static > analysis pass” mentored by David Malcom. Refactoring the format-string > logic will familiarise me with the GCC codebase. And my experience with > Linux kernel and CPython APIs may come of use in integrating the checker > there. > > I’m hence looking into both for now, and intend to decide as per the > information I get for LTO hereon. Thank you for your interest! > > Thanks and regards, > Yatindra Indoria
(GSoC) I am interested in contributing to GCC's Rust Front-End
Dear GCC representative, My name is Joey and I am a senior Computer Science student at Washington State University. I am interested in contributing to GCC this summer. Last semester, I took a class on compilers and thoroughly enjoyed it. I would be very excited to apply my theoretical knowledge and contribute to a real compiler. After looking over your project idea list, I became interested in contributing to GCC's Rust Front-End. I have been learning a little bit of Rust over the last couple of months after hearing about its memory safety, high performance, and high-level features. I would love to help integrate this powerful and up-and-coming programming language with the GNU toolchain. The specific project that I was looking into is the *Improving match expressions and pattern matching* project. I have a solid understanding of how compiler front-ends work, and I have experience with creating them using tools like Flex (Fast Lexical Analyzer Generator) and the GNU Bison parser generator. To find regular expressions to match certain patterns, I like to use a tool called RegExr (regexr.com). Something that I will need to further research regarding this project, though, is Rust's syntax. I see that an area of focus here is Rust's struct rebinding pattern -- I will make sure to cover that thoroughly in my research and studying. Another thing that I should mention is that I have experience with C and C++. Most of my programming projects over the last 2 years have been written either in C or C++. Do you have any suggestions for me on whether or not this project is a good fit for me, or still available to work on, before I start writing a proposal? If this project isn't available I would be happy to contribute in other ways. Thank you, Joey
Gsoc: Fortran-Do Concurrent
Hi, I'm Ahmad Abdul Rehman, a third year computer science undergraduate from FAST(Pakistan). I am interested in the "Do-Concurrent" project, and I noticed that some work has already been done. I wanted to know what the organization is specifically expecting from this project.Few things listed in the description of the project overlap with work done by the previous contributor. Additionally it was asked to contact before working on the details of the project thus I would appreciate if you could provide details regarding scope of work. Regards, Ahmad Abdul Rehman
Re: GSOC interest in Extend the static analysis pass
Basile Starynkevitch writes: > hello > > You could take (and improve/refactor) some obsolete code from > https://github.com/bstarynk/bismon > and read the below draft report > http://www.starynkevitch.net/Basile/bismon-chariot-doc.pdf > > I am no more working on that code base. > Let's not suggest obsolete (or non-GCC) projects to people asking about how to work on GCC itself for GSoC, please. > My current open source project is https://github.com/RefPerSys/RefPerSys/ (an > inference engine project, GPL licensed) which you could use to test/improve > your > static analysis part. > > Be of course aware of https://frama-c.com/ (I was part of that team at www- > list.cea.fr before my retirement in nov 2023) > > regards > > Regards.
