Courses:

Program Analysis >> Content Detail



Calendar / Schedule



Calendar

Lec #topicskey dates
1Introduction

Static and Dynamic Analysis
Assignment 1 out
Abstract Interpretation
2A Semantics-based Tool for Program AnalysisAssignment 1 due
3A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints
Dynamic Analysis
4Chaining Approach for Software Test Data Generation
5Efficient Path Profiling
6Simplifying and Isolating Failure-inducing Input
7Dynamically Discovering Likely Program Invariants to Support Program Evolution
Types
8Principal Type-schemes for Functional Programs

Proofs about a Folklore Let-polymorphic Type Inference Algorithm
9Introduction to Part II, Polymorphic Lambda Calculus
10Lackwit: A Program Understanding Tool based on Type Inference

Finding User/Kernel Pointer Bugs with Type Inference
11Points-to Analysis

In Almost Linear Time

By Type Inference of Programs with Structures and Unions
Model Checking
12The Spin Model Checker
13Optimizing Symbolic Model Checking for Statecharts
14Constructing Compact Models of Concurrent Java® Programs

Using Predicate Abstraction to Reduce Object-oriented Programs for Model Checking
15-17Student Project Presentations

 








© 2010-2021 OpenCollege.com, All Rights Reserved.
Open College is a service mark of AmeriCareers LLC.