Patrick Cousot
Proceedings of the Eighth International Static Analysis Symposium
SAS, 2001.

@proceedings{SAS-2001,
	address       = "Paris, France",
	editor        = "Patrick Cousot",
	isbn          = "3-540-42314-1",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Eighth International Static Analysis Symposium}",
	volume        = 2126,
	year          = 2001,
}

Contents (28 items)

10 ×#analysis
7 ×#source code
4 ×#static analysis
3 ×#constraints
2 ×#abstract interpretation
2 ×#logic programming
2 ×#mobile
2 ×#optimisation
2 ×#parallel
2 ×#parametricity

SAS-2001-Rinard #analysis #parallel #source code #thread

Analysis of Multithreaded Programs (MCR), pp. 1–19.

SAS-2001-BertranBCN #communication #concurrent #imperative #parallel #source code

Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs (MB, FXB, AC, MN), pp. 20–39.

SAS-2001-KomondoorH #identification #slicing #source code #using

Using Slicing to Identify Duplication in Source Code (RK, SH), pp. 40–56.

SAS-2001-SharpM #hardware #scheduling

Soft Scheduling for Hardware (RS, AM), pp. 57–72.

SAS-2001-GlynnSS #analysis #constraints #effectiveness #strict

Effective Strictness Analysis with HORN Constraints (KG, PJS, MS), pp. 73–92.

SAS-2001-MesnardN #logic programming #source code #static analysis #termination

Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs (FM, UN), pp. 93–110.

SAS-2001-Monniaux #analysis #probability #source code #termination

An Abstract Analysis of the Probabilistic Termination of Programs (DM), pp. 111–126.

SAS-2001-Spoto #analysis #composition #semantics

Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses (FS), pp. 127–145.

SAS-2001-Lu #analysis #logic programming #source code

Parameterizing a Groundness Analysis of Logic Programs (LL), pp. 146–164.

SAS-2001-BagnaraGHZ #analysis #constraints

Finite-Tree Analysis for Constraint Logic-Based Languages (RB, RG, PMH, EZ), pp. 165–184.

SAS-2001-Leino #static analysis

Applications of Extended Static Checking (KRML), pp. 185–193.

SAS-2001-DorRS #analysis #c #integer #source code #string

Cleanness Checking of String Manipulations in C Programs via Integer Analysis (ND, MR, SS), pp. 194–212.

SAS-2001-LiuLS #constraints #grammarware

Solving Regular Tree Grammar Based Constraints (YAL, NL, SDS), pp. 213–233.

SAS-2001-Goubault #analysis #float #precise

Static Analyses of the Precision of Floating-Point Operations (EG), pp. 234–259.

SAS-2001-DasLFR #impact analysis #optimisation #pointer #scalability

Estimating the Impact of Scalable Pointer Analysis on Optimization (MD, BL, MF, JR), pp. 260–278.

SAS-2001-LiangH #analysis #interprocedural #performance #pointer

Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses (DL, MJH), pp. 279–298.

SAS-2001-WangY #optimisation #parametricity #realtime

Parametric Optimization of Open Real-Time Systems (FW, HCY), pp. 299–318.

SAS-2001-SidorovaS

Embedding Chaos (NS, MS), pp. 319–334.

SAS-2001-BouajjaniCLS #automaton #parametricity

Analyzing Fair Parametric Extended Automata (AB, ACA, YL, MS), pp. 335–355.

SAS-2001-GiacobazziQ #model checking

Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking (RG, EQ), pp. 356–373.

SAS-2001-Schneider #security #what #why

Language-Based Security: What’s Needed and Why (FBS), p. 374.

SAS-2001-RajamaniR #behaviour #π-calculus

A Behavioral Module System for the π-Calculus (SKR, JR), pp. 375–394.

SAS-2001-LeviM #abstract interpretation #framework #mobile

An Abstract Interpretation Framework for Analysing Mobile Ambients (FL, SM), pp. 395–411.

SAS-2001-Feret #abstract interpretation #mobile #static analysis

Abstract Interpretation-Based Static Analysis of Mobile Ambients (JF), pp. 412–430.

SAS-2001-Wagner #assurance #static analysis

Static Analysis and Software Assurance (DW), p. 431.

SAS-2001-GordonJ #analysis #protocol #security

A Type and Effect Analysis of Security Protocols (ADG, AJ), p. 432.

SAS-2001-Blanchet #encryption #prolog #protocol

Abstracting Cryptographic Protocols by Prolog Rules (BB), pp. 433–436.

SAS-2001-Myers #distributed

Security-Typed Languages and Distributed Computation (ACM), pp. 437–438.