Final call for participation: PLDI 2016 co-located events

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

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.