Call for participation: PLDI 2017 and co-located events PLDI is the premier forum in the field of programming languages and programming systems research, covering the areas of design, implementation, theory, applications, and performance. The co-located conferences take place in Barcelona, June 18-23, 2017. This year, PLDI is co-located with ECOOP, LCTES, DEBS, ISMM, Curry On and others. The conferences will take place at the Universitat Polytècnica de Catalunya in Barcelona, Spain. http://conf.researchr.org/home/pldi-2017 Registration is now open, please visit: https://regmaster4.com/2017conf/BARC17/register.php to register. The early registration rate ends on May 26th. The tentative program is available at: http://pldi17.sigplan.org/program/program-pldi-2017 PLDI will also hold an ACM Student Research Competition: http://pldi17.sigplan.org/track/pldi-2017-student-research-competition Co-located events: + ECOOP: European Conference on Object-Oriented Programming + DEBS: annual conference on Distributed Event-Based Systems + Curry On: conference on programming languages and emerging challenges in industry. + ISMM: International Symposium on Memory Management + LCTES: Languages, Compilers, and Tools for Embedded Systems Co-located workshops include: + ARRAY: Workshop on Libraries, Languages and Compilers for Array Programming + DSW: Deep Specifications in the Wild + FMS: Formal Methods for Security + IC: Workshop on Incremental Computing + MAPL: Machine Learning and Programming Languages + PLMW: Programming Languages Mentoring Workshop + SOAP: International Workshop on the State Of the Art in Java Program Analysis + WCIRE: Workshop for Compiler Infrastructure for Research and Education Additionally, there will be eight co-located tutorials: + Bug detection in JavaScript web apps using the SAFE framework + Building your own modular static analyzer with Facebook Infer + Engineering Static Analyzers with Soufflé + Graal: High Performance Compilation for Managed Languages + P4: Programming the Network Data Plane + Polyhedral Compilation + Refinement Types for Program Verification and Synthesis + Scala, LMS and Delite for High-Performance DSLs and Program Generators + WALA Hack-A-Thon + Writing Verified Programs in CakeML See the web site for a schedule and further details and links. For further updates, follow PLDI on the social media: Facebook: https://www.facebook.com/PLDIConf Twitter: https://twitter.com/PLDI Albert Cohen, PLDI 2017 General Chair Tobias Grosser, PLDI 2017 Publicity Chair