SAS 2005
24 papers
- A Generic Framework for Interprocedural Analysis of Numerical Properties
- A Relational Abstraction for Functions
- Abstraction Refinement for Termination
- Algorithmic Game Semantics and Static Analysis
- Banshee: A Scalable Constraint-Based Analysis Toolkit
- Boolean Heaps
- Data-Abstraction Refinement: A Game Semantic Approach
- Exploiting Sparsity in Polyhedral Analysis
- Finding Basic Block and Variable Correspondence
- From Typed Process Calculi to Source-Based Security
- Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra
- Inference of Well-Typings for Logic Programs with Application to Termination Analysis
- Interprocedural Shape Analysis for Cutpoint-Free Programs
- Locality-Based Abstractions
- Memory Space Conscious Loop Iteration Duplication for Reliable Execution
- Memory Usage Verification for OO Programs
- Pair-Sharing Analysis of Object-Oriented Programs
- Secure Information Flow as a Safety Problem
- Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis
- The PER Model of Abstract Non-interference
- Type-Safe Optimisation of Plugin Architectures
- Understanding the Origin of Alarms in Astrée
- Using Dependent Types to Certify the Safety of Assembly Code
- Widening Operators for Weakly-Relational Numeric Abstractions