The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Manuvir Das
    Unleashing the Power of Static Analysis. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:1-2 [Conf]
  2. Sriram Sankaranarayanan, Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta
    Static Analysis in Disjunctive Numerical Domains. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:3-17 [Conf]
  3. Eric Goubault, Sylvie Putot
    Static Analysis of Numerical Algorithms. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:18-34 [Conf]
  4. Xavier Allamigeon, Wenceslas Godard, Charles Hymans
    Static Analysis of String Manipulations in Critical Embedded C Programs. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:35-51 [Conf]
  5. Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar
    Abstract Regular Tree Model Checking of Complex Dynamic Data Structures. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:52-70 [Conf]
  6. Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu
    Structural Invariants. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:71-87 [Conf]
  7. Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks
    Existential Label Flow Inference Via CFL Reachability. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:88-106 [Conf]
  8. Germán Puebla, Elvira Albert, Manuel V. Hermenegildo
    Abstract Interpretation with Specialized Definitions. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:107-126 [Conf]
  9. David A. Schmidt
    Underapproximating Predicate Transformers. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:127-143 [Conf]
  10. Laure Gonnord, Nicolas Halbwachs
    Combining Widening and Acceleration in Linear Relation Analysis. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:144-160 [Conf]
  11. Pierre Amiranoff, Albert Cohen, Paul Feautrier
    Beyond Iteration Vectors: Instancewise Relational Abstract Domains. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:161-180 [Conf]
  12. Peter W. O'Hearn
    Separation Logic and Program Analysis. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:181- [Conf]
  13. Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang
    Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:182-203 [Conf]
  14. Gilad Arnold
    Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:204-220 [Conf]
  15. Gogul Balakrishnan, Thomas W. Reps
    Recency-Abstraction for Heap-Allocated Storage. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:221-239 [Conf]
  16. Alexey Gotsman, Josh Berdine, Byron Cook
    Interprocedural Shape Analysis with Separated Heap Abstractions. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:240-260 [Conf]
  17. Alexey Loginov, Thomas W. Reps, Mooly Sagiv
    Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:261-279 [Conf]
  18. Hongseok Yang
    Shape Analysis for Low-Level Code. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:280- [Conf]
  19. Yuqiang Huang, Bruce R. Childers, Mary Lou Soffa
    Catching and Identifying Bugs in Register Allocation. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:281-300 [Conf]
  20. Gilles Barthe, Benjamin Grégoire, César Kunz, Tamara Rezk
    Certificate Translation for Optimizing Compilers. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:301-317 [Conf]
  21. Bor-Yuh Evan Chang, Matthew Harren, George C. Necula
    Analysis of Low-Level Code Using Cooperating Decompilers. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:318-335 [Conf]
  22. Christian Kirkegaard, Anders Møller
    Static Analysis for Java Servlets and JSP. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:336-352 [Conf]
  23. Aslan Askarov, Daniel Hedin, Andrei Sabelfeld
    Cryptographically-Masked Flows. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:353-369 [Conf]
  24. Julien Bertrane
    Proving the Properties of Communicating Imperfectly-Clocked Synchronous Systems. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:370-386 [Conf]
  25. Feng Chen, Grigore Rosu
    Parametric and Termination-Sensitive Control Dependence. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:387-404 [Conf]
  26. Maksim Orlovich, Radu Rugina
    Memory Leak Analysis by Contradiction. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:405-424 [Conf]
  27. Dinakar Dhurjati, Manuvir Das, Yue Yang
    Path-Sensitive Dataflow Analysis with Iterative Refinement. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:425-442 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002