Powered by
Proceedings of the ACM on Programming Languages, Volume 2, Number POPL,
January 7–13, 2018,
Los Angeles, CA, USA
Frontmatter
Strings
Types and Effects 1
Verification
Interpretation and Evaluation
Memory and Concurrency
Types
Consistency
Types and Effects 2
Data-Centric Dynamic Partial Order Reduction
Marek Chalupa, Krishnendu Chatterjee
, Andreas Pavlogiannis, Nishant Sinha, and Kapil Vaidya
(Masaryk University, Czechia; IST Austria, Austria; Kena Labs, India; IIT Bombay, India)
Termination
A New Proof Rule for Almost-Sure Termination
Annabelle McIver, Carroll Morgan, Benjamin Lucien Kaminski, and Joost-Pieter Katoen
(Macquarie University, Australia; UNSW, Australia; Data61 at CSIRO, Australia; RWTH Aachen University, Germany; University College London, UK; IST Austria, Austria)
Outside the Box
Linearity in Higher-Order Recursion Schemes
Pierre Clairambault, Charles Grellois, and Andrzej S. Murawski
(University of Lyon, France; CNRS, France; ENS Lyon, France; Claude Bernard University Lyon 1, France; LIP, France; Inria, France; Aix-Marseille University, France; ENSAM, France; University of Toulon, France; University of Oxford, UK)
Language Design
Dependent Types
Testing and Verification
Dynamic Languages
Program Analysis
Refinement Reflection: Complete Verification with SMT
Niki Vazou, Anish Tondwalkar,
Vikraman Choudhury , Ryan G. Scott, Ryan R. Newton, Philip Wadler
, and Ranjit Jhala
(University of Maryland, USA; University of California at San Diego, USA; Indiana University, USA; University of Edinburgh, UK; Input Output HK, UK)
Artifacts Functional
Probability
Denotational Validation of Higher-Order Bayesian Inference
Adam Ścibior, Ohad Kammar, Matthijs Vákár,
Sam Staton ,
Hongseok Yang , Yufei Cai, Klaus Ostermann
, Sean K. Moss, Chris Heunen
, and Zoubin Ghahramani
(University of Cambridge, UK; MPI Tübingen, Germany; University of Oxford, UK; KAIST, South Korea; University of Tübingen, Germany; University of Edinburgh, UK; Uber AI Labs, USA)
Info
Synthesis
Types for State
Recalling a Witness: Foundations and Applications of Monotonic State
Danel Ahman, Cédric Fournet
,
Cătălin Hriţcu, Kenji Maillard
, Aseem Rastogi
, and Nikhil Swamy
(Inria, France; Microsoft Research, UK; ENS Paris, France; Microsoft Research, India; Microsoft Research, USA)
Info
Artifacts Functional
proc time: 0.1