Abstract is missing.
- Probabilistic Programs as Spreadsheet QueriesAndrew D. Gordon, Claudio V. Russo, Marcin Szymczak, Johannes Borgström, Nicolas Rolland, Thore Graepel, Daniel Tarlow. 1-25 [doi]
- Static Analysis of Spreadsheet Applications for Type-Unsafe Operations DetectionTie Cheng, Xavier Rival. 26-52 [doi]
- Running Probabilistic Programs BackwardsNeil Toronto, Jay McCarthy, David Van Horn. 53-79 [doi]
- A Verified Compiler for Probability Density FunctionsManuel Eberl, Johannes Hölzl, Tobias Nipkow. 80-104 [doi]
- Segment Abstraction for Worst-Case Execution Time AnalysisPavol Cerný, Thomas A. Henzinger, Laura Kovács, Arjun Radhakrishna, Jakob Zwirchmayr. 105-131 [doi]
- Automatic Static Cost Analysis for Parallel ProgramsJan Hoffmann 0002, Zhong Shao. 132-157 [doi]
- Sound, Modular and Compositional Verification of the Input/Output Behavior of ProgramsWillem Penninckx, Bart Jacobs 0002, Frank Piessens. 158-182 [doi]
- Unrestricted Termination and Non-termination Arguments for Bit-Vector ProgramsCristina David, Daniel Kroening, Matt Lewis. 183-204 [doi]
- A Theory of Name ResolutionPierre Néron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth. 205-231 [doi]
- A Core Calculus for XQuery 3.0 - Combining Navigational and Pattern Matching ApproachesGiuseppe Castagna, Hyeonseung Im, Kim Nguyen 0001, Véronique Benzaken. 232-256 [doi]
- IsoLATE: A Type System for Self-recursionRavi Chugh. 257-282 [doi]
- The Problem of Programming Language Concurrency SemanticsMark Batty, Kayvan Memarian, Kyndylan Nienhuis, Jean Pichon-Pharabod, Peter Sewell. 283-307 [doi]
- The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSOParosh Aziz Abdulla, Mohamed Faouzi Atig, Ngo Tuan Phong. 308-332 [doi]
- Specifying and Verifying Concurrent Algorithms with Histories and SubjectivityIlya Sergey, Aleksandar Nanevski, Anindya Banerjee. 333-358 [doi]
- Witnessing (Co)datatypesJasmin Christian Blanchette, Andrei Popescu 0001, Dmitriy Traytel. 359-382 [doi]
- Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-SystemBurke Fetscher, Koen Claessen, Michal H. Palka, John Hughes, Robby Findler. 383-405 [doi]
- Refinement Types for Incremental Computational ComplexityEzgi Çiçek, Deepak Garg, Umut A. Acar. 406-431 [doi]
- Monotonic References for Efficient Gradual TypingJeremy G. Siek, Michael M. Vitousek, Matteo Cimini, Sam Tobin-Hochstadt, Ronald Garcia. 432-456 [doi]
- Inter-procedural Two-Variable Herbrand EqualitiesStefan Schulze Frielinghaus, Michael Petter, Helmut Seidl. 457-482 [doi]
- Desynchronized Multi-State Abstractions for Open Programs in Dynamic LanguagesArlen Cox, Bor-Yuh Evan Chang, Xavier Rival. 483-509 [doi]
- Fine-Grained Detection of Privilege Escalation Attacks on Browser ExtensionsStefano Calzavara, Michele Bugliesi, Silvia Crafa, Enrico Steffinlongo. 510-534 [doi]
- Analysis of Asynchronous Programs with Event-Based SynchronizationMichael Emmi, Pierre Ganty, Rupak Majumdar, Fernando Rosa Velardo. 535-559 [doi]
- A Semantics for Propositions as SessionsSam Lindley, J. Garrett Morris. 560-584 [doi]
- Composite Replicated Data TypesAlexey Gotsman, Hongseok Yang. 585-609 [doi]
- Relaxed Stratification: A New Approach to Practical Complete Predicate RefinementTachio Terauchi, Hiroshi Unno. 610-633 [doi]
- Spatial InterpolantsAws Albarghouthi, Josh Berdine, Byron Cook, Zachary Kincaid. 634-660 [doi]
- Propositional Reasoning about Safety and Termination of Heap-Manipulating ProgramsCristina David, Daniel Kroening, Matt Lewis. 661-684 [doi]
- Full Reduction in the Face of AbsurdityGabriel Scherer, Didier Rémy. 685-709 [doi]
- CoLoSL: Concurrent Local Subjective LogicAzalea Raad, Jules Villard, Philippa Gardner. 710-735 [doi]
- A Separation Logic for Fictional Sequential ConsistencyFilip Sieczkowski, Kasper Svendsen, Lars Birkedal, Jean Pichon-Pharabod. 736-761 [doi]
- Binding Structures as an Abstract Data TypeWilmer Ricciotti. 762-786 [doi]
- Type-Based Allocation Analysis for Co-recursion in Lazy Functional LanguagesPedro B. Vasconcelos, Steffen Jost, Mário Florido, Kevin Hammond. 787-811 [doi]
- Type Targeted TestingEric L. Seidel, Niki Vazou, Ranjit Jhala. 812-836 [doi]