Semantics-Based Program Analysis and Manipulation

This page identifies research resources related to semantics based program analysis and manipulation. You can help make it more complete: Please send text, URLs, and other citations (along with text for the what's new page). Email to scherlis@cs.cmu.edu.

What's new (latest: October 23, 1996).

Are you interested in taking over management of this page? Please let me know.

Research Projects (alphabetical by institution)

DAIMI (U of Aarhus)'s DART and LOMAPS projects
Carnegie Mellon's Fox Project and MESS
DIKU (U of Copenhagen)'s `TOPPS' programming language semantics group.
ENS-X group on semantics and abstract interpretation.
Glasgow's Functional Programming group
Kestrel Institute.
NYU's APTS project.
INRIA Renne's LANDE
IRISA's partial evaluation group.
Kansas State's semantics research
Microsoft Research's Program Analysis project
Northeastern's Semantics Project
Oregon Graduate Institute's Pacific Software Research Center.
Rutgers University's Programming Languages Research Group.
Stanford's MT project (see bibliography cited below)
UC San Diego Computer Science and Engineering's Software Evolution project
Wisconsin's Program Slicing Project
Yale Partial Evaluation research

Meetings

Related conferences and workshops, including PEPM 95.

Research Resources

This listing includes material of general interest to researchers in semantics based program analysis and manipulation, including bibliographies, conference information, tech reports, and the like.

Introductory Material

What is semantics based program analysis and manipulation?

Semantics Based People

Who is involved?

Users of the page are asked to help improve the page by emailing enhancements and updates.

These pages originated as a result of the Atlantique Workshop on Semantics Based Program Manipulation held in January 1994 organized by Neil Jones (DIKU) and Carolyn Talcott (Stanford). But these pages are not limited to Atlantique-related topics.

W. Scherlis CMU <scherlis@cs.cmu.edu>