Powered by
44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017),
January 15–21, 2017,
Paris, France
Frontmatter
Keynotes
Abstract Interpretation
Type Systems 1
Probabilistic Programming
Concurrency 1
Logic
Coming to Terms with Quantified Reasoning
Laura Kovács, Simon Robillard, and Andrei Voronkov
(Vienna University of Technology, Austria; Chalmers University of Technology, Sweden; University of Manchester, UK)
Compiler Optimisation
Stream Fusion, to Completeness
Oleg Kiselyov
, Aggelos Biboudis, Nick Palladinos, and Yannis Smaragdakis
(Tohoku University, Japan; University of Athens, Greece; Nessos IT, Greece)
Info
Program Analysis
Relational Cost Analysis
Ezgi Çiçek, Gilles Barthe, Marco Gaboardi,
Deepak Garg , and Jan Hoffmann
(MPI-SWS, Germany; IMDEA Software Institute, Spain; SUNY Buffalo, USA; Carnegie Mellon University, USA)
Type Systems 2
Concurrency 2
Mixed-Size Concurrency: ARM, POWER, C/C++11, and SC
Shaked Flur, Susmit Sarkar,
Christopher Pulte , Kyndylan Nienhuis, Luc Maranget
, Kathryn E. Gray, Ali Sezgin, Mark Batty
, and Peter Sewell
(University of Cambridge, UK; University of St. Andrews, UK; Inria, France; University of Kent, UK)
Info
Functional Programming with Effects
Do Be Do Be Do
Sam Lindley
, Conor McBride, and Craig McLaughlin
(University of Edinburgh, UK; University of Strathclyde, UK)
Dijkstra Monads for Free
Danel Ahman,
Cătălin Hriţcu, Kenji Maillard, Guido Martínez, Gordon Plotkin,
Jonathan Protzenko , Aseem Rastogi
, and Nikhil Swamy
(University of Edinburgh, UK; Microsoft Research, USA; Inria, France; ENS, France; Rosario National University, Argentina; Microsoft Research, India)
Semantic Foundations
Logic and Programming
Verification and Synthesis
Learning Nominal Automata
Joshua Moerman, Matteo Sammartino, Alexandra Silva
, Bartek Klin, and Michał Szynwelski
(Radboud University Nijmegen, Netherlands; University College London, UK; University of Warsaw, Poland)
On Verifying Causal Consistency
Ahmed Bouajjani, Constantin Enea, Rachid Guerraoui
, and Jad Hamza
(University of Paris Diderot, France; EPFL, Switzerland; Inria, France)
Type Systems 3
Concurrency 3
Gradual Typing and Contracts
Quantum
The Geometry of Parallelism: Classical, Probabilistic, and Quantum Effects
Ugo Dal Lago , Claudia Faggian, Benoît Valiron, and Akira Yoshimizu
(University of Bologna, Italy; Inria, France; CNRS, France; University of Paris Diderot, France; University of Paris-Saclay, France; University of Tokyo, Japan)
Security and Privacy
proc time: 0.97