| 2017 | A Computational Interpretation of Context-Free Expressions. Martin Sulzmann, Peter Thiemann |
| 2017 | A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls. Alejandro Díaz-Caro |
| 2017 | A Nonstandard Functional Programming Language. Hirofumi Nakamura, Kensuke Kojima, Kohei Suenaga, Atsushi Igarashi |
| 2017 | Automatically Generating Secure Wrappers for SGX Enclaves from Separation Logic Specifications. Neline van Ginkel, Raoul Strackx, Frank Piessens |
| 2017 | Black-Box Equivalence Checking Across Compiler Optimizations. Manjeet Dahiya, Sorav Bansal |
| 2017 | Bringing Order to the Separation Logic Jungle. Qinxiang Cao, Santiago Cuéllar, Andrew W. Appel |
| 2017 | Capabilities for Java: Secure Access to Resources. Ian J. Hayes, Xi Wu, Larissa A. Meinicke |
| 2017 | Compact Difference Bound Matrices. Aziem Chawdhary, Andy King |
| 2017 | Counterexample-Guided Bit-Precision Selection. Shaobo He, Zvonimir Rakamaric |
| 2017 | Decision Procedure for Entailment of Symbolic Heaps with Arrays. Daisuke Kimura, Makoto Tatsuta |
| 2017 | Efficient Functional Reactive Programming Through Incremental Behaviors. Bob Reynders, Dominique Devriese |
| 2017 | Enforcing Programming Guidelines with Region Types and Effects. Serdar Erbatur, Martin Hofmann, Eugen Zalinescu |
| 2017 | Implementing Algebraic Effects in C - "Monads for Free in C". Daan Leijen |
| 2017 | Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access. Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu |
| 2017 | Partiality and Container Monads. Tarmo Uustalu, Niccolò Veltri |
| 2017 | Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings Bor-Yuh Evan Chang |
| 2017 | Programming and Proving with Classical Types. Cristina Matache, Victor B. F. Gomes, Dominic P. Mulligan |
| 2017 | Programming by Examples: PL Meets ML. Sumit Gulwani, Prateek Jain |
| 2017 | Safety and Liveness of MCS Lock - Layer by Layer. Jieung Kim, Vilhelm Sjöberg, Ronghui Gu, Zhong Shao |
| 2017 | Sharper and Simpler Nonlinear Interpolants for Program Verification. Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo |
| 2017 | Sound and Efficient Language-Integrated Query - Maintaining the ORDER. Oleg Kiselyov, Tatsuya Katsushima |
| 2017 | Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous. Adrien Pommellet, Tayssir Touili |
| 2017 | Synthesizing SystemC Code from Delay Hybrid CSP. Gaogao Yan, Li Jiao, Shuling Wang, Naijun Zhan |
| 2017 | Taming Message-Passing Communication in Compositional Reasoning About Confidentiality. Ximeng Li, Heiko Mantel, Markus Tasch |
| 2017 | The Negligible and Yet Subtle Cost of Pattern Matching. Beniamino Accattoli, Bruno Barras |
| 2017 | Verified Root-Balanced Trees. Tobias Nipkow |
| 2017 | Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects. Yoonseok Ko, Xavier Rival, Sukyoung Ryu |