[TYPES/announce] Final call for participation: PLDI 2016 co-located events

Manu Sridharan manu at sridharan.net
Wed Jun 1 13:02:16 EDT 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
+ FMS: Formal Methods for Security
+ PLMW at PLDI: Programming Languages Mentoring Workshop
+ SOAP: International Workshop on the State Of the Art in Java Program
+ 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:


Some further details from workshop organizers is below.

Manu Sridharan
PLDI 2016 Publicity Chair

*SOAP at 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 :

*FMSEC Call for Participation*
While the fields of security and of formal methods/programming languages
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

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
problems in security (systems security, information security, malware,
that could benefit from formal techniques (programming language paradigms,
verification, model-checking, efficient constraint solving, synthesis,

See the list of speakers at:

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

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160601/36e06998/attachment-0001.html>

More information about the Types-announce mailing list