POPL 2017

Date: Jan 15, 2017 12:00 am – Jan 21, 2017 11:00 am
Location: Paris, France

The 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL)

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.

Invited speakers

  • The Influence of Dependent Types - Stephanie Weirich
  • 40 Years of Abstract Interpretation - Patrick CousotRoberto Giacobazzi 
  •  Rust: from POPL to practice - Aaron Turon

Tutorials

  • Avik Chaudhuri - Fast and Precise Type Checking for JavaScript: Are you in Flow?
  • François Bobot - Let's Implement Your New Analysis using Industrially Strengthened Frama-C Plugins
  • The Lean Theorem Prover - Leonardo de Moura, Gabriel Ebner, Jared Roesch, Sebastian Ullrich
  • The State of the Art in Gradual Typing - Jeremy Siek
  • Symposium
  • 2017
Submitted by Anonymous on Wed, 12/28/2016 - 14:51