Abstract is missing.
- Program Analysis and Machine Learning: A Win-Win DealAditya V. Nori, Sriram K. Rajamani. 1-2 [doi]
- Software Verification with Liquid TypesRanjit Jhala. 3 [doi]
- Engineering Theories with Z3Nikolaj Bjørner. 4-16 [doi]
- Algebra, Logic, Locality, ConcurrencyPeter W. O'Hearn. 17-18 [doi]
- Modular Abstractions of Reactive Nodes Using Disjunctive InvariantsDavid Monniaux, Martin Bodin. 19-33 [doi]
- Template-Based Unbounded Time Verification of Affine Hybrid AutomataThao Dang, Thomas Martin Gawlitza. 34-49 [doi]
- Access-Based Localization with BypassingHakjoo Oh, Kwangkeun Yi. 50-65 [doi]
- A Deductive Database with Datalog and SQL Query LanguagesFernando Sáenz-Pérez, Rafael Caballero, Yolanda García-Ruiz. 66-73 [doi]
- Constructing List Homomorphisms from ProofsYun-Yan Chi, Shin-Cheng Mu. 74-88 [doi]
- Extending Hindley-Milner Type Inference with Coercive Structural SubtypingDmitriy Traytel, Stefan Berghofer, Tobias Nipkow. 89-104 [doi]
- Polymorphic Multi-stage Language with Control EffectsYuichiro Kokaji, Yukiyoshi Kameyama. 105-120 [doi]
- Compiler Backend Generation for Application Specific Instruction Set ProcessorsZhen Cao, Yuan Dong, Shengyuan Wang. 121-136 [doi]
- A Non-iterative Data-Flow Algorithm for Computing Liveness Sets in Strict SSA ProgramsBenoit Boissinot, Florian Brandner, Alain Darte, Benoît Dupont de Dinechin, Fabrice Rastello. 137-154 [doi]
- SPAS: Scalable Path-Sensitive Pointer Analysis on Full-Sparse SSAYulei Sui, Sen Ye, Jingling Xue, Pen-Chung Yew. 155-171 [doi]
- On the Strength of Owicki-Gries for ResourcesAlexander Malkis, Laurent Mauborgne. 172-187 [doi]
- Solving Recursion-Free Horn Clauses over LI+UIFAshutosh Gupta, Corneliu Popeea, Andrey Rybalchenko. 188-203 [doi]
- Macro Tree Transformations of Linear Size Increase Achieve Cost-Optimal ParallelismAkimasa Morihata. 204-219 [doi]
- Decentralized Delimited ReleaseJonas Magazinius, Aslan Askarov, Andrei Sabelfeld. 220-237 [doi]
- Cost Analysis of Concurrent OO ProgramsElvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla. 238-254 [doi]
- Static Object Race DetectionAna Milanova, Wei Huang. 255-271 [doi]
- Soundness of Data Flow Analyses for Weak Memory ModelsJade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, Michael Tautschnig. 272-288 [doi]
- Towards a General Theory of Barbs, Contexts and LabelsFilippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale. 289-304 [doi]
- Computation-by-Interaction with EffectsUlrich Schöpp. 305-321 [doi]
- Towards a Certified Petri Net Model-CheckerLukasz Fronc, Franck Pommereau. 322-336 [doi]
- Elementary Linear Logic Revisited for Polynomial Time and an Exponential Time HierarchyPatrick Baillot. 337-352 [doi]
- A Proof Pearl with the Fan Theorem and Bar Induction - Walking through Infinite Trees with Mixed Induction and CoinductionKeiko Nakata, Tarmo Uustalu, Marc Bezem. 353-368 [doi]
- A Semantics for Context-Sensitive Reduction SemanticsCasey Klein, Jay A. McCarthy, Steven Jaconette, Robby Findler. 369-383 [doi]