Abstract is missing.
- Programming by Examples: PL Meets MLSumit Gulwani, Prateek Jain. 3-20 [doi]
- Synthesizing SystemC Code from Delay Hybrid CSPGaogao Yan, Li Jiao, Shuling Wang, Naijun Zhan. 21-41 [doi]
- Taming Message-Passing Communication in Compositional Reasoning About ConfidentialityXimeng Li, Heiko Mantel, Markus Tasch. 45-66 [doi]
- Capabilities for Java: Secure Access to ResourcesIan J. Hayes, Xi Wu, Larissa A. Meinicke. 67-84 [doi]
- Enforcing Programming Guidelines with Region Types and EffectsSerdar Erbatur, Martin Hofmann 0001, Eugen Zalinescu. 85-104 [doi]
- Automatically Generating Secure Wrappers for SGX Enclaves from Separation Logic SpecificationsNeline van Ginkel, Raoul Strackx, Frank Piessens. 105-123 [doi]
- Black-Box Equivalence Checking Across Compiler OptimizationsManjeet Dahiya, Sorav Bansal. 127-147 [doi]
- Weakly Sensitive Analysis for Unbounded Iteration over JavaScript ObjectsYoonseok Ko, Xavier Rival, Sukyoung Ryu. 148-168 [doi]
- Decision Procedure for Entailment of Symbolic Heaps with ArraysDaisuke Kimura, Makoto Tatsuta. 169-189 [doi]
- Bringing Order to the Separation Logic JungleQinxiang Cao, Santiago Cuellar, Andrew W. Appel. 190-211 [doi]
- Programming and Proving with Classical TypesCristina Matache, Victor B. F. Gomes, Dominic P. Mulligan. 215-234 [doi]
- Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-VousAdrien Pommellet, Tayssir Touili. 235-254 [doi]
- Verified Root-Balanced TreesTobias Nipkow. 255-272 [doi]
- Safety and Liveness of MCS Lock - Layer by LayerJieung Kim, Vilhelm Sjöberg, Ronghui Gu, Zhong Shao. 273-297 [doi]
- Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data AccessYongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu. 301-320 [doi]
- Efficient Functional Reactive Programming Through Incremental BehaviorsBob Reynders, Dominique Devriese. 321-338 [doi]
- Implementing Algebraic Effects in C - "Monads for Free in C"Daan Leijen. 339-363 [doi]
- Sound and Efficient Language-Integrated Query - Maintaining the ORDEROleg Kiselyov, Tatsuya Katsushima. 364-383 [doi]
- A Computational Interpretation of Context-Free ExpressionsMartin Sulzmann, Peter Thiemann. 387-405 [doi]
- Partiality and Container MonadsTarmo Uustalu, Niccolò Veltri. 406-425 [doi]
- The Negligible and Yet Subtle Cost of Pattern MatchingBeniamino Accattoli, Bruno Barras. 426-447 [doi]
- A Lambda Calculus for Density Matrices with Classical and Probabilistic ControlsAlejandro Díaz-Caro. 448-467 [doi]
- Compact Difference Bound MatricesAziem Chawdhary, Andy King. 471-490 [doi]
- Sharper and Simpler Nonlinear Interpolants for Program VerificationTakamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo. 491-513 [doi]
- A Nonstandard Functional Programming LanguageHirofumi Nakamura, Kensuke Kojima, Kohei Suenaga, Atsushi Igarashi. 514-533 [doi]
- Counterexample-Guided Bit-Precision SelectionShaobo He, Zvonimir Rakamaric. 534-553 [doi]