PLDI 2018

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. The main PLDI conference will be Wed, 20 June through Fri, 22 June. Workshops and tutorials will be held on Mon, 18 June and Tue, 19 June. Please see the overview below. Proceedings for PLDI and affiliated events are available through SIGPLAN OpenTOC. Distinguished Paper Awards The Semantics of Transactions and Weak Memory in x86, Power, ARMv8, and C++ Program Synthesis using Conflict-Driven Learning A Data-D ...