Call for participation: PLDI 2017 and co-located events

Previous Topic Next Topic
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
Report Content as Inappropriate

Call for participation: PLDI 2017 and co-located events

Tobias Grosser
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.

Registration is now open, please visit:
to register. The early registration rate ends on May 26th.

The tentative program is available at:

PLDI will also hold an ACM 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
+ 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
+ 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
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
Only members subscribed via the mailman list are allowed to post.