[TYPES/announce] PLDI 2021 Co-located events
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] PLDI 2021 Co-located events === PLDI 2021 is going to have some very exciting co-located events this year. Do consider submitting your work and/or attending some of them! = We've got three terrific co-hosted conferences... = * HOPL IV (the 4th History of Programming Languages conference) which produces accurate historical records and descriptions of programming language design, development, and philosophy. (https://hopl4.sigplan.org/) * ISMM (the ACM SIGPLAN International Symposium on Memory Management) is a premier forum for research on a wide range of topics related to memory management. (Deadline 11 Mar; https://conf.researchr.org/home/ismm-2021) * LCTES (Languages, Compilers, and Tools for Embedded Systems) provides a link between the programming languages and embedded systems engineering communities. Researchers and developers in these areas are addressing many similar problems but with different backgrounds and approaches. (Deadline 8 Mar; https://pldi21.sigplan.org/home/LCTES-2021) === ... as well as six excellent workshops... === * SOAP (State Of the Art in Program analysis) is a forum for researchers and practitioners to discuss the latest ideas, developments and approaches to techniques, frameworks, and applications for program analysis and related areas. (Deadline 22 Mar; https://pldi21.sigplan.org/home/SOAP-2021) * The ARRAY workshop invites all to the exchange of ideas between communities involved in the design, implementation, optimization and use of array-oriented languages and libraries for various applications. (Deadline 2 Apr; https://pldi21.sigplan.org/home/ARRAY-2021) * The Infer Practitioners Workshop gathers together developers and researchers working with the Infer static analysis platform. We welcome contributed technical talks around a range of Infer-related topics. (Deadline 5 May; https://pldi21.sigplan.org/home/infer2021) * The Annual Symposium on Machine Programming (MAPS) workshop seeks papers on a diverse range of topics related to programming languages and machine learning. It aims to bring together the programming languages and machine learning communities to encourage collaboration in areas of mutual benefit. (Deadline 2 Apr; https://pldi21.sigplan.org/home/maps-2021) * The PLMW@PLDI (Programming Languages Mentoring Workshop) brings together world leaders in programming languages research and teaching from academia and industry to provide technical sessions on cutting-edge PL research and mentoring sessions on how to prepare for a research career. (https://pldi21.sigplan.org/home/PLMW-PLDI-2021) * The Workshop on Programming Languages for Quantum Computing (PLanQC) brings together researchers from the fields of programming languages and quantum information, exposing the programming languages community to the unique challenges of programming quantum computers. (Deadline 2 Apr; https://pldi21.sigplan.org/home/planqc-2021) Enjoy! The PLDI 2021 Organizers
[TYPES/announce] PLDI 2021 Student Research Competition (SRC)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Deadline: March 22 2021 Venue: Online More Information: https://pldi21.sigplan.org/track/pldi-2021-SRC The ACM Student Research Competition (SRC), sponsored by Microsoft Research, offers a unique forum for undergraduate and graduate students to present their original research on programming language design, implementation, theory, applications, and performance at PLDI 2021. The goal is to give students a place to discuss their research with experts in their field and to help them sharpen their research and communication skills. Eligibility criteria Participants must have current student status, either graduate or undergraduate, at the time of the submission deadline. Participants in the SRC must also be current ACM (student) members. Prizes -- Winners of the three top places in each category receive prizes of $500 for the first place winner, $300 for the second place winner and $200 for the third place winner, respectively. The top three undergraduate and graduate winners receive an award medal and a one-year complimentary ACM student membership with a subscription to ACM's Digital Library. ACM SRC Grand Finals First place winners in each category will be invited to participate in the ACM SRC Grand Finals, an online round of competition between first-place SRC winners from different ACM conferences held in 2021. Grand Finals will be judged by an ACM-appointed panel of judges. Winners of the three top Grand Finals places in each category will receive additional prizes of $500 for the first place winner, $300 for the second place winner and $200 for the third place winner, respectively. They will be also invited to the annual ACM Award Banquet along with prestigious ACM award winners, including the winner of the Turing Award.