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 (extended to 29 November 2017)
- IBM PL Day: 4 December 2016


Registration is closed!

 Local arrangements:

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.

Information on how to get to the IBM T.J. Watson Research Center can be found here.


  • 09:00-09:25 - Welcome Breakfast
  • 09:25-10:30 - Session 1
    • Dependent Session Types (slides)
      Hanwen Wu and Hongwei Xi (Boston University)
    • Flow Interfaces: Compositional Abstractions for Concurrent Data Structures (slides)
      Siddharth Krishna (New York University)
    • Sound, Complete, and Tractable Linearizability Monitoring for Concurrent Collections (slides)
      Michael Emmi (SRI)
    • Beyond correct and fast: Inspection Testing (slides)
      Joachim Breitner (UPenn)
    • ExceLint: Automatically Finding Formula Errors in Spreadsheets (slides)
      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 (slides)
      Marc Pouzet and Timothy Bourke (ENS, France)
    • Synthesizing Functional Reactive Programs (slides)
      Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito (Yale)
    • Composing Serverless Applications with IBM Cloud Functions (slides)
      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 (video)
    • 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 (slides)
      Javier Burroni, Arjun Guha, David Jensen (University of Massachusetts Amherst)
    • Applying Decision Trees to Reduce Energy-Delay Product (slides)
      Joe Chiu, Eliot Moss (University of Massachusetts Amherst)
    • Wrestling Control from the Browser: Compiling to JavaScript with Fewer Compromises (slides)
      Samuel Baxter, Rachit Nigam, Arjun Guha (University of Massachusetts Amherst)
    • Browsix: Bridging the Gap Between Unix and the Browser (slides)
      John Vilk and Bobby Powers (University of Massachusetts Amherst)
    • Dynamic Slicing for Android (slides)
      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 (slides)
      William Mansky, Lennart Beringer, Andrew Appel (Princeton)
    • Checked C for Safety, Gradually
      Andrew Ruef, Michael Hicks (UMD), Sam Elliott (University of Washington), Ian Sweet (UMD), Michael Hicks (UMD), David Tarditi (Microsoft Research)
    • Proactive Empirical Assessment of New Language Feature Adoption via Automated Refactoring: The Case of Java 8 Default Methods (slides)
      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 (slides)
      Hridesh Rajan (Iowa State University)
    • VoxPL: Programming with the Wisdom of the Crowd (sldies)
      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 (


Important Dates

  • Abstract submission: 17 November 2019
  • Decision: 27 November 2019
  • Registration date: 4 December 2019
  • IBM PL Day: 9 December 2019