IBM Programming Languages Day - PL 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
Program
| 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 | |
| 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 | |||
| 12:00 | 12:20 | Guillaume Baudart, Jamie Jennings, Louis Mandel, Olivier Tardieu, Mandana Vaziri. CloudLens: A Scripting Language to Analyze Semi-Structured Textual Data | |||
| 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 | |||
| 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 | |||
| 14:40 | 15:00 | Xin Zhang. A User-Guided Approach to Program Analysis | |||
| 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 | |
| 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 https://swift.org/). 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 (lmandel@us.ibm.com) or Jerome Simeon (simeon@us.ibm.com).
Important Dates
- Abstract submission: 17 November 2019
- Decision: 27 November 2019
- Registration date: 4 December 2019
- IBM PL Day: 9 December 2019