IBM Programming Languages Day - PL Day 2019


The 2019 Programming Languages (PL) day will be held at the IBM T.J. Watson Research Center in Yorktown Heights, NY, on Monday, December 9th, 2019. This is a one day event that will feature 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.


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:30 - Welcome Breakfast
  • 09:30-10:30 - Session 1
    • Expressive Authorization Policies using Computation Principals (slides)
      Anitha Gollamudi (Harvard University), Stephen Chong (Harvard University)
    • Policy-Aware Migrations: Preserving web application security across schema updates (slides)
      John Renner, Alex Sanchez-Stern, Sorin Lerner, Deian Stefan (UCSD)
    • Revisiting Type-Awareness for Automatic Parallelization (slides)
      Ziyang Xu, Sotiris Apostolakis, Greg Chan, Susan Tan, David I. August (Princeton University), Simone Campanoni (Northwestern University)
    • Towards a Self-Certifying Compiler for WebAssembly (slides)
      Anton Xue (University of Pennsylvania), Kedar Namjoshi (Nokia Bell Labs)
  • 10:30-11:00 - Coffee Break
  • 11:00-12:00 - Session 2
    • Data-driven Specification Synthesis for Modular Verification
      William Hallahan (Yale University), Ranjit Jhala (UCSD), Ruzica Piskac (Yale University)
    • Deep Reinforcement Learning for Program Verification and Synthesis (slides)
      Xujie Si (University of Pennsylvania)
    • Formal Methods for Safe Reinforcement Learning with Imperfect Safety Constraints
      Nathan Fulton (IBM Research)
    • Differential Testing for Stream Processing Systems (slides)
      Konstantinos Kallas, Filip Niksic, Caleb Stanford, Rajeev Alur (University of Pennsylvania)
  • 12:00-13:00 - Lunch - Cafeteria Annex
  • 13:00-14:00 - Keynote
    • Formal reasoning about cloud security
      Byron Cook (AWS)
  • 14:00-14:30 - Coffee Break
  • 14:30-15:30 - Session 3
    • Modularity in the Era of Cloud Computing (slides)
      Olivier Tardieu, Dave Grove (IBM)
    • A Tour of Gallifrey, a Language for Geodistributed Programming (slides)
      Matthew Milano (Cornell University), Rolph Recto (Cornell University), Tom Magrino (Google), Andrew Myers (Cornell University)
    • On the Design, Implementation and Use of Laziness in R (slides)
      Aviral Goel (Northeastern University), Jan Vitek (Northeastern University & Czech Technical University in Prague)
    • Designing a Parallel Programming Language while Blogging (slides)
      S. Tucker Taft (AdaCore) 
    • FUDGE: Fuzz Driver Generation at Scale
      Domagoj Babic (Google), Stefan Bucur (Google), Yaohui Chen (Northeastern University), Franjo Ivancic (Google), Tim King (Google), Markus Kusano (Google), Caroline Lemieux (UC Berkeley), László Szekeres (Google), Wei Wang (Google)
  • 15:30-16:00 - Coffee Break
  • 16:00-17:00 - Session 4
    • Compacting the Uncompactable! (slides)
      Bobby Powers, David Tench, Emery D. Berger, Andrew McGregor (UMass Amherst)
    • Automatically Assembling Data Science Workflows Via Expressively-Typed Dependency Injection
      Janek Klawe (Square)
    • Type-Driven Automated Learning with Lale (slides)
      Martin Hirzel, Kiran Kate, Avraham Shinnar, Guillaume Baudart, Subhrajit Roy, Parikshit Ram (IBM Research)
    • The Design and Implementation of a System and Language for Analysis of Large Genetics Datasets (slides)
      Daniel King, John Compitello, Jacqueline Goldstein, Alex Kotlar, Tim Poterba, Patrick Schultz, Milo Turner, Chris Vittal, Arcturus Wang, Cotton Seed (The Broad Institute of MIT and Harvard)


Byron Cook (AWS), Formal reasoning about cloud security 

This talk will discuss the development and use of formal verification tools within Amazon Web Services (AWS) to increase the security assurance of its cloud infrastructure and to help customers secure themselves. 

Byron Cook is Professor of Computer Science at University College London (UCL) and Director of Automated Reasoning at Amazon Web Services. Byron’s interests include computer/network security, program analysis/verification, hardware, operating systems, biological systems, programming languages, theorem proving and logic. Byron is the founder of Amazon’s Automated Reasoning Group (ARG)

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

Abstract Submission:
We welcome all topics related to programming languages and systems including areas such as Serverless, Cloud Native, Block Chain programming, AI programming, Security, and DevOps, and encourage all results, including preliminary work and progress reports. Talks are about 10 minutes long. If you want to present your work, please submit a title and abstract (about 300 words).

Selection committee:
- Saba Alimadadi (Northeastern University)
- Guillaume Baudart (IBM Research)
- Michael Emmi (AWS)
- Louis Mandel (IBM Research)
- Ruzica Piskac (Yale)

For any questions, please contact one of the co-organizers:
- Guillaume Baudart (
- Louis Mandel (

Important Dates

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