SAS 2000
22 papers
- A Transformational Approach for Generating Non-linear Invariants
- Abstract Domains for Sharing Analysis by Optimal Semantics
- Abstract Interpretation Based Semantics of Sequent Calculi
- Abstract Interpretation of Game Properties
- Abstract Interpretation of Probabilistic Semantics
- Checking Cleanness in Linked Lists
- Code Specialization Based on Value Profiles
- Concurrency Analysis for Java
- Confidentiality Analysis of Mobile Systems
- Deriving Parallel Codes via Invariants
- Efficient Inference of Static Types for Java Bytecode
- Enforcing Design Constraints with Object Logic
- FULLDOC: A Full Reporting Debugger for Optimized Code
- Flattening Is an Improvement
- Model Checking Guided Abstraction and Analysis
- Model Checking as Constraint Solving
- Partial Redundancy Elimination on Predicated Code
- Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C
- Safety of Strictness Analysis via Term Graph Rewriting
- TVLA: A System for Implementing Static Analyses
- Tree Schemata and Fair Termination
- Unified Analysis of Array and Object References in Strongly Typed Languages