Final call for participation: PLDI 2016 co-located events
Final call for participation for PLDI 2016 co-located workshops and tutorials
in Conferences by Manu Sridharan on June 1, 2016

We invite those attending PLDI 2016 in Santa Barbara (http://conf.researchr.org/home/pldi-2016) to also attend the co-located workshops and tutorials.  Co-located workshops include:
+ ARRAY: Workshop on Libraries, Languages and Compilers for Array Programming
+ FMS: Formal Methods for Security
+ PLMW@PLDI: Programming Languages Mentoring Workshop
+ SOAP: International Workshop on the State Of the Art in Java Program Analysis
+ WPHCS: Workshop on Programming Heterogeneous Computing Systems
+ X10: X10 Workshop
Additionally, there will be eight co-located tutorials:
+ NVM Programming
+ RYUJIT: The Open Source Just in Time Compiler for .NET
+ STRING: String Analysis for Vulnerability Detection and Repair
+ ONEVM: One VM to Rule Them All, One VM to Bind Them
+ PINPLAY:Using PinPlay for Reproducible Analysis and Replay Debugging
+ PROSE: Programming by Examples
+ JALANGI: Dynamic analysis of JavaScript with Jalangi
+ WALAX: Cross-platform analysis of mobile apps using the WALA framework
The full schedule is here:
http://conf.researchr.org/program/pldi-2016/program-pldi-2016
Some further details from workshop organizers is below.
Manu Sridharan

PLDI 2016 Publicity Chair

SOAP@PLDI Call for Participation

If you are coming to PLDI at Santa Barbara, please consider attending the workshop for the state of the art of program analysis (SOAP). This year we have a fantastic program for academics, practitioners, and students who are interested in program analysis. In addition to fives paper talks, we feature great invited talks from prominent academics such as Tevfik Bulton, Martin Vechev, and Sorin Lerner. We also invited practioners to present how program analysis is in action in industy from Grammatech and SourceBrella. Detailed program is available at : http://conf.researchr.org/track/pldi-2016/SOAP-2016-papers#program

FMSEC Call for Participation

While the fields of security and of formal methods/programming languages are  thriving areas of computer science, the communities are mostly disjoint,  and though there are several formal techniques used for ensuring security,  there is no systematic use of emerging powerful formal techniques in security. The goal of this workshop is to bring together  researchers from both communities in order to have them learn  about the important problems and relevant techniques in each field, to  foster collaboration leading to applying ìcutting edgeî formal techniques in security.  Our ultimate goal is to have an event like  Real-World Crypto (see http://www.realworldcrypto.com/rwc2016), but focussed on security and formal-methods/PL. Yes we are thinking bold:-) For the first edition, we will have no refereed papers, but have invited talks from people who  have successfully bridged these fields and on topics that highlight important problems in security (systems security, information security, malware, etc.)  that could benefit from formal techniques (programming language paradigms,  verification, model-checking, efficient constraint solving, synthesis, etc.). See the list of speakers at: http://conf.researchr.org/track/pldi-2016/FMS-2016-papers If you come, you will learn a lot of exciting resarch directions. We are hoping to foster collaborations and have budgeted plenty of time for that.  Come and join this exciting event and this is just the beginning. We have exciting and big plans ahead! 

ARRAY 2016 Call for Participation

Array-oriented programming is a powerful abstraction for compactly implementing numerically intensive algorithms. Many modern languages now provide some support for collective array operations, which are used by an increasing number of programmers (and non-programmers) for data analysis and scientific computing. The ARRAY'2016 workshop, which is held June 14, 2016 in Santa Barbara in connection with PLDI'2016, is intended to bring together researchers from many different communities, including language designers, library developers, compiler researchers, and practitioners who are working on numeric, array-centric aspects of programming languages, libraries, and methodologies from all domains: imperative or declarative, object-oriented or not, interpreted or compiled, strongly typed, weakly typed, or untyped. The aim of this workshop is to foster the cross-pollination of concepts across projects and research communities and to explore new directions. To learn about the exiting program and the topics of the ARRAY'2016 two invited talks by Principal Engineer, Bradford Chamberlain, CRAY, and User Experience Director, Morten Kromberg, Dyalog Ltd, please consult the ARRAY'2016 web site at http://conf.researchr.org/track/pldi-2016/ARRAY-2016.