Shriram Krishnamurthi, Michal Young
Proceedings of the Eighth Workshop on Program Analysis for Software Tools and Engineering
PASTE, 2008.

@proceedings{PASTE-2008,
	acmid         = "1512475",
	address       = "Atlanta, Georgia, USA",
	editor        = "Shriram Krishnamurthi and Michal Young",
	isbn          = "978-1-60558-382-2",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Eighth Workshop on Program Analysis for Software Tools and Engineering}",
	year          = 2008,
}

Contents (13 items)

2 ×#java
2 ×#named
2 ×#static analysis
2 ×#validation

PASTE-2008-ZaksP #compilation #program analysis #validation

Program analysis for compiler validation (AZ, AP), pp. 1–7.

PASTE-2008-DeRD #java #memory management #validation

Java memory model aware software validation (AD, AR, DD), pp. 8–14.

PASTE-2008-PamnanyJ #named #parallel

Elyze: enabling safe parallelism in event-driven servers (KP, JJ), pp. 15–21.

PASTE-2008-Abi-AntounA #architecture #case study #runtime

A field study in static extraction of runtime architectures (MAA, JA), pp. 22–28.

PASTE-2008-LoM #mining #modelling #specification

Specification mining of symbolic scenario-based models (DL, SM), pp. 29–35.

PASTE-2008-Hubert #bytecode #java

A non-null annotation inferencer for Java bytecode (LH), pp. 36–42.

PASTE-2008-MarronMHSK #analysis #array #recursion

Sharing analysis of arrays, collections, and recursive structures (MM, MML, MVH, DS, DK), pp. 43–49.

PASTE-2008-LiuM #data flow #static analysis

Static analysis for inference of explicit information flow (YL, AM), pp. 50–56.

PASTE-2008-KhooFHS #static analysis #tool support

Path projection for user-centered static analysis tools (YPK, JSF, MH, VS), pp. 57–63.

PASTE-2008-ShonleGL #problem

Addressing common crosscutting problems with Arcum (MS, WGG, SL), pp. 64–69.

PASTE-2008-ShenZZFY #aspectj #named

XFindBugs: eXtended FindBugs for AspectJ (HS, SZ, JZ, JF, SY), pp. 70–76.

PASTE-2008-ZhangLGZ #approach #effectiveness #hybrid #identification

Effective identification of failure-inducing changes: a hybrid approach (SZ, YL, ZG, JZ), pp. 77–83.

PASTE-2008-JashkiZB #impact analysis #performance #towards

Towards a more efficient static software change impact analysis method (MAJ, RZ, EB), pp. 84–90.