The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Frank Tip
    Refactoring Using Type Constraints. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:1-17 [Conf]
  2. Alan Mycroft
    Programming Language Design and Analysis Motivated by Hardware Evolution. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:18-33 [Conf]
  3. Kung Chen, Shu-Chun Weng, Meng Wang, Siau-Cheng Khoo, Chung-Hsin Chen
    A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:34-51 [Conf]
  4. Tristan Le Gall, Bertrand Jeannet
    Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:52-68 [Conf]
  5. Sharon Shoham, Orna Grumberg
    Compositional Verification and 3-Valued Abstractions Join Forces. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:69-86 [Conf]
  6. James Brotherston
    Formalised Inductive Reasoning in the Logic of Bunched Implications. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:87-103 [Conf]
  7. David Monniaux
    Optimal Abstraction on Real-Valued Programs. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:104-120 [Conf]
  8. Axel Simon, Andy King
    Taming the Wrapping of Integer Arithmetic. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:121-136 [Conf]
  9. Eric Goubault, Sylvie Putot
    Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:137-152 [Conf]
  10. V. Krishna Nandivada, Fernando Magno Quintão Pereira, Jens Palsberg
    A Framework for End-to-End Verification and Evaluation of Register Allocators. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:153-169 [Conf]
  11. Tao Wei, Jian Mao, Wei Zou, Yu Chen
    A New Algorithm for Identifying Loops in Decompilation. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:170-183 [Conf]
  12. Jérôme Leroux, Grégoire Sutre
    Accelerated Data-Flow Analysis. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:184-199 [Conf]
  13. Akash Lal, Nicholas Kidd, Thomas W. Reps, Tayssir Touili
    Abstract Error Projection. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:200-217 [Conf]
  14. Alexander Malkis, Andreas Podelski, Andrey Rybalchenko
    Precise Thread-Modular Verification. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:218-232 [Conf]
  15. Cristiano Calcagno, Matthew Parkinson, Viktor Vafeiadis
    Modular Safety Checking for Fine-Grained Concurrency. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:233-248 [Conf]
  16. Jörg Bauer, Reinhard Wilhelm
    Static Analysis of Dynamic Communication Systems by Partner Abstraction. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:249-264 [Conf]
  17. Ben Hardekopf, Calvin Lin
    Exploiting Pointer and Location Equivalence to Optimize Pointer Analysis. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:265-280 [Conf]
  18. Amir Kamil, Katherine A. Yelick
    Hierarchical Pointer Analysis for Distributed Programs. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:281-297 [Conf]
  19. Matthieu Martel
    Semantics-Based Transformation of Arithmetic Expressions. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:298-314 [Conf]
  20. Francesco Banterle, Roberto Giacobazzi
    A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:315-332 [Conf]
  21. Patrick Cousot, Pierre Ganty, Jean-François Raskin
    Fixpoint-Guided Abstraction Refinements. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:333-348 [Conf]
  22. Denis Gopan, Thomas W. Reps
    Guided Static Analysis. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:349-365 [Conf]
  23. Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta
    Program Analysis Using Symbolic Ranges. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:366-383 [Conf]
  24. Bor-Yuh Evan Chang, Xavier Rival, George C. Necula
    Shape Analysis with Structural Invariant Checkers. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:384-401 [Conf]
  25. Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang
    Footprint Analysis: A Shape Analysis That Discovers Preconditions. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:402-418 [Conf]
  26. Stephen Magill, Josh Berdine, Edmund M. Clarke, Byron Cook
    Arithmetic Strengthening for Shape Analysis. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:419-436 [Conf]
  27. David Delmas, Jean Souyris
    Astrée: From Research to Industry. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:437-451 [Conf]
  28. Étienne Payet, Fausto Spoto
    Magic-Sets Transformation for the Analysis of Java Bytecode. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:452-467 [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