From mboxrd@z Thu Jan 1 00:00:00 1970 From: Josh Triplett Subject: Sparse participating in Google Summer of Code 2007; apply by March 24th Date: Tue, 20 Mar 2007 16:48:05 -0700 Message-ID: <460072B5.9060104@freedesktop.org> Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="------------enigD4DDABB1E6D8CA751CDD9A37" Return-path: Received: from mail3.sea5.speakeasy.net ([69.17.117.5]:38800 "EHLO mail3.sea5.speakeasy.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1750900AbXCTXs1 (ORCPT ); Tue, 20 Mar 2007 19:48:27 -0400 Received: from dsl093-040-092.pdx1.dsl.speakeasy.net (HELO [192.168.0.121]) (josh@[66.93.40.92]) (envelope-sender ) by mail3.sea5.speakeasy.net (qmail-ldap-1.03) with AES256-SHA encrypted SMTP for ; 20 Mar 2007 23:48:25 -0000 Sender: linux-sparse-owner@vger.kernel.org List-Id: linux-sparse@vger.kernel.org To: linux-sparse@vger.kernel.org, linux-kernel@vger.kernel.org This is an OpenPGP/MIME signed message (RFC 2440 and 3156) --------------enigD4DDABB1E6D8CA751CDD9A37 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable [Sending this to LKML as well, to reach more of Sparse's user community.]= Google has accepted Sparse as a mentoring organization for Summer of Code= 2007. Interested students can propose work on Sparse-related projects, w= ork on those projects over the summer, and receive a stipend from Google for = their work. Student application deadline: March 24th Sparse, the semantic parser, provides a compiler frontend capable of pars= ing most of ANSI C as well as many GCC extensions, and a collection of sample= compiler backends, including a static analyzer also called 'sparse'. Spar= se provides a set of annotations designed to convey semantic information abo= ut types, such as what address space pointers point to, or what locks a func= tion acquires or releases. The Linux kernel community uses Sparse to check fo= r common errors in kernel source code. Other projects, such as X.org, have= begun to use Sparse as well. Working on a Sparse project gives students the opportunity to put many co= re CS skills into practice on a real-world compiler and static analyzer, and ga= in some recognition within the prominent community of Free and Open Source Software developers working on the Linux kernel. You can see the current Summer of Code project list for Sparse at , or propose an= idea of your own. Students need to apply by March 24th. You can apply at . Any Sparse developers interested in mentoring projects over the summer (w= hich primarily consists of answering questions about Sparse, such as on the ma= iling list), please apply via the Google Summer of Code mentorship application = at http://code.google.com/soc/mentor.html , and check the "Sparse" box. Ple= ase also mail me with details. Any Linux developers interested in seeing Sparse do something that it can= 't currently do, please propose possible Summer of Code projects as soon as = you can, and I'll add them to http://www.kernel.org/pub/software/devel/sparse/soc.html . - Josh Triplett --------------enigD4DDABB1E6D8CA751CDD9A37 Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFGAHK1GJuZRtD+evsRAiOnAJ9LM0ykguk7Kl+jisIOfIFqoBgLgwCgjUAM E+J84cpgjYtp51vT2/3p6/4= =HjPE -----END PGP SIGNATURE----- --------------enigD4DDABB1E6D8CA751CDD9A37--