1 / 2

Advances in Program Analysis and Visualization Techniques for Software Development

This document synthesizes key presentations from a series of workshops held on April 27-29, 2010, focusing on innovative methodologies in program analysis and visualization. Topics include the reduction of inductive predicates for shape analysis of circular lists, development-time program analysis user interfaces, and visual techniques for type error messages. Additionally, it covers typestate-guided exploration of interleavings using SMT, providing insights into the evolution of tools and techniques in program verification and analysis.

yachi
Télécharger la présentation

Advances in Program Analysis and Visualization Techniques for Software Development

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. April 27, 2010 Daniel Stutzman - Reduction of Inductive Predicates for Shape Analysis of Circular Lists James Holley - User Interfaces and Visualizations for Development-Time Program Analysis Allison Thompson - Visualizing Type Error Messages Sidartha Gracias Chris Grosshans and Mark Lewis-Prazen - JML Tools: Review and Evaluation Bryan Dixon Jeff Paone

  2. April 29, 2010 Robert Frohardt and Jonathan Turner - Typestate-guided Exploration of Interleavings Using SMT TejaBasava and ArpitSud Peter Carr and Ron Kneusel Graham Price and Chris Wailes Brian Brooks Warren Fernandes and AzharSikander

More Related