Abstract is missing.
- Foundations of C++Bjarne Stroustrup. 1-25 [doi]
- What's Decidable about Weak Memory Models?Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi. 26-46 [doi]
- A Formally Verified SSA-Based Middle-End - Static Single Assignment Meets CompCertGilles Barthe, Delphine Demange, David Pichardie. 47-66 [doi]
- Eventually Consistent TransactionsSebastian Burckhardt, Daan Leijen, Manuel Fähndrich, Mooly Sagiv. 67-86 [doi]
- Concurrent Library Correctness on the TSO Memory ModelSebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang. 87-107 [doi]
- Automated Verification of Equivalence Properties of Cryptographic ProtocolsRohit Chadha, Stefan Ciobaca, Steve Kremer. 108-127 [doi]
- The Call-by-Need Lambda Calculus, RevisitedStephen Chang, Matthias Felleisen. 128-147 [doi]
- A Compositional Specification Theory for Component BehavioursTaolue Chen, Chris Chilton, Bengt Jonsson, Marta Z. Kwiatkowska. 148-168 [doi]
- Probabilistic Abstract InterpretationPatrick Cousot, Michael Monerau. 169-193 [doi]
- Multiparty Session Types Meet Communicating AutomataPierre-Malo Deniélou, Nobuko Yoshida. 194-213 [doi]
- Complete Monitors for Behavioral ContractsChristos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen. 214-233 [doi]
- A Systematic Approach to Delimited Control with Multiple PromptsPaul Downen, Zena M. Ariola. 234-253 [doi]
- Generate, Test, and Aggregate - A Calculation-based Framework for Systematic Parallel Programming with MapReduceKento Emoto, Sebastian Fischer, Zhenjiang Hu. 254-273 [doi]
- Trace Spaces: An Efficient New Technique for State-Space ReductionLisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raußen. 274-294 [doi]
- A Process Algebra for Wireless Mesh NetworksAnsgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan. 295-315 [doi]
- On the Correctness of the SIMT Execution Model of GPUsAxel Habermaier, Alexander Knapp. 316-335 [doi]
- Reasoning about Lock PlacementsPeter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv. 336-356 [doi]
- Reasoning about Multi-stage ProgramsJun Inoue, Walid Taha. 357-376 [doi]
- Fictional Separation LogicJonas Braband Jensen, Lars Birkedal. 377-396 [doi]
- Validating LR(1) ParsersJacques-Henri Jourdan, François Pottier, Xavier Leroy. 397-416 [doi]
- Adding Equations to System F TypesNeelakantan R. Krishnaswami, Nick Benton. 417-435 [doi]
- GMeta: A Generic Formal Metatheory Framework for First-Order RepresentationsGyesik Lee, Bruno C. D. S. Oliveira, Sungkeun Cho, Kwangkeun Yi. 436-455 [doi]
- Expansion for Universal QuantifiersSergueï Lenglet, Joe B. Wells. 456-475 [doi]
- Non-monotonic Self-Adjusting ComputationRuy Ley-Wild, Umut A. Acar, Guy E. Blelloch. 476-496 [doi]
- Java and the Java Memory Model - A Unified, Machine-Checked FormalisationAndreas Lochbihler. 497-517 [doi]
- A Type and Effect System for Determinism in Multithreaded ProgramsYi Lu 0003, John Potter, Chenyi Zhang, Jingling Xue. 518-538 [doi]
- Linear Logical Relations for Session-Based ConcurrencyJorge A. Pérez, Luís Caires, Frank Pfenning, Bernardo Toninho. 539-558 [doi]
- Staged Computation with Staged Lexical ScopeMorten Rhiger. 559-578 [doi]
- Gradual Ownership TypesIlya Sergey, Dave Clarke. 579-599 [doi]