Visible to the public POPL 2017Conflict Detection Enabled

Submitted by Anonymous on Wed, 12/28/2016 - 3:51pm
Jan 15, 2017 7:00 am - Jan 21, 2017 6:00 pm CET

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?
  • Francois 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
Event Details
Location: 
Paris, France
URL: 
http://popl17.sigplan.org/