Abstract is missing.
- Algorithmic Program Synthesis with Partial Programs and Decision ProceduresRastislav BodÃk. 1 [doi]
- Algorithmic Verification of Systems Software Using SMT SolversShaz Qadeer. 2 [doi]
- Abstraction Refinement for Quantified Array AssertionsMohamed Nassim Seghir, Andreas Podelski, Thomas Wies. 3-18 [doi]
- Inferring Dataflow Properties of User Defined Table ProcessorsSongtao Xia, Manuel Fähndrich, Francesco Logozzo. 19-35 [doi]
- Polymorphic Fractional CapabilitiesHirotoshi Yasuoka, Tachio Terauchi. 36-51 [doi]
- Automatic Parallelization and Optimization of Programs by Proof RewritingClément Hurlin. 52-68 [doi]
- Refinement of Trace AbstractionMatthias Heizmann, Jochen Hoenicke, Andreas Podelski. 69-85 [doi]
- The Causal Graph Revisited for Directed Model CheckingMartin Wehrle, Malte Helmert. 86-101 [doi]
- Proving the Correctness of the Implementation of a Control-Command AlgorithmOlivier Bouissou. 102-119 [doi]
- Abstract Interpretation of FIFO ReplacementDaniel Grund, Jan Reineke. 120-136 [doi]
- A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check EliminationDavid Niedzielski, Jeffery von Ronne, Andreas Gampe, Kleanthis Psarris. 137-153 [doi]
- Increasing the Scope and Resolution of Interprocedural Static Single AssignmentSilvian Calman, Jianwen Zhu. 154-170 [doi]
- Region Analysis for Race DetectionHelmut Seidl, Vesal Vojdani. 171-187 [doi]
- Bottom-Up Shape AnalysisBhargav S. Gulavani, Supratik Chakraborty, Ganesan Ramalingam, Aditya V. Nori. 188-204 [doi]
- The Complexity of Andersen s Analysis in PracticeManu Sridharan, Stephen J. Fink. 205-221 [doi]
- Optimizing Pointer Analysis Using BisimilarityLuke Simon. 222-237 [doi]
- Type Analysis for JavaScriptSimon Holm Jensen, Anders Møller, Peter Thiemann. 238-255 [doi]
- Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing TechnologyKyung-Goo Doh, Hyunha Kim, David A. Schmidt. 256-272 [doi]
- Creating Transformations for Matrix ObfuscationStephen Drape, Irina Voiculescu. 273-292 [doi]
- Abstract Interpretation from a Topological PerspectiveDavid A. Schmidt. 293-308 [doi]
- Interval Polyhedra: An Abstract Domain to Infer Interval Linear RelationshipsLiqian Chen, Antoine Miné, Ji Wang, Patrick Cousot. 309-325 [doi]
- Invariant Checking for Programs with Procedure CallsGuillem Godoy, Ashish Tiwari. 326-342 [doi]
- Inter-program PropertiesAndrei Voronkov, Iman Narasamdya. 343-359 [doi]