Skip to Content.
Sympa Menu

coq-club - [Coq-Club] PLDI SRC 2022 -- Call for Submissions

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PLDI SRC 2022 -- Call for Submissions


Chronological Thread 
  • From: PLDI Publicity Chair <wjb AT williamjbowman.com>
  • To: undisclosed-recipients: ;
  • Subject: [Coq-Club] PLDI SRC 2022 -- Call for Submissions
  • Date: Thu, 27 Jan 2022 15:47:35 -0800
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=wjb AT williamjbowman.com; spf=Pass smtp.mailfrom=wjb AT williamjbowman.com; spf=Pass smtp.helo=postmaster AT williamjbowman.com
  • Ironport-data: A9a23:qGbHG6NPq/LumEXvrR29kcFynXyQoLVcMsEvi/4bfWQNrUom12ECx zNJCmmBOvjea2P1f4slaIni9hsD6sKGztBjHXM5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8kk/jgqoPUUIYoAAgoLeNfYHpn2UILd9IR2NYy24DgWVzV4 7senuWGULOb824sWo4rw/nbwP9flKyaVOQw4zTSzdgS1LPvvyF94KA3fcldHFOkKmVgJdNWc s6YpF2PEsw1yD92Yj+tuu6TnkTn2dc+NyDW4pZdc/DKbhSvOkXe345jXMfwZ3u7hB2pm4pR4 +Vg6KWMdiE1P4DVxtY6VgZxRnQW0a1uoNcrIFCgsMiXzkTDcXHr3PBnCgc9OohwFuRfWDAUs 6VFdXZdPlba3rzeLLGTEoGAguw8LsPDI4IbvnBpyDPTCukjSJaFSKLPjTNd9G5g3Z0QQauBD yYfQTszfQzNcyVkAE80JK04s/+l1nvOSCIN/Tp5ooJsszKKkFcZPKLWGNHSY5mBQdhftl2Jo 3rPuWX/GBATctKFoQdp6Vqzh+vLnCr+WogVC7ix8Lhhh1j7KnEv5AM+dV/hgdKJpxOHZ+15N 00543Qciq0t3Rn+JjXiZCFUsEJorzZFBYYKTLdltl/dokbHy1rBVjJeH1atfPRj65NqGG1wv rOct4qxXWQHjVGDdZ6KGl54RxuZNCQcNychYygASRBtDzLL+N5i1E2nojpLNqOqxv/4Ayr90 li3QMkCa1Y715ZjO12Tpwyvvt5VjsGho85czly/spiZxg14fpW5QIej9ELW6/1NRK7AEAXa5 iJVy5HCtrxQZX1oqMBraLpWdF1Oz6neWAAwfXYyd3Xc32nyoSf+Iui8HhkkdRkya67ohgMFk GeI6VkIuMQ70IqCaa5xZI68Y/nGPoC/fekIl5n8MLJzX3SGXFbXpX41PR/JgTmFfYpFufhXB Kp3uP2EVR4yYZmLBhLvLwvE+bN0lC04203JQpX3k0au3baEPS7HVrYBNFqHa+Iz67yBqQOT+ NFabpPYxxJaWez4Qy/W7Y9KdglUdChlW8urppwFbPOHLypnBHolV63bz4Q+dtE3hK9SjOrJo C2wAxcK1FrliHTbAgyWcXQ/Oqj3VJNyoCtjbywhNFqlwVY5ZoOr4PtNfpc7Z+B3pvNiyfp1R vwHccKfB/1JDD/A/m1FP5X6qYVjcjWthB6PZnH8PmFvIcA7GgGQo43qZAri8iUKHxGbj8pmr u3yzB7fTLoCWx9mUJTcZsWwwg7jpnMagu9zARfFe4EBZEX2/YF2ACXtlftrcdoUIBDOyzbGh QabBRAU+bvEr4MvqYmbmqGAq4agFul0GVVfFm+d5rGzbHGI8m2myI5GceCJYTGEDzqqofX8O 74IwqGuKuADkXZLr5F4T+Rhw5Uh6oa9vLRd1AllQinGNgz5FrN6L3Ca9sBTrakRlKRBsA67V x7d4NVcIrnVasrpHERIdFg6b+CH1PgRmDPV8vE8JgPx4youpOiLVkBbPh+tji1BLeIuad18k bl/45Mbu16llx4nEtealSQIpW6CGWMNDvc8vZYADY611gdykgNeYYbRAzPd6Y2Ub4keKVEjJ zKZicIuXViHKpYup5byKZTM4QaZrYsPvBRLxVoALVOWn9PDwPQw2XW9NBwpGx9NwEwvP/1bY wBW249dfM1iPAuEQOBcXmSoGghEBhee5Un4zR0Ck2ixo4yASDnWNGNkUQqS1Blxzo+fFwS3O JmHyWLhUD/vfsv2wS47XwhurPmLoRmdMOHdsJjPIvlp1KXWrdYobmFCqIbIR9ba7RsNuXD6
  • Ironport-hdrordr: A9a23:QRJcwqBPdOQEHm7lHejssseALOsnbusQ8zAXPh9KJiC9I/b1qy nxppkmPEfP+U8ssQIb6Ki90ci7MCrhHPFOkO4s1NuZPDUO21HYdL2Kj7GSpQEIcheWnoU2u8 Zdm1IXMqyyMbETt7eo3ODSKadD/DDzytHNuQ6o9QYJcegFUdAC0+5RMHfgLqUULDM2UKbQcf Knl5h6jgvlXU5SQtWwB3EDUeSGjcbMjojabRkPAANiwBWSjBuzgYSKSCSw71M7aXdi0L0i+W /Kn0jS/aO4qcy2zRfayiv684lWot380dFObfb80PT9aw+c1zpAVr4RBIFqjwpF/t1H3WxazO Ul+X8bTrlOAj3qDzCISFDWqnLdOX4VmgPfIPWj8CveSIrCNWYH4oN69P1kmk6w0TtkgPhslK 1MxG6XrJxREFfJmzn8/cHBU1VwmlOzumdKq59ls5Xxa/ptVFZ9l/1qwKpuKuZHIAvqrIQ8VO V+BsDV4/hbNVmAaWrCo2VpyNuwGnwuAxaPWCE5y4ao+ikTmGo8w1oTxcQZkHtF/ok6UYNY6+ PNNbktnK1ST9URcbl2CI46MICK4iWke2OEDIrlSW6XXJ3uFRn22tLKCPRc3pDmRHR+pKFC7q gocDhjxCEPk2qHM7zL4HVhmiq9PllUdFzWu4NjD50QgMy9eFKZWRfzBmzHr6Ob0rQi6+HgKo aO0I48OY6lEYLeI/c94+SlYegiFZA3arxnhuoG
  • Ironport-phdr: A9a23:csyuIx0ZKpob2hqWsmDOHg4yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BaFo640xwaQAc2bs6sC17CP9fi4GCQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgH c5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTajf79+N hu7oRjeusULnIdvJbs6xh/VrndVYehbyn1kKU+Jkxrg+su8+YNo/jhNtf4m68NOS7jxcb4iT bxfAjQmMmQ169PuuBLeUwaB5WYSX3sPnBZQDAfL8B/1XpHqsivnreV9wzWVPdf3Tb8vRzuv6 bpgRQLyhycGMz4593zXitB1galGrh+tuwBzzojJa46SKfp+eL7SfdIBRWVdWsZRUDdBDZ2hY IASC+YMMvpUo4z7qlATrxWxGBOsCfvhxDFIm3H43qI13Pg8Hg/JxwEgA9EDvW7IoNnpKKsfU +a4x7TIwzXZaPNW3C/w5pLOfB4vov+HQKh+cdfKxkkrFgPKklSQqZDlPjiIyOkNs3KU7+t6V emyjGMmpQNxrSO0y8Yii4nJgoYVylHe+iV8woY6Ptq4SUB+YdG+FptcrT2VN4xzQs47RWxjp Sk1xKEct5GhYCgK1IooxwTZa/GffIaF4gzuWumeLzp4i3xofK+zihSv/EW8yeDxSsu53VVJo yRLjtTBqG4A2RPc58SaVPZw/lut1ziS2g7d9+xKLkY5nrfVJZ4mx74/jJsTsULbEy/tmUX2g 7eWdkE+9eiu8ejnZa/mppCEO49zlAHxLL4umsihDusiPAgCRXSU+eO51LH7/U35R6lKgeEsk qnBqpzVOcMbpqu/DgRI0Ygj8w6yAyqi3dgGh3ULMVJIdRKdg4XqOFzCOu30Aeq+jli0jTtmw /PLMqf8DpjMMHTPirfscLZn50NfyAc+y81U6YhOBbEbOv3zX1f8tNzGAR89NAy52+jmCNR51 oMaWGKAGKqZMKHJvl+P6OMvJvODZIkPtDnhLPgl4ubijX4/mVADYamkxYYbZXSmEvh8PkmUY Xrhjs0CHGoJpAYyUfHmhVyaXT5WfXmyXqY85j8hCIKhCIfOXo6sgL6a0yqgEJxWZ2RGClSNE XjycoWEWewDaCWcI89kiDMEU6KtRJMm1RGrrAP60aZoLvLI+i0EspLuzMR65+rKlR0r6TN0C 9md3HqWQmFvnmIIQic207plrUx8zFeDy6l4jOZCGdxd/fMaGjs9YIPaw+1hANT1QQ/NO82EQ 1e+Q9igHSpjBoFi7cUJZhNFP/mDxije1S6rCL4JhvSgBJU16OqIwHr7D9l8z3LH3awjhV45R 8JJc2ahg/gspEDoG4fVnhDBxO6RfqMG0XuRrA9rrEKLtUBcCktrVLndGGoYbQ3QpMj44UXLS /mvD64mO01P053KMbNEP/vui1gOX/L/IJLGeWvkhGW6LQmJwreNZY/ocWIC2SzbTkMDllNb5 m6IYDA3HTzpuGfCFHprHFPrbVnr9LxhqnmTUU4wywCDak9r0KWw8xhTjvuZGLsIxrxRgC46s H1vGUqlmdLbD93Vvw16YKBVes8w+n9Y1GbdtgV4PJanMKVrgBgVdAEfU1rG8RJxB80AlMErq Clv1w9uMeeC11gHcTqE3Jf2M7mRK2/o/RnpZbSEklfZmM2b/KsC8pFa4x3qoR2pG0w+8n5mz 8gd0n2S4Y/PBRYTVpS5W1g+9hxzrbXXKicn4Iac2XppOKiy+jjMvrBhTPQnwD6/ftNbMaqBF gX1DMgTAY6lL+lr01mlYxQYPfxDobYuNpDDFbPO06qqMeB82TO+2D0WusYkjx/Kp3o6E7eWj PNni7mC0wCKVinxlgKku8Hzw8VfYC0KW3C4wm7iDZJQYat7ecAKD32vKou53IYb5dalVnhG+ VqkH15D1tWufE/YcF739RJR0UAWqHmlkyynyjVy1Touq+DMuU6Gi/SnbxcBNmNRESN9j13EP omwi9ETWUqiaBcsnR3j7kH/jfs+xuw3PyzYRkFGeDLzJmdpX/6rt7aMVMVI7YshrSRdVOnUj UmycrfmuFNa1iriGzEb3zUnb3SwvZ6/mRVmiWWbJXI1rXzDeMg2yw2NrNDbQPdQ2HIBSkwaw XHIBFKUINit+dSdkpXJtf+7XmTnXZpWOSXm1oKPsiKn6HYiWEzl2anux5u3QU5jiHGz3sIiT SjSqRfgfoTnssbyeflqeEVlHh606sZ3HJ1/jpplgZgR3XYAgZDGtXEDkGr1LZBawfenPSBLH GNWhY6FplG8hh4GTDrB3Y/yW3SDz9E0YtC7ZjlTwSch94VQD6zS6rVYnCxzq17+rATLYPE7k C1OrJlmoHMcnewNvxIgiyuHBbVHV1ZaNwTzlhCM7tm7rq9Qe2Omd/670080zrXDRPmS5xpRX nr0YMJoAi16xtp+NFbN2Xjx4Ib7fdDWK9kUs1fH9nWIx/gQI5U3mP0QgCNhMm+opnwpxdkwi hl21I27toyKeC19ubi0CRlCOnjpdtser3vz2L1GkJ/cjOXNVt1xXy8GV5zyQbe0HSIO4L75Y h2WHmR0oz+eCfLeBVPNsRY86SuSTtb7ZzfOfSd8r50qRQHDdhYB2FhGBz5ixcxrGFjxz56wK Ul3tD4cuQaqpEURgvRhMx21OovGjD+hcSx8CJ2WLR4MqxpH+1+QK8uVqOR6AyBf+JSl6g2LM G2SIQpSXykFXUmNBlarObfLh5GI6++DGu+3NOfDe52RqOhaVv6Nx5iozY5v+XCHMcDHMnR5D vI901ZORjggSp6fwmhSDXxH0XuUMYaSv3LesmVvo9q68ej3VQ6n/oaJB7ZIcJ1u9x2wnaafJ ruQiSJ+en5T0pIBw2ONyaBKhQ9IzXgzKn/9QfJZ7HCeKcCY0rVaBBMadS5pYc5B7qZmmxJIJ daekNT+kLhxkv8yDV5BE13ngMCgI8IQcATffBvKAliGMLOeKHjF2cbyNOmjS7d4k+RQsxy5v DSRFFDmNzLFnD7sHUPKU6kEnGSAMRpStZvoOA5qEnTmRcn6ZweTL95ziTw/xL8+gWzPPGhaO j95ORAozPXY/WZThfNxHHZE53xuILyfmiqX2OLfL44frfphBikn3/If+nkxzKFZqT1VXPEg0 jWHtcZg+hv194vHgioiShdFrSxHwZ6GrVk3c7uM7YFOAD7NtBcdpWSIV0ZT9oEjU4Cy/fAAj IGWyseRYH9D64yGp5VEX5qPI5rcYigvaUHiSm+NAgVXQzP0bTPR2REVhviW8jf9Rn0StZnon JsHT71RU0MwH/VcAUNgToRqyHhfQTIglb+SicwC4mW7pR+XT8Jf7MmvvhO6HvTrLDeQiLtOY AQNyLW+JoMWZNST5g==
  • Ironport-sdr: 4XjFgTWE60gYjAQSj31xfftsGus2aQrequ2Srn5tQmL5LLzwyvlrmIZY4O+0RBKo86tDm24SGh //70tMgblCVcI4+/7kZFjlTPzFHPltM6KnKmCpNM+TRaBvDjbJ6nM3fU77mzLrlMYBecP986M8 MPS5GLB6QlfeWC3Y1O+Ult8vltR25W3Wgo/2lSz51iEN7En8J1Gw7JYGQQgvPaV3umOs0BBYaY Abc6tAM/i9qoTxTQ0JxGz7bCYdxGG8smAiLnlYkWzaLzYXFGIniCnegEru6BR+8FtVc2uoD50J RsPf2nkgloAQc1KE91a/bd2Z

Please distribute widely:

# Call for Student Research Competition Submissions

https://pldi22.sigplan.org/track/pldi-2022-SRC

The Student Research Competition (SRC) at PLDI allows students to present
their research and get feedback from prominent members of the programming
language research community. It’s an opportunity for students to network,
practice presentation skills, and showcase their work. PLDI invites students
(both at the graduate and undergraduate level) to submit their research.

We acknowledge that the past several years have been difficult for conference
organization. As a community, we have worked together to implement various
options for remote accessibility. We have found different formats have had
different positive and negative components. For fully virtual conferences, we
have missed seeing our friends and colleagues in person; on the other hand,
for virtual conferences, we have enjoyed seeing more participation globally.
However, many have found that a hybrid format inhibits engagement from all
participants (remote and in-person). The Student Research Competition (SRC)
at PLDI 2022 aims to incorporate the positive components (increased
accessibility) while mitigating the negative components (limited engagement).

To that end, we are excited to pilot a **two-track PLDI SRC** this year.

# Two-Track SRC Model

This model comprises of two pools of submissions: (1) students who present
their work primarily in-person, and (2) students who present their work
primarily virtually. To aid with planning, students should select one of the
tracks at submission time; however, due to the volatility of public health
guidelines/restrictions, this year, students will be able to change their
track after the submission.

Our hope is that the virtual track will allow more students to participate,
regardless of travel restrictions or monetary constraints. However, we will
note that virtual participants may have limited access to the rest of the
conference depending on how the different programs are offered (e.g., if they
are streamed or not). Thus, in-person attendees will likely be able to engage
with the wider conference, and attendees, more fully.

*Note that the selection criterion of the Student Research Competition is not
dependent on the mode of presentation. All students will be evaluated
according to the same criteria.***

# Submission

The main body of the submission is a title and extended abstract consisting
of the following:

**Problem and Motivation:** Clearly state the problem being addressed and
explain the reasons for seeking a solution to this problem.

**Background and Related Work:** Describe the specialized (but pertinent)
background necessary to appreciate the work in the context of PLDI areas of
interest. Include references to the literature where appropriate, and briefly
explain where your work departs from that done by others.

**Approach and Uniqueness:** Describe your approach in addressing the problem
and clearly state how your approach is novel.

**Results and Contributions: Clearly show how the results of your work
contribute to programming language design and implementation in particular
and to computer science in general;** explain the significance of those
results.

The final submission must also include the student author’s name, email
address, institutional affiliation, research advisor’s name(s), ACM student
member number, category (undergraduate or graduate), and mode of presentation
(in-person or virtual). We recommend including all this information in the
standard author contact information region.

Submissions must be original research that is not already published at PLDI
or another conference or journal. One of the goals of the SRC is to give
students feedback on ongoing, unpublished work. Furthermore, the abstract
must be authored solely by the student. If the work is collaborative with
others and/or part of a larger group project, the abstract should make clear
what the student’s role was and should focus on that portion of the work.

The extended abstract must not exceed 1000 words and must not be longer than
2 pages. Reference lists do not count towards these limits.

Please use the ACM Conference Proceedings Template found here
https://www.overleaf.com/read/yggzbgjwjntv with line numbers turned on.

When you’re ready, submit your extended abstract at the submission site:
https://pldi22src.hotcrp.com.

Should you have any questions on if your work is a good fit for the SRC
track, please reach out to the SRC Co-Chairs.

# Presentation and Attendance

Students accepted to the SRC based on their extended abstracts will proceed
to the Poster (pre-Finale) Round. For the Poster Round, students must submit:

- a research poster to present at PLDI,
- a 5-minutes pre-recorded talk

In the two-track SRC model, the in-person track will be formatted as a
traditional SRC: there will be an in-person poster session for three hours,
in which PLDI attendees and in-person judges can walk around and interact
with the students. The virtual track will be held in a virtual space that
will be available to all PLDI attendees. In addition, we will have a pool of
virtual judges that will walk around and interact with the virtual students.
For some cross-over, we will organize for a TV in the in-person session,
which will rotate through the virtual posters.

The top three undergraduate participants and the top three graduate
participants (selected across both the virtual and in-person tracks) will
proceed to the Final Presentation Round. The final round of SRC will be
conducted in a conference room where in-person finalists will first present
(streamed over Zoom), and virtual finalists will present via Zoom. Both the
virtual and in-person judges/attendees will get a chance to ask questions
during the Q&A session after each talk.

# Participation

The Student Research Competition (SRC) at PLDI has always strived to improve
engagement and accessibility to students around the world. To this aim, we
will provide the opportunity for a round of asynchronous peer-review
discussions amongst the SRC participants. The peer-review process is an
opportunity for the SRC speakers to share their feedback, ask questions to
their fellow peers, and help them make improvements for the poster and
presentation round. This is also an opportunity for in-person and virtual
speakers to engage prior to the SRC poster round.

We hope to utilize our experiences over the last two years to enable
sufficient engagement in both tracks. We will work to provide tooling
support, organization, and publicity to ensure all participants have a
positive experience.

Good luck, and we hope to see you in June!


  • [Coq-Club] PLDI SRC 2022 -- Call for Submissions, PLDI Publicity Chair, 01/28/2022

Archive powered by MHonArc 2.6.19+.

Top of Page