| 2018 | A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints. Quang Loc Le, Mengda He |
| 2018 | Automated Modular Verification for Relaxed Communication Protocols. Andreea Costea, Wei-Ngan Chin, Shengchao Qin, Florin Craciun |
| 2018 | Automated Proof Synthesis for the Minimal Propositional Logic with Deep Neural Networks. Taro Sekiyama, Kohei Suenaga |
| 2018 | Automated Synthesis of Functional Programs with Auxiliary Functions. Shingo Eguchi, Naoki Kobayashi, Takeshi Tsukada |
| 2018 | Certifying CPS Transformation of Let-Polymorphic Calculus Using PHOAS. Urara Yamada, Kenichi Asai |
| 2018 | Complexity Analysis of Tree Share Structure. Xuan Bach Le, Aquinas Hobor, Anthony W. Lin |
| 2018 | Factoring Derivation Spaces via Intersection Types. Pablo Barenbaum, Gonzalo Ciruelos |
| 2018 | Formal Small-Step Verification of a Call-by-Value Lambda Calculus Machine. Fabian Kunze, Gert Smolka, Yannick Forster |
| 2018 | HoIce: An ICE-Based Non-linear Horn Clause Solver. Adrien Champion, Naoki Kobayashi, Ryosuke Sato |
| 2018 | Model Checking Differentially Private Properties. Depeng Liu, Bow-Yaw Wang, Lijun Zhang |
| 2018 | Modular Verification of SPARCv8 Code. Junpeng Zha, Xinyu Feng, Lei Qiao |
| 2018 | New Approaches for Almost-Sure Termination of Probabilistic Programs. Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee |
| 2018 | Non-linear Pattern Matching with Backtracking for Non-free Data Types. Satoshi Egi, Yuichi Nishiwaki |
| 2018 | On the Complexity of Pointer Arithmetic in Separation Logic. James Brotherston, Max I. Kanovich |
| 2018 | On the Soundness of Call Graph Construction in the Presence of Dynamic Language Features - A Benchmark and Tool Evaluation. Li Sui, Jens Dietrich, Michael Emery, Shawn Rasheed, Amjed Tahir |
| 2018 | Particle-Style Geometry of Interaction as a Module System. Ulrich Schöpp |
| 2018 | Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings Sukyoung Ryu |
| 2018 | Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models. Thibault Suzanne, Antoine Miné |
| 2018 | Scallina: Translating Verified Programs from Coq to Scala. Youssef El Bakouny, Dani Mezher |
| 2018 | Shallow Effect Handlers. Daniel Hillerström, Sam Lindley |
| 2018 | The Practice of a Compositional Functional Programming Language. Timothy Jones, Michael Homer |
| 2018 | Traf: A Graphical Proof Tree Viewer Cooperating with Coq Through Proof General. Hideyuki Kawabata, Yuta Tanaka, Mai Kimura, Tetsuo Hironaka |
| 2018 | Types of Fireballs. Beniamino Accattoli, Giulio Guerrieri |