POPL 2017

Sun 15 - Sat 21 January 2017

The 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017) is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to experience reports.

The symposium is organised by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG.

Latest news

POPL 2017 is over. There were 722 registrants for the week, 571 of whom registered for POPL.

The program for POPL 2017 and (most) associated events is available: you can plan your conference.

Registration/information desk

The registration/information desk (for both registered user and on-site registrations) will be open for the duration of conference

Location:

On Sunday 15th: first floor (= one floor above the ground) of the 44-45 bar (see map)

From Mon 16th to Sat 21st: Auditorium Hall (see map).

Opening hours:

Sunday - Friday from 8 a.m. to 4 p.m.

Saturday from 8 a.m. to 12 p.m.

Please do not wait until the last moment to fetch your badge, especially on Wednesday the 18th: we are expecting about 700 participants.

Venue and Rooms

A plan of the venue and the rooms for each event is available on line. Click here for a printable version

POPL 2017 Proceedings

The full POPL 2017 proceedings are now available from ACM.

See also the (still growing) list of all associated events proceeding.

Sunday 15th	Monday 16th	Tuesday 17th	Wednesday 18th	Thursday 19th	Saturday 21st
VMCAI Verification, Model Checking, and Abstract Interpretation			POPL Principles of Programming Languages		CoqPL Coq for Programming Languages
SCM Secure Compilation Meeting	CPP Certified Programs and Proofs				N40AI Next 40 Years of Abstract Interpretation
TTT Type Theory Based Tools	PADL Practical Aspects of Declarative Languages				OBT Off the Beaten Track
	PEPM Partial Evaluation and Program Manipulation				PiP Principles in Practice
	Tutorials	PLMW Programming Languages Mentoring			RDP Reasoning about Declarative Programs
		PPS Probabilistic Programming Semantics	Banquet	SRC Student Research Competition

Invited speakers

The Influence of Dependent Types

Stephanie Weirich

40 Years of Abstract Interpretation — An Interview with Patrick Cousot

Patrick Cousot, Roberto Giacobazzi

Rust: from POPL to practice

Aaron Turon

Tutorials

Fast and Precise Type Checking for JavaScript: Are you in Flow?

Avik Chaudhuri

The State of the Art in Gradual Typing

Jeremy G. Siek

Let's Implement Your New Analysis using Industrially Strengthened Frama-C Plugins

François Bobot, Loïc Correnson, Boris Yakobowski

The Lean Theorem Prover

Leonardo de Moura, Gabriel Ebner, Jared Roesch, Sebastian Ullrich

POPL’17 is supported by the following institutions:

	Gold Supporter
	Gold Supporter
	Gold Supporter
	Gold Supporter
	Gold Supporter
	Gold Supporter
	Silver Supporter
	Bronze Supporter
	Bronze Supporter
	Bronze Supporter
	Bronze Supporter
	Sponsor