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: http://hdl.handle.net/2142/17342

Files in this item

File Description Format
PDF mohsen-msthesis-submitted.pdf (483KB) Mohsen Vakilian's MS Thesis 2009 PDF
Title: Inferring Method Effect Summaries for Nested Heap Regions
Author(s): Vakilian, Mohsen
Advisor(s): Johnson, Ralph E.
Department / Program: Computer Science
Discipline: Computer Science
Degree Granting Institution: University of Illinois at Urbana-Champaign
Degree: M.S.
Genre: thesis
Subject(s): refactoring parallelism type systems inference object-oriented programming
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, that 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: inferring effects annotations automatically saves significant programming burden; and inferred effects are comparable to those in manually-annotated programs, while in many cases they are more accurate.
Issue Date: 2009-07-23
Genre: Dissertation / Thesis
Type: Text
Language: English
URI: http://hdl.handle.net/2142/17342
Publication Status: unpublished
Peer Reviewed: not peer reviewed
Date Available in IDEALS: 2010-09-25
Has Version(s): Based on Mohsen Vakilian, Danny Dig, Robert Bocchino, Jeffrey Overbey, Vikram Adve, and Ralph Johnson. 2009 "Inferring Method Effect Summaries for Nested Heap Regions." UIUC Department of Computer Science Technical Report. http://hdl.handle.net/2142/14152.
 

This item appears in the following Collection(s)

Show full item record

Item Statistics

  • Total Downloads: 152
  • Downloads this Month: 2
  • Downloads Today: 1

Browse

My Account

Information

Access Key