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-Driven CHC Solver
Distinguished Artifact Award
Participants at PLDI and affiliated events are welcome to join the PLDI Slack. Here is the Link to register. Here are the channels we have so far:
- #announcements
- #hallway-track - use this for any kind of research discussion, e.g., advertising your work, finding folks to chat with, etc.
- #ride-sharing - coordinate rides to/from airport etc
- #social - with so many great talks, workshops, tutorials, etc. you probably won’t have time for anything else, but if you do, you can coordinate with others here
- #speakers - ask questions about A/V, coordinate practice talks, etc
- …more? - add them yourself or contact the general chair.
If you want to tweet about the conference, we suggest the hashtag #pldi2018.
We’ve posted some tourist information about the local area. Email the general chair if you have more suggestions to add.
Remote participation information is available.
Note: There is no banquet at PLDI. Instead, right after the last session there will be social hours Mon, Tue, and Thu, with drinks. On Wed, the SRC poster session will have (limited) finger food and drinks.
Invited Speakers
Schedule at a Glance
Mon, Jun 18 | Tue, Jun 19 | Wed, Jun 20 | Thu, Jun 21 | Fri, Jun 22 |
---|---|---|---|---|
Tutorials | PLDI | |||
DeepSpec Deep Specifications | ||||
ISMM Memory Management | PLMW Mentoring Workshop | |||
MAPL ML & PL | ARRAY Array Programming | |||
FMS Methods for Security | LCTES Embedded Systems |