SAS 2007
28 papers
- A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages
- A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware
- A Framework for End-to-End Verification and Evaluation of Register Allocators
- A New Algorithm for Identifying Loops in Decompilation
- Abstract Error Projection
- Accelerated Data-Flow Analysis
- Arithmetic Strengthening for Shape Analysis
- Astrée: From Research to Industry
- Compositional Verification and 3-Valued Abstractions Join Forces
- Exploiting Pointer and Location Equivalence to Optimize Pointer Analysis
- Fixpoint-Guided Abstraction Refinements
- Footprint Analysis: A Shape Analysis That Discovers Preconditions
- Formalised Inductive Reasoning in the Logic of Bunched Implications
- Guided Static Analysis
- Hierarchical Pointer Analysis for Distributed Programs
- Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification
- Magic-Sets Transformation for the Analysis of Java Bytecode
- Modular Safety Checking for Fine-Grained Concurrency
- Optimal Abstraction on Real-Valued Programs
- Precise Thread-Modular Verification
- Program Analysis Using Symbolic Ranges
- Programming Language Design and Analysis Motivated by Hardware Evolution
- Refactoring Using Type Constraints
- Semantics-Based Transformation of Arithmetic Expressions
- Shape Analysis with Structural Invariant Checkers
- Static Analysis of Dynamic Communication Systems by Partner Abstraction
- Taming the Wrapping of Integer Arithmetic
- Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic