Proceedings of the Eighth Workshop on Program Analysis for Software Tools and Engineering
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

EVOL
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.