Abstract is missing.
- Programming with "Big Code"Eran Yahav. 3-8 [doi]
- Memory-Efficient Tail Calls in the JVM with Imperative Functional ObjectsTomás Tauber, Xuan Bi, Zhiyuan Shi, Weixin Zhang, Huang Li, Zhenrui Zhang, Bruno C. D. S. Oliveira. 11-28 [doi]
- A Secure Compiler for ML ModulesAdriaan Larmuseau, Marco Patrignani, Dave Clarke. 29-48 [doi]
- Detection of Redundant Expressions: A Complete and Polynomial-Time Algorithm in SSARekha R. Pai. 49-65 [doi]
- Separation Logic with Monadic Inductive Definitions and Implicit ExistentialsMakoto Tatsuta, Daisuke Kimura. 69-89 [doi]
- Tree-Like Grammars and Separation LogicChristoph Matheja, Christina Jansen, Thomas Noll. 90-108 [doi]
- Randomized Resource-Aware Path-Sensitive Static AnalysisTomasz Dudziak. 111-126 [doi]
- Quadratic Zonotopes - An Extension of Zonotopes to Quadratic ArithmeticsAssalé Adjé, Pierre-Loïc Garoche, Alexis Werey. 127-145 [doi]
- Abstraction of Optional Numerical ValuesJiangchao Liu, Xavier Rival. 146-166 [doi]
- Fault-Tolerant Resource ReasoningGian Ntzik, Pedro da Rocha Pinto, Philippa Gardner. 169-188 [doi]
- Shifting the Blame - A Blame Calculus with Delimited ControlTaro Sekiyama, Soichiro Ueda, Atsushi Igarashi. 189-207 [doi]
- Aliasing Control in an Imperative Pure CalculusMarco Servetto, Elena Zucca. 208-228 [doi]
- A Strong DistilleryBeniamino Accattoli, Pablo Barenbaum, Damiano Mazza. 231-250 [doi]
- From Call-by-Value to Interaction by Typed Closure ConversionUlrich Schöpp. 251-270 [doi]
- Kripke Open Bisimulation - A Marriage of Game Semantics and Operational TechniquesGuilhem Jaber, Nicolas Tabareau. 271-291 [doi]
- Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing ProgramsYuma Matsumoto, Naoki Kobayashi 0001, Hiroshi Unno. 295-312 [doi]
- Decision Algorithms for Checking Definability of Order-2 Finitary PCFSadaaki Kawata, Kazuyuki Asada, Naoki Kobayashi 0001. 313-331 [doi]
- Uncovering JavaScript Performance Code Smells Relevant to Type MutationsXiao Xiao, Shi Han, Charles Zhang, Dongmei Zhang. 335-355 [doi]
- Analyzing Distributed Multi-platform Java and Android Applications with ShadowVMHaiyang Sun, Yudi Zheng, Lubomír Bulej, Stephen Kell, Walter Binder. 356-365 [doi]
- Quasi-Linearizability is UndecidableChao Wang, Yi Lv, Gaoang Liu, Peng Wu. 369-386 [doi]
- Objects in Polynomial TimeEmmanuel Hainry, Romain Péchoux. 387-404 [doi]
- Programming Techniques for Reversible Comparison SortsHolger Bock Axelsen, Tetsuo Yokoyama. 407-426 [doi]
- Transactions on Mergeable ObjectsDeepthi Devaki Akkoorath, Annette Bieniusa. 427-444 [doi]
- A Sound Type System for Layer Subtyping and Dynamically Activated First-Class LayersHiroaki Inoue, Atsushi Igarashi. 445-462 [doi]
- Bottom-Up Context-Sensitive Pointer Analysis for JavaYu Feng, Xinyu Wang, Isil Dillig, Thomas Dillig. 465-484 [doi]
- More Sound Static Handling of Java ReflectionYannis Smaragdakis, George Balatsouras, George Kastrinis, Martin Bravenboer. 485-503 [doi]