Hanne Riis Nielson, Gilberto Filé
Proceedings of the 14th International Static Analysis Symposium
SAS, 2007.

@proceedings{SAS-2007,
	address       = "Kongens Lyngby, Denmark",
	editor        = "Hanne Riis Nielson and Gilberto Filé",
	isbn          = "978-3-540-74060-5",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 14th International Static Analysis Symposium}",
	volume        = 4634,
	year          = 2007,
}

Contents (28 items)

8 ×#analysis
4 ×#abstraction
4 ×#verification
2 ×#composition
2 ×#hardware
2 ×#pointer
2 ×#source code
2 ×#static analysis
2 ×#using

SAS-2007-Tip #constraints #refactoring #using

Refactoring Using Type Constraints (FT), pp. 1–17.

SAS-2007-Mycroft #analysis #design #evolution #hardware #motivation #programming language

Programming Language Design and Analysis Motivated by Hardware Evolution (AM), pp. 18–33.

SAS-2007-ChenWWKC #aspect-oriented #compilation #functional

A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages (KC, SCW, MW, SCK, CHC), pp. 34–51.

SAS-2007-GallJ #automaton #infinity #representation #verification

Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification (TLG, BJ), pp. 52–68.

SAS-2007-ShohamG #abstraction #composition #verification

Compositional Verification and 3-Valued Abstractions Join Forces (SS, OG), pp. 69–86.

SAS-2007-Brotherston #induction #logic #reasoning

Formalised Inductive Reasoning in the Logic of Bunched Implications (JB), pp. 87–103.

SAS-2007-Monniaux #abstraction #source code

Optimal Abstraction on Real-Valued Programs (DM), pp. 104–120.

SAS-2007-SimonK #integer

Taming the Wrapping of Integer Arithmetic (AS, AK), pp. 121–136.

SAS-2007-GoubaultP #approximate

Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic (EG, SP), pp. 137–152.

SAS-2007-NandivadaPP #evaluation #framework #verification

A Framework for End-to-End Verification and Evaluation of Register Allocators (VKN, FMQP, JP), pp. 153–169.

SAS-2007-WeiMZC #algorithm #decompiler #identification

A New Algorithm for Identifying Loops in Decompilation (TW, JM, WZ, YC), pp. 170–183.

SAS-2007-LerouxS #analysis #data flow

Accelerated Data-Flow Analysis (JL, GS), pp. 184–199.

SAS-2007-LalKRT #fault

Abstract Error Projection (AL, NK, TWR, TT), pp. 200–217.

SAS-2007-MalkisPR #precise #thread #verification

Precise Thread-Modular Verification (AM, AP, AR), pp. 218–232.

SAS-2007-CalcagnoPV #composition #concurrent #fine-grained #safety

Modular Safety Checking for Fine-Grained Concurrency (CC, MJP, VV), pp. 233–248.

SAS-2007-BauerW #abstraction #communication #static analysis

Static Analysis of Dynamic Communication Systems by Partner Abstraction (JB, RW), pp. 249–264.

SAS-2007-HardekopfL #analysis #equivalence #pointer

Exploiting Pointer and Location Equivalence to Optimize Pointer Analysis (BH, CL), pp. 265–280.

SAS-2007-KamilY #analysis #distributed #pointer #source code

Hierarchical Pointer Analysis for Distributed Programs (AK, KAY), pp. 281–297.

SAS-2007-Martel #semantics

Semantics-Based Transformation of Arithmetic Expressions (MM), pp. 298–314.

SAS-2007-BanterleG #abstract domain #hardware #implementation #performance

A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware (FB, RG), pp. 315–332.

SAS-2007-CousotGR #abstraction

Fixpoint-Guided Abstraction Refinements (PC, PG, JFR), pp. 333–348.

SAS-2007-GopanR #static analysis

Guided Static Analysis (DG, TWR), pp. 349–365.

SAS-2007-SankaranarayananIG #program analysis #using

Program Analysis Using Symbolic Ranges (SS, FI, AG), pp. 366–383.

SAS-2007-ChangRN #analysis #invariant

Shape Analysis with Structural Invariant Checkers (BYEC, XR, GCN), pp. 384–401.

SAS-2007-CalcagnoDOY #analysis

Footprint Analysis: A Shape Analysis That Discovers Preconditions (CC, DD, PWO, HY), pp. 402–418.

SAS-2007-MagillBCC #analysis

Arithmetic Strengthening for Shape Analysis (SM, JB, EMC, BC), pp. 419–436.

SAS-2007-DelmasS #industrial #named #research

Astrée: From Research to Industry (DD, JS), pp. 437–451.

SAS-2007-PayetS #analysis #bytecode #java

Magic-Sets Transformation for the Analysis of Java Bytecode (ÉP, FS), pp. 452–467.