From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 887817F730 for ; Tue, 14 Mar 2017 12:24:51 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=tobias.grosser@inf.ethz.ch; spf=None smtp.mailfrom=tobias.grosser@inf.ethz.ch; spf=None smtp.helo=postmaster@edge20.ethz.ch Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of tobias.grosser@inf.ethz.ch) identity=pra; client-ip=82.130.99.26; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="tobias.grosser@inf.ethz.ch"; x-sender="tobias.grosser@inf.ethz.ch"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of tobias.grosser@inf.ethz.ch) identity=mailfrom; client-ip=82.130.99.26; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="tobias.grosser@inf.ethz.ch"; x-sender="tobias.grosser@inf.ethz.ch"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@edge20.ethz.ch) identity=helo; client-ip=82.130.99.26; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="tobias.grosser@inf.ethz.ch"; x-sender="postmaster@edge20.ethz.ch"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3As8/noxPgL8tZKw1U1IEl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0LfTyrarrMEGX3/hxlliBBdydsKMZzbeI+Pq+EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQtFiT69bL9oLBi7rArdutcXjIB/Nqs/1xzFr2dSde?= =?us-ascii?q?9L321oP1WTnxj95se04pFu9jlbtuwi+cBdT6j0Zrw0QrNEAjsoNWA1/9DrugLY?= =?us-ascii?q?TQST/HscU34ZnQRODgPY8Rz1RJbxsi/9tupgxCmXOND9QL4oVTi+6apgVRnlgz?= =?us-ascii?q?oFOTEk6mHaks9+gqJFrh2uqBJw34nabo+IOvp/Za7dYcoaSHBdUstLSyBMAIWx?= =?us-ascii?q?ZJYPAeobOuZYqpHwqUUJrRSlBAmjHvjvwSJJiH/s2q06yP8hHh/c3Ac9GN8OrH?= =?us-ascii?q?PUo870NKgISuC51qbIzS/Eb/NNwjfy9pLIfwsgofGKU7J8a9TeyVUvFwLElFmf?= =?us-ascii?q?tYzlMiqT2+8QvWab6O9gWviui24hswxxuTmvxsg0ionNnI0VzErI9SJjwIY6I9?= =?us-ascii?q?CzVU11Yca8HZZTqS2WLZZ6T80+T21yvCs3zqcKtYC6cSQSyZkqxgTTZ+Gaf4SV?= =?us-ascii?q?+B7uW/ydLSlmiH9mfr+0mgy8/lK6yuLmU8m5yFZKoTRBktnLrn0CyQHc6seZRf?= =?us-ascii?q?dj4kutwyiA1xzT6uBFO0w7iarbJ4Ygwr42iJUTrVzOEyzolEnskaObeFko9vKs?= =?us-ascii?q?5unjeLnquJ6RO5dxig7kM6QunsK/Af4/MggLR2Wb5eO826bi/ULjW7VGlPI2kr?= =?us-ascii?q?PesJDBPsQUuLS5DhRU0oYl5RazFSmp0MgYnXgGNl5KZBKHg5DzO17SOPD4Eeu/?= =?us-ascii?q?g1O0nTh33f/GO7nhDozJLnjCi7fhYa1w61VcyQo21dBQ/YhYCrAHIPLpW0/+rs?= =?us-ascii?q?bUDhEjM1/8/+GyXN5004dbXWOUHoeYNrnTuBmG/LR8DfOLYdopvzz8IuNtyOTp?= =?us-ascii?q?lmQ0gxdJYa6j3JIMLn+iGe99Ll+xYHzixNodEXVMtQpoH7+is0GLTTMGPyX6ZK?= =?us-ascii?q?k7/DxuUI8=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AcAgCt0sdYhxpjglJehGKBCwaDWYsAk?= =?us-ascii?q?EGTTIQdKohBQxQBAQEBAQEBAQEBARIBAQEKCwkIKC+CMyCCbEUDQwIJHQIuGxa?= =?us-ascii?q?KEwQBCZ0pkAaCJosSCQGBAYVDgg2CMoMehDIMLoJfBY9bjGiCA4RzgyiKGFSEU?= =?us-ascii?q?YoFk0c2YEUjFkyEPFWBcIkZAYEMAQEB?= X-IPAS-Result: =?us-ascii?q?A0AcAgCt0sdYhxpjglJehGKBCwaDWYsAkEGTTIQdKohBQxQ?= =?us-ascii?q?BAQEBAQEBAQEBARIBAQEKCwkIKC+CMyCCbEUDQwIJHQIuGxaKEwQBCZ0pkAaCJ?= =?us-ascii?q?osSCQGBAYVDgg2CMoMehDIMLoJfBY9bjGiCA4RzgyiKGFSEUYoFk0c2YEUjFky?= =?us-ascii?q?EPFWBcIkZAYEMAQEB?= X-IronPort-AV: E=Sophos;i="5.36,163,1486422000"; d="scan'208";a="216677066" Received: from edge20.ethz.ch ([82.130.99.26]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 14 Mar 2017 12:24:50 +0100 Received: from CAS10.d.ethz.ch (172.31.38.210) by edge20.ethz.ch (82.130.99.26) with Microsoft SMTP Server (TLS) id 14.3.319.2; Tue, 14 Mar 2017 12:24:46 +0100 Received: from auth2-smtp.messagingengine.com (66.111.4.228) by mail.ethz.ch (172.31.38.210) with Microsoft SMTP Server (TLS) id 14.3.319.2; Tue, 14 Mar 2017 12:24:49 +0100 Received: from compute1.internal (compute1.nyi.internal [10.202.2.41]) by mailauth.nyi.internal (Postfix) with ESMTP id 07D4D2097F for ; Tue, 14 Mar 2017 07:24:48 -0400 (EDT) Received: from web1 ([10.202.2.211]) by compute1.internal (MEProxy); Tue, 14 Mar 2017 07:24:48 -0400 X-ME-Sender: Received: by mailuser.nyi.internal (Postfix, from userid 99) id E5B8CAA6DF; Tue, 14 Mar 2017 07:24:47 -0400 (EDT) Message-ID: <1489490687.3087956.910707976.7573FDFF@webmail.messagingengine.com> From: Tobias Grosser To: MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" X-Mailer: MessagingEngine.com Webmail Interface - ajax-aac97429 Date: Tue, 14 Mar 2017 12:24:47 +0100 X-Originating-IP: [66.111.4.228] Subject: [Caml-list] PLDI ACM Student Research Competition (SRC) The ACM Student Research Competition (SRC), sponsored by Microsoft=20 Research, offers a unique forum for undergraduate and graduate students=20 to present their original research on programming language design,=20 implementation, theory, applications, and performance at PLDI 2017. The=20 goal is to give students a place to discuss their research with experts=20 in their field and to help them sharpen their research and communication=20 skills. Please find more information at=20 http://pldi17.sigplan.org/track/pldi-2017-student-research-competition Deadline for submission of the extended abstracts: Friday April 7th, 2017. ## Rounds Three rounds of competition will take place before and during PLDI=20 2017. All rounds are held in two categories: Undergraduate Students and=20 Graduate Students (Masters and PhD level). Winners of the third round=20 will be invited to participate in the SRC Grand Finals competition=20 hosted by the ACM. The PLDI rounds are: * Extended abstract round. All students are encouraged to submit an=20 extended abstract outlining their research. * Poster session. Based on the abstracts, a panel of judges will select=20 the most promising authors to participate in the poster session which=20 will take place at PLDI. In the poster session, students will have the=20 opportunity to present their work to the judges, who will select a group=20 of semi-finalists in each category to advance to the next round. * PLDI presentation. The last PLDI round will consist of an oral=20 presentation at the conference to compete for the three top places. ## Prizes Winners of the three top places in each category receive prizes of $500=20 for the first place winner, $300 for the second place winner and $200=20 for the third place winner, respectively. The top three undergraduate and graduate winners receive an award medal=20 and a one-year complimentary ACM student membership with a subscription=20 to ACM=E2=80=99s Digital Library. ## ACM SRC Grand Finals First place winners in each category will be invited to participate in=20 the ACM SRC Grand Finals, an on-line round of competition between=20 first-place SRC winners from different ACM conferences held in 2017.=20=20 Grand Finals will be judged by a different, ACM-appointed panel of judges. Winners of the three top Grand Finals places in each category will=20 receive additional prizes of $500 for the first place winner, $300 for=20 the second place winner and $200 for the third place winner,=20 respectively. They will be also invited to the annual ACM Award Banquet=20 along with prestigious ACM award winners, including the winner of the=20 Turing Award. ## Eligibility criteria Current student status, either graduate or undergraduate, at the time of=20 submission deadline. In order to advance to the poster session round, participants of the SRC=20 must be current ACM (student) members. ## Extended Abstract Submission Details Each submission should include the student author=E2=80=99s name, instituti= onal affiliation, e-mail address, and postal address; research advisor=E2=80=99s name; ACM student member number; category (undergraduate or graduate); research title; and an extended abstract addressing the following:=20 The extended abstract must not exceed 1000 words and must not be longer than 2 pages. Reference lists do not count towards these limits.=20 ## SRC Panel Xavier Martorell, BSC and UPC (chair). Tobias Grosser, ETH Zurich Sandrine Blazy, IRISA Martin Kong, RICE University Timothy Bourke, INRIA Cole Schlesinger, Barefoot Networks, Inc.