We invite those attending PLDI 2016 in Santa Barbara (http://conf.researchr.org/
+ 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/
Some further details from workshop organizers is below.
Manu Sridharan
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/
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.
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/