WPLI 2015 Workshop on Programming Languages in Industry Sunday, 12 April, 2015        London, United Kingdom affiliated with ETAPS 2015

This workshop opens a dialogue between researchers and industry experts in programming languages. Topics include all aspects of developer productivity at scale, from programming language design and implementation to software engineering, including static and dynamic analysis and testing. Industrial impact on software reliability due to modern theorem proving technology is also among the topics.

The goal of this event is to foster collaboration between academia and industry on topics of importance for today's software development practices.

Format: invited talks

Location: Queen Mary University of London, Francis Bancroft Building, Room FB.1.13a

Preliminary Programme:

• 11:20 - 11:30: Opening
• 11:30 - 12:00: Avik Chaudhuri + Basil Hosmer (Facebook US). Flow
• 12:00 - 12:30: Dulma Rodriguez (Facebook UK). Static analysis at Facebook

Lunch

• 14:00 - 14:30: Michael Sperber (Active Group GmbH). Functional Programming
• 14:30 - 15:00: Uri Baghin (Facebook UK). Source Control and Building at Facebook
• 15:00 - 15:30: Tyler Sorensen (University College London). GPU Concurrency: Weak Behaviours and Programming Assumptions
• 15:30 - 16:00: Fausto Spoto (Julia Srl). Experience with the Static Analysis of Banking and Insurance Java code with Julia

Coffee break

• 16:30 - 17:00: Don Syme (Microsoft). The F# Path to Relaxation

Organisers:

• Cristiano Calcagno, Facebook
• Carsten Fuhs, University College London
• Anil Madhavapeddy, University of Cambridge