María Alpuente, Germán Vidal
Proceedings of the 15th International Static Analysis Symposium
SAS, 2008.

@proceedings{SAS-2008,
	address       = "Valencia, Spain",
	editor        = "María Alpuente and Germán Vidal",
	isbn          = "978-3-540-69163-1",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 15th International Static Analysis Symposium}",
	volume        = 5079,
	year          = 2008,
}

Contents (24 items)

9 ×#analysis
4 ×#abstract interpretation
4 ×#using
3 ×#concurrent
3 ×#control flow
2 ×#fault
2 ×#pointer
2 ×#source code
2 ×#type system

SAS-2008-GiacobazziM #abstract interpretation

Transforming Abstract Interpretations by Abstract Interpretation (RG, IM), pp. 1–17.

SAS-2008-Liblit #debugging #static analysis

Reflections on the Role of Static Analysis in Cooperative Bug Isolation (BL), pp. 18–31.

SAS-2008-BauerNNP #analysis #correlation #relational

Relational Analysis of Correlation (JB, FN, HRN, HP), pp. 32–46.

SAS-2008-Leroux #automaton

Convex Hull of Arithmetic Automata (JL), pp. 47–61.

SAS-2008-ConwayDNB #analysis #fault #pointer #proving

Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors (CLC, DD, KSN, CB), pp. 62–77.

SAS-2008-RamanathanSGJ #protocol #using

Protocol Inference Using Static Path Profiles (MKR, KS, AG, SJ), pp. 78–92.

SAS-2008-LalR #data flow #multi #query #using

Solving Multiple Dataflow Queries Using WPDSs (AL, TWR), pp. 93–109.

SAS-2008-PrabhuS #analysis #array #java #pointer #using

Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA (PP, PS), pp. 110–127.

SAS-2008-RuggieriM #constraints #linear #source code #type system

Typing Linear Constraints for Moding CLP() Programs (SR, FM), pp. 128–143.

SAS-2008-CominiDV #abstract interpretation #on the #polymorphism #recursion #type system

On Polymorphic Recursion, Type Systems, and Abstract Interpretation (MC, FD, SV), pp. 144–158.

SAS-2008-NanzNN #abstraction #behaviour #concurrent

Modal Abstractions of Concurrent Behaviour (SN, FN, HRN), pp. 159–173.

SAS-2008-PredaGV

Hiding Software Watermarks in Loop Structures (MDP, RG, EV), pp. 174–188.

SAS-2008-AllamigeonGG #invariant #using

Inferring Min and Max Invariants Using Max-Plus Polyhedra (XA, SG, EG), pp. 189–204.

SAS-2008-LammichM #analysis #concurrent #monitoring #source code #thread

Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors (PL, MMO), pp. 205–220.

SAS-2008-AlbertAGP #automation #bound #cost analysis

Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis (EA, PA, SG, GP), pp. 221–237.

SAS-2008-BalakrishnanSIWG #analysis #detection #named #refinement

SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement (GB, SS, FI, OW, AG), pp. 238–254.

SAS-2008-HornM #analysis

Flow Analysis, Linearity, and PTIME (DVH, HGM), pp. 255–269.

SAS-2008-Perdrix #abstract interpretation #analysis #quantum

Quantum Entanglement Analysis Based on Abstract Interpretation (SP), pp. 270–282.

SAS-2008-KiddLR #reduction

Language Strength Reduction (NK, AL, TWR), pp. 283–298.

SAS-2008-SeidlFP #equation #polynomial

Analysing All Polynomial Equations in ℤ₂ᵂ (HS, AF, MP), pp. 299–314.

SAS-2008-Simon #control flow

Splitting the Control Flow with Boolean Flags (AS), pp. 315–331.

SAS-2008-PerryW #control flow #fault #reasoning

Reasoning about Control Flow in the Presence of Transient Faults (FP, DW), pp. 332–346.

SAS-2008-MidtgaardJ #abstract interpretation #analysis #approach #control flow

A Calculational Approach to Control-Flow Analysis by Abstract Interpretation (JM, TPJ), pp. 347–362.

SAS-2008-ManevichLSRB #analysis #composition #concurrent

Heap Decomposition for Concurrent Shape Analysis (RM, TLA, MS, GR, JB), pp. 363–377.