Abstract is missing.
- Proactive Synthesis of Recursive Tree-to-String Functions from ExamplesMikaël Mayer, Jad Hamza, Viktor Kuncak. [doi]
- Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in IrisJan-Oliver Kaiser, Hoang-Hai Dang, Derek Dreyer, Ori Lahav, Viktor Vafeiadis. [doi]
- Concurrent Data Structures Linked in TimeGermán Andrés Delbianco, Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee. [doi]
- Promising Compilation to ARMv8 POPAnton Podkopaev, Ori Lahav, Viktor Vafeiadis. [doi]
- Speeding Up Maximal Causality Reduction with Static Dependency AnalysisShiyou Huang, Jeff Huang 0001. [doi]
- Retargeting Gradual Typing (Invited Talk)Ross Tate. [doi]
- Data Exploration through Dot-driven DevelopmentTomas Petricek. [doi]
- Contracts in the Wild: A Study of Java ProgramsJens Dietrich, David J. Pearce, Kamil Jezek, Premek Brada, Jens Dietrich. [doi]
- Relaxed Linear References for Lock-free Data StructuresElias Castegren, Tobias Wrigstad. [doi]
- Composing Software in an Age of Dissonance (Invited Talk)Gilad Bracha. [doi]
- Challenges to Achieving High Availability at Scale (Invited Talk)Wolfram Schulte. [doi]
- Evil Pickles: DoS Attacks Based on Object-Graph EngineeringJens Dietrich, Kamil Jezek, Shawn Rasheed, Amjed Tahir, Alex Potanin. [doi]
- Mixing Metaphors: Actors as Channels and Channels as ActorsSimon Fowler, Sam Lindley, Philip Wadler. [doi]
- A Capability-Based Module System for Authority ControlDarya Melicher, Yangqingwei Shi, Alex Potanin, Jonathan Aldrich. [doi]
- IceDust 2: Derived Bidirectional Relations and Calculation Strategy CompositionDaco Harkes, Eelco Visser. [doi]
- Interprocedural Specialization of Higher-Order Dynamic Languages Without Static AnalysisBaptiste Saleil, Marc Feeley. [doi]
- A Co-contextual Type Checker for Featherweight Java Edlira Kuci, Sebastian Erdweg, Oliver Bracevac, Andi Bejleri, Mira Mezini. [doi]
- What's the Optimal Performance of Precise Dynamic Race Detection? - A Redundancy PerspectiveJeff Huang 0001, Arun K. Rajagopalan. [doi]
- muPuppet: A Declarative Subset of the Puppet Configuration LanguageWeili Fu, Roly Perera, Paul Anderson, James Cheney. [doi]
- Mixed Messages: Measuring Conformance and Non-Interference in TypeScriptJack Williams, J. Garrett Morris, Philip Wadler, Jakub Zalewski. [doi]
- Mailbox Abstractions for Static Analysis of Actor ProgramsQuentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover. [doi]
- Parallelizing Julia with a Non-Invasive DSLTodd A. Anderson, Hai Liu, Lindsey Kuper, Ehsan Totoni, Jan Vitek, Tatiana Shpeisman. [doi]
- An Empirical Study on Deoptimization in the Graal CompilerYudi Zheng, Lubomír Bulej, Walter Binder. [doi]
- Type Abstraction for Relaxed NoninterferenceRaimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter. [doi]
- Compiling Tree Transforms to Operate on Packed RepresentationsMichael Vollmer, Sarah Spall, Buddhika Chamith, Laith Sakka, Chaitanya Koparkar, Milind Kulkarni 0001, Sam Tobin-Hochstadt, Ryan Newton. [doi]
- A Linear Decomposition of Multiparty Sessions for Safe Distributed ProgrammingAlceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida. [doi]
- A Generic Approach to Flow-Sensitive Polymorphic EffectsColin S. Gordon. [doi]
- Front Matter, Table of Contents, Foreword, Conference Organization, External Reviewers, Authors [doi]
- EVF: An Extensible and Expressive Visitor Framework for Programming Language ReuseWeixin Zhang, Bruno C. D. S. Oliveira. [doi]
- Modelling Homogeneous Generative Meta-ProgrammingMartin Berger, Laurence Tratt, Christian Urban. [doi]
- Towards Strong Normalization for Dependent Object Types (DOT)Fei Wang, Tiark Rompf. [doi]