IBM Programming Languages Day - PL Day 2017

Poster 2017

The 2017 Programming Languages (PL) day will be held at the IBM T.J. Watson Research Center in Yorktown Heights, NY, on Monday, December 4th, 2017. This is a one day event that will feature a keynote by Joe Pamer (Facebook), several conference-style talks, and opportunities to discuss current research and results in programming languages and systems.

The event is open to all researchers and we encourage participation from students and professors. The main goal of the event is to increase awareness of each other's work, and to encourage interaction and collaboration.

PL day is held in cooperation with the New Jersey and New England Programming Languages and Systems Seminars.

Selection Committee:

Konstantinos Mamouras (University of Pennsylvania)
Heather Miller (Northeastern University)
Zhong Shao (Yale University)
Thomas Wies (NYU)
Louis Mandel (IBM Research - Organizer)
Jerome Simeon (IBM Research - Organizer)

Important Dates:
- Abstract submission: 3 November 2017 (extended to 5 November 2017)
- Decision: 13 November 2017
- Registration date: 24 November 2017
- IBM PL Day: 4 December 2016


Registration is open!

Attendees should register no later than November 24. We welcome everyone to arrive at the IBM T.J. Watson Research Center in Yorktown Heights starting at 9:00AM. The first presentation will start promptly at 9:25AM. We expect the program to run no later than 5:30PM. Further details regarding local arrangements will be posted closer to the day of the event.


  • 09:00-09:25 - Welcome Breakfast
  • 09:25-10:30 - Session 1
    • Dependent Session Types
      Hanwen Wu and Hongwei Xi (Boston University)
    • Flow Interfaces: Compositional Abstractions for Concurrent Data Structures
      Siddharth Krishna (New York University)
    • Sound, Complete, and Tractable Linearizability Monitoring for Concurrent Collections
      Michael Emmi (SRI)
    • Beyond correct and fast: Inspection Testing
      Joachim Breitner (UPenn)
    • ExceLint: Automatically Finding Formula Errors in Spreadsheets
      Emery Berger (University of Massachusetts Amherst)
  • 10:30-11:00 - Coffee Break
  • 11:00-12:00 - Session 2
    • Zélus, a Synchronous Language with ODEs for Hybrid Systems Modeling
      Marc Pouzet and Timothy Bourke (ENS, France)
    • Synthesizing Functional Reactive Programs
      Mark Santolucito (Yale)
    • Composing Serverless Applications with IBM Cloud Functions
      Kerry Chang, Nick Mitchell, Rodric Rabbah, Olivier Tardieu (IBM)
    • Usable Declarative Configuration Specification and Validation for Applications, Systems, and Cloud
      Salman A. Baset (IBM)
    • Safe and Verifiable Quantum Circuits in QWIRE
      Jennifer Paykin (UPenn)
  • 12:00-13:00 - Lunch - Cafeteria Annex
  • 13:00-14:00 - Keynote
    • Software is eating the world, but ML is going to eat software
      Joe Pamer (Facebook)
  • 14:00-14:30 - Coffee Break
  • 14:30-15:30 - Session 3
    • Interactive writing and debugging of bayesian probabilistic programs
      Javier Burroni, Arjun Guha, David Jensen (University of Massachusetts Amherst)
    • Applying Decision Trees to Reduce Energy-Delay Product
      Joe Chiu, Eliot Moss (University of Massachusetts Amherst)
    • Wrestling Control from the Browser: Compiling to JavaScript with Fewer Compromises
      Samuel Baxter, Rachit Nigam, Arjun Guha (University of Massachusetts Amherst)
    • Browsix: Bridging the Gap Between Unix and the Browser
      Bobby Powers (University of Massachusetts Amherst)
    • Dynamic Slicing for Android
      Iulian Neamtiu (New Jersey Institute of Technology)
  • 15:30-16:00 - Coffee Break
  • 16:00:17:15 - Session 4
    • Foundational program verification using the Verified Software Toolchain
      William Mansky, Lennart Beringer, Andrew Appel (Princeton)
    • Checked C for Safety, Gradually
      Andrew Ruef, Michael Hicks (UMD)
    • Proactive Empirical Assessment of New Language Feature Adoption via Automated Refactoring: The Case of Java 8 Default Methods
      Raffi Khatchadourian (CUNY), Hidehiko Masuhara (Tokyo Institute of Technology)
    • Training and Tuning Machine-Learning Applications: A View from the Trenches
      Matthew Arnold and Harold Ossher (IBM)
    • Tackling Lack of Software Specifications: A Sustained Sustainability and Productivity Crisis
      Hridesh Rajan (Iowa State University)
    • VoxPL: Programming with the Wisdom of the Crowd
      Daniel Barowy (Williams College)

Keynote: Joe Pamer (Facebook): Software is eating the world, but ML is going to eat software

"Democratizing ML" is a hot topic these days - particularly in industry. Efficiency, composability and accessibility of machine learning technology are active areas of investment for many research and product groups. Unfortunately, while machine learning has the potential to fundamentally improve how software is constructed, opportunities to leverage machine learning to improve more conventional developer tools (languages, compilers, and IDEs for example) have largely gone untapped.

At Facebook we want to seize this opportunity. Our Developer Infrastructure team is on a mission to fundamentally rethink and retool Facebook's developer toolchain by applying machine learning at every layer in our stack. Our goal is to make our developers more productive, and our processes and infrastructure more efficient, by deeply integrating ML into our programming languages and developer tools (such as IDEs, version control, or continuous integration systems) in novel ways.

This talk will detail the work our team has done to improve developer efficiency and resource utilization at Facebook - from updating the Hack programming language to support probabilistic programming techniques, to developing a new suite of AI-driven developer tools. I'll describe the lessons we've learned along the way, as well as future opportunities we see to optimize or auto-tune other common pieces of developer infrastructure.

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