Conferences in DBLP

Static Analysis (WSA/SAS) (sas)
2009 (conf/sas/2009)

1. 
   Algorithmic Program Synthesis with Partial Programs and Decision Procedures. [Citation Graph (, )][DBLP]
   
   
2. 
   Algorithmic Verification of Systems Software Using SMT Solvers. [Citation Graph (, )][DBLP]
   
   
3. 
   Abstraction Refinement for Quantified Array Assertions. [Citation Graph (, )][DBLP]
   
   
4. 
   Inferring Dataflow Properties of User Defined Table Processors. [Citation Graph (, )][DBLP]
   
   
5. 
   Polymorphic Fractional Capabilities. [Citation Graph (, )][DBLP]
   
   
6. 
   Automatic Parallelization and Optimization of Programs by Proof Rewriting. [Citation Graph (, )][DBLP]
   
   
7. 
   Refinement of Trace Abstraction. [Citation Graph (, )][DBLP]
   
   
8. 
   The Causal Graph Revisited for Directed Model Checking. [Citation Graph (, )][DBLP]
   
   
9. 
   Proving the Correctness of the Implementation of a Control-Command Algorithm. [Citation Graph (, )][DBLP]
   
   
10. 
    Abstract Interpretation of FIFO Replacement. [Citation Graph (, )][DBLP]
    
    
11. 
    A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination. [Citation Graph (, )][DBLP]
    
    
12. 
    Increasing the Scope and Resolution of Interprocedural Static Single Assignment. [Citation Graph (, )][DBLP]
    
    
13. 
    Region Analysis for Race Detection. [Citation Graph (, )][DBLP]
    
    
14. 
    Bottom-Up Shape Analysis. [Citation Graph (, )][DBLP]
    
    
15. 
    The Complexity of Andersen's Analysis in Practice. [Citation Graph (, )][DBLP]
    
    
16. 
    Optimizing Pointer Analysis Using Bisimilarity. [Citation Graph (, )][DBLP]
    
    
17. 
    Type Analysis for JavaScript. [Citation Graph (, )][DBLP]
    
    
18. 
    Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology. [Citation Graph (, )][DBLP]
    
    
19. 
    Creating Transformations for Matrix Obfuscation. [Citation Graph (, )][DBLP]
    
    
20. 
    Abstract Interpretation from a Topological Perspective. [Citation Graph (, )][DBLP]
    
    
21. 
    Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. [Citation Graph (, )][DBLP]
    
    
22. 
    Invariant Checking for Programs with Procedure Calls. [Citation Graph (, )][DBLP]
    
    
23. 
    Inter-program Properties. [Citation Graph (, )][DBLP]