IBM Programming Languages Day - PL Day 2016

Programming Languages Day 2016 

The 2016 Programming Languages Day (PL day) will be held at the IBM T.J. Watson Research Center on December, 5th. This is a one day event that will feature a keynote by Chris Lattner (Apple Inc.) and several conference-style talks. The event is open to all IBMers and we encourage local participation from professors and students.

Registration requiered for non-IBMers


From To Room Session Title Slides
9:30 10:00 Auditorium Welcome  Breakfast & Welcome  
10:00 11:00 Auditorium Keynote Chris Lattner. Swift: Opportunities for Language and Compiler Research  pdf
11:00 11:20 Mezzanine Coffee break    
11:20 11:40 Auditorium Session 1    Rajeev Alur, Zachary G. Ives, Sanjeev Khanna, Konstantinos Mamouras, Mukund Raghothaman. StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data  
11:40 12:00 Richard Townsend. From Functional Programs to Pipelined Dataflow Circuits  pdf
12:00 12:20 Guillaume Baudart, Jamie Jennings, Louis Mandel, Olivier Tardieu, Mandana Vaziri. CloudLens: A Scripting Language to Analyze Semi-Structured Textual Data  pdf
12:20 12:40 Billy Moses, Charles Leiserson, TB Schardl. Tapir: Embedding Fork-Join Parallelism into LLVM's Intermediate Representation  
12:40 13:00 Hyojin Sung, Tong Chen, Zehra Sura. Automatic Copying of Pointer-Based Data Structures for Distributed Memories  pdf
13:00 14:00 24-000 Lunch    
14:00 14:20 Auditorium Session 2 Vugranam Sreedhar. Blockchain as Linear Types  
14:20 14:40 Cyrus Omar. Hazel: Semantic Foundations for Interactive Programming Tools  pdf
14:40 15:00 Xin Zhang. A User-Guided Approach to Program Analysis  pdf
15:00 15:20 Harold Ossher. Using the role pattern for flexible handling of JSON in strongly-typed languages  
15:20 15:50 Mezzanine Coffee break    
15:50 16:10 Auditorium Session 3     Iulian Neamtiu. Finding Resume and Restart Errors in Android Applications  pdf
16:10 16:30 Arjun Radhakrishna. Synthesis of Interface Specifications for Android Classes  
16:30 16:50 William Hallahan. Automated Firewall Repair via Example-Based Synthesis.  
16:50 17:10 Marco Pistoia. Combining static analysis and machine learning for industrial-quality information-flow-security enforcement  


Important Dates:
- Abstract submission: 11 November 2016
- Decision: 21 November 2016
- Registration date: 28 November 2016 (late registrations are still accepted)
- IBM PL Day: 5 December 2016

Keynote: Chris Lattner, Swift: Opportunities for Language and Compiler Research

Swift is a modern programming language which aims to be expressive and fun to use, while also generating fast code, being memory safe by default, and usable for many different tasks. Initially developed by Apple, Swift was released as open source in 2015, including support for Linux (see It is already incredibly popular for writing apps for Apple platforms, and is gaining traction in uses ranging from extremely high level scripting to low-level systems programming. Though Swift is only two years old, it is one of the fastest growing programming languages in history: there are over a hundred thousand apps in customer hands, it is installed on millions of developer machines, and its incredibly vibrant open source community is bringing it to many new platforms. This talk gives a brief introduction to Swift, then dives into interesting aspects of its design and implementation which open new opportunities for language, compiler, runtime, and virtual machine research.

Contact: For any questions, please contact one of the co-organizers: Louis Mandel ( or Jerome Simeon (