John Field, Gregor Snelting
Proceedings of the Third Workshop on Program Analysis for Software Tools and Engineering
PASTE, 2001.

@proceedings{PASTE-2001,
	acmid         = "379605",
	address       = "Snowbird, Utah, USA",
	editor        = "John Field and Gregor Snelting",
	isbn          = "1-58113-413-4",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Third Workshop on Program Analysis for Software Tools and Engineering}",
	year          = 2001,
}

Contents (17 items)

4 ×#analysis
2 ×#java
2 ×#named
2 ×#points-to
2 ×#question
2 ×#slicing
2 ×#source code

PASTE-2001-Griswold #slicing

Making slicing practical: the final mile (WGG), p. 1.

PASTE-2001-Reiss #overview

An overview of BLOOM (SPR), pp. 2–5.

PASTE-2001-AgrawalG #slicing

Evaluating explicitly context-sensitive program slicing (GA, LG), pp. 6–12.

PASTE-2001-SouterP

Contextual def-use associations for object aggregation (ALS, LLP), pp. 13–19.

PASTE-2001-Palsberg #analysis #type system

Type-based analysis and applications (JP), pp. 20–27.

PASTE-2001-KadayifCKVIS #energy #named

vEC: virtual energy counters (IK, TC, MTK, NV, MJI, AS), pp. 28–31.

PASTE-2001-AncourtN #array #debugging #maintenance #reuse

Array resizing for scientific code debugging, maintenance and reuse (CA, TVNN), pp. 32–37.

PASTE-2001-BrabandMS #html #validation

Static validation of dynamically generated HTML (CB, AM, MIS), pp. 38–45.

PASTE-2001-RyderT #impact analysis #object-oriented #source code

Change impact analysis for object-oriented programs (BGR, FT), pp. 46–53.

PASTE-2001-Hind #analysis #pointer #problem #question

Pointer analysis: haven’t we solved this problem yet? (MH), pp. 54–61.

PASTE-2001-MaessenSG #java #program analysis #safety #virtual machine

Program analysis for safety guarantees in a Java virtual machine written in Java (JWM, VS, DG), pp. 62–65.

PASTE-2001-MockDCE #analysis #comparison #comprehension #optimisation #points-to #set

Dynamic points-to sets: a comparison with static analyses and potential applications in program understanding and optimization (MM, MD, CC, SJE), pp. 66–72.

PASTE-2001-LiangPH #analysis #java #points-to

Extending and evaluating flow-insenstitive and context-insensitive points-to analyses for Java (DL, MP, MJH), pp. 73–79.

PASTE-2001-Holzmann #verification

Economics of software verification (GJH), pp. 80–85.

PASTE-2001-Webber #invariant #question #what

What is a class invariant? (ABW), pp. 86–89.

PASTE-2001-FlanaganF #detection #scalability #source code

Detecting race conditions in large programs (CF, SNF), pp. 90–96.

PASTE-2001-BallR #data flow #interprocedural #named

Bebop: a path-sensitive interprocedural dataflow engine (TB, SKR), pp. 97–103.