Call for participation: PLDI 2017 and co-located events

by grosser, April 17, 2017

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

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