PLDI 2019

PLDI is the premier forum in the field of programming languages and programming systems research, covering the areas of design, implementation, theory, applications, and performance.

PLDI 2019 was part of the ACM Federated Computing Research Conference (FCRC), June 22-26. Co-located venues included ISCA, SIGMETRICS, SPAA, STOC, EC, E-energy, HPDC, ICS, IWQoS, ISMM, LCTES, and COLT, providing opportunities to meet with colleagues in a wide range of research areas.

The main PLDI conference was held Monday, 24 June through Wednesday, 26 June. Workshops and tutorials were held on Saturday, 22 June and Sunday, 23 June.

Proceedings for PLDI and affiliated events are available through SIGPLAN OpenTOC.

Distinguished Papers

• Low-Latency Graph Streaming Using Compressed Purely-Functional Trees
• Continuously Reasoning about Programs using Differential Bayesian Inference
• Towards Certified Separate Compilation for Concurrent Programs
• An Inductive Synthesis Framework for Verifiable Reinforcement Learning
• A Typed, Algebraic Approach to Parsing
• Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness

If you wanted to tweet about the conference, we suggested the hashtag #pldi2019.

PLDI follows the ACM Policy Against Harassment at ACM Activities. Please familiarize yourself with the ACM Policy Against Harassment and guide to Reporting Unacceptable Behavior.