Abstract is missing.
- Fine-grained Language Composition: A Case StudyEdd Barrett, Carl Friedrich Bolz, Lukas Diekmann, Laurence Tratt. [doi]
- Reference Capabilities for Concurrency ControlElias Castegren, Tobias Wrigstad. [doi]
- Object Inheritance Without ClassesTimothy Jones 0002, Michael Homer, James Noble, Kim B. Bruce. [doi]
- Program Tailoring: Slicing by Sequential CriteriaYue Li, Tian Tan, Yifei Zhang, Jingling Xue. [doi]
- IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object GraphsDaco Harkes, Danny M. Groenewegen, Eelco Visser. [doi]
- Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for JavaJohannes Späth, Lisa Nguyen Quang Do, Karim Ali, Eric Bodden. [doi]
- LJGS: Gradual Security Types for Object-Oriented LanguagesLuminous Fennell, Peter Thiemann. [doi]
- Front Matter, Table of Contents, Preface, List of Authors [doi]
- One Way to Select ManyJaakko Järvi, Sean Parent. [doi]
- Trace Typing: An Approach for Evaluating Retrofitted Type SystemsEsben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen. [doi]
- Higher-Order Demand-Driven Program AnalysisZachary Palmer, Scott F. Smith. [doi]
- Formal Language Recognition with the Java Type CheckerYossi Gil, Tomer Levy. [doi]
- Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic SemanticsCasper Bach Poulsen, Pierre Néron, Andrew P. Tolmach, Eelco Visser. [doi]
- The Elements of Decision AlignmentMark S. Miller, Bill Tulloh. [doi]
- Transforming Programs between APIs with Many-to-Many MappingsChenglong Wang, Jiajun Jiang, Jun Li, Yingfei Xiong, Xiangyu Luo, Lu Zhang, Zhenjiang Hu. [doi]
- Towards Ontology-Based Program AnalysisYue Zhao, Guoyang Chen, Chunhua Liao, Xipeng Shen. [doi]
- Lightweight Session Programming in ScalaAlceste Scalas, Nobuko Yoshida. [doi]
- Composing Interfering Abstract ProtocolsFilipe Militão, Jonathan Aldrich, Luís Caires. [doi]
- Stacatto: A Bug Finder for Dynamic Configuration UpdatesJohn Toman, Dan Grossman. [doi]
- Making an Embedded DBMS JIT-friendlyCarl Friedrich Bolz, Darya Kurilova, Laurence Tratt. [doi]
- Interprocedural Type Specialization of JavaScript Programs Without Type AnalysisMaxime Chevalier-Boisvert, Marc Feeley. [doi]
- Magic with Dynamo -- Flexible Cross-Component Linking for Java with InvokedynamicKamil Jezek, Jens Dietrich. [doi]
- A Calculus for Variational ProgrammingSheng Chen 0008, Martin Erwig, Eric Walkingshaw. [doi]
- QL: Object-oriented Queries on Relational DataPavel Avgustinov, Oege de Moor, Michael Peyton Jones, Max Schäfer. [doi]
- Transactional Tasks: Parallelism in Software TransactionsJanwillem Swalens, Joeri De Koster, Wolfgang De Meuter. [doi]
- C++ const and Immutability: An Empirical Study of Writes-Through-constJon Eyolfson, Patrick Lam. [doi]
- A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON ObjectsAtsushi Ohori, Katsuhiro Ueno, Tomohiro Sasaki, Daisuke Kikuchi. [doi]