IDEALS Home University of Illinois at Urbana-Champaign logo The Alma Mater The Main Quad

Inferring Method Effect Summaries for Nested Heap Regions

Show full item record

Bookmark or cite this item:

Files in this item

File Description Format
PDF DPJizer.pdf (205KB) Updated Dec 2009 PDF
Title: Inferring Method Effect Summaries for Nested Heap Regions
Author(s): Vakilian, Mohsen; Dig, Danny; Bocchino, Robert L., Jr.; Overbey, Jeffrey; Adve, Vikram S.; Johnson, Ralph
Subject(s): computer science
Abstract: Effect systems are important for reasoning about the side effects of a program. Although effect systems have been around for decades, they have not been widely adopted in practice because of the large number of annotations that they require. A tool that infers effects automatically can make effect systems practical. We present an effect inference algorithm and an Eclipse plug-in, DPJizer, which alleviate the burden of writing effect annotations for a language called Deterministic Parallel Java (DPJ). The key novel feature of the algorithm is the ability to infer effects on nested heap regions. Besides DPJ, we also illustrate how the algorithm can be used for a different effect system based on object ownership. Our experience shows that DPJizer is both useful and effective: (i) inferring effect annotations automatically saves significant programming burden; and (ii) inferred effects are more precise than those written manually, and are fine-grained enough to enable the compiler to prove determinism of the program.
Issue Date: 2009
Genre: Article
Type: Text
Language: English
Publication Status: published or submitted for publication
Peer Reviewed: is peer reviewed
Sponsor: NSF grant 07-02724NSF grant 07-20772NSF grant 08-33128NSF grant 08-33188Microsoft and Intel through UPCRC Illinois
Date Available in IDEALS: 2009-11-04

This item appears in the following Collection(s)

Show full item record

Item Statistics

  • Total Downloads: 223
  • Downloads this Month: 4
  • Downloads Today: 0


My Account


Access Key