Abstract is missing.
- Substructural Proofs as AutomataHenry DeYoung, Frank Pfenning. 3-22 [doi]
- Learning a Strategy for Choosing Widening Thresholds from a Large CodebaseSooyoung Cha, Sehun Jeong, Hakjoo Oh. 25-41 [doi]
- AUSPICE-R: Automatic Safety-Property Proofs for Realistic Features in Machine CodeJiaqi Tan, Hui Jun Tay, Rajeev Gandhi, Priya Narasimhan. 42-62 [doi]
- Observation-Based Concurrent Program Logic for Relaxed Memory Consistency ModelsTatsuya Abe, Toshiyuki Maeda. 63-84 [doi]
- SPEC: An Equivalence Checker for Security ProtocolsAlwen Tiu, Nam Nguyen, Ross Horne. 87-95 [doi]
- Binary Session Types for Psi-CalculiHans Hüttel. 96-115 [doi]
- Static Trace-Based Deadlock Analysis for Synchronous Mini-GoKai Stadtmüller, Martin Sulzmann, Peter Thiemann. 116-136 [doi]
- AkkaProf: A Profiler for Akka Actors in Parallel and Distributed ApplicationsAndrea Rosà, Lydia Y. Chen, Walter Binder. 139-147 [doi]
- A Debugger-Cooperative Higher-Order Contract System in PythonRyoya Arai, Shigeyuki Sato, Hideya Iwasaki. 148-168 [doi]
- A Sound and Complete Bisimulation for Contextual Equivalence in \lambda -Calculus with Call/ccTaichi Yachi, Eijiro Sumii. 171-186 [doi]
- A Realizability Interpretation for Intersection and Union TypesDaniel J. Dougherty, Ugo de'Liguoro, Luigi Liquori, Claude Stolze. 187-205 [doi]
- Open Call-by-ValueBeniamino Accattoli, Giulio Guerrieri. 206-226 [doi]
- Implementing Cantor's ParadiseFurio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto. 229-250 [doi]
- Unified Syntax with Iso-typesYanpeng Yang, Xuan Bi, Bruno C. D. S. Oliveira. 251-270 [doi]
- Refined Environment Classifiers - Type- and Scope-Safe Code Generation with Mutable CellsOleg Kiselyov, Yukiyoshi Kameyama, Yuto Sudo. 271-291 [doi]
- Higher-Order Model Checking in Direct StyleTaku Terao, Takeshi Tsukada, Naoki Kobayashi 0001. 295-313 [doi]
- Verifying Concurrent Graph AlgorithmsAzalea Raad, Aquinas Hobor, Jules Villard, Philippa Gardner. 314-334 [doi]
- Verification of Higher-Order Concurrent Programs with Dynamic Resource CreationKazuhide Yasukata, Takeshi Tsukada, Naoki Kobayashi 0001. 335-353 [doi]
- Probabilistic Programming Language and its Incremental EvaluationOleg Kiselyov. 357-376 [doi]
- Eliom: A Core ML Language for Tierless Web ProgrammingGabriel Radanne, Jérôme Vouillon, Vincent Balat. 377-397 [doi]
- DOM: Specification and Client ReasoningAzalea Raad, José Fragoso Santos, Philippa Gardner. 401-422 [doi]
- Decision Procedure for Separation Logic with Inductive Definitions and Presburger ArithmeticMakoto Tatsuta, Quang Loc Le, Wei-Ngan Chin. 423-443 [doi]
- Completeness for a First-Order Abstract Separation LogicZhe Hou, Alwen Tiu. 444-463 [doi]