What's New

Please send additional URLs, text, citations to related resources, and other material to add to these pages to scherlis@cs.cmu.edu.

Back to the SBPM page.

Related Pages

Semantics-Based Program Analysis and Manipulation

October 23, 1996
Added links for Bill Griswold's project on Software Evolution at the UC San Diego Department of Computer Science and Engineering.

May 26, 1996
Added links for Michael R. Blair and Rajeev Surati at the MIT AI Lab.

April 2, 1996
Added link for Rutgers University's Programming Languages Research Group and for Barbara Ryder

October 10, 1995
Added link for Wisconsin's Program Slicing Project . Updated Chris Colby.

August 1, 1995
Added link for IRISA's partial evaluation group, which includes Charles Consel

June 19, 1995
Added link for people at Aarhus DAIMI:

March 15, 1995
Added a link for the Kestrel Institute.

February 16, 1995
Added links for Bruce Duba and Matthias Felleisen.

January 12, 1995
Added links for Chris Colby, Radhia Cousot, and Patrick Cousot.

December 12, 1994
Added links for Bob Paige at New York University.

November 9, 1994
Added links to projects list for ENS- X group on semantics and abstract interpretation.

October 25, 1994
Added links for FPCA'95 and ICSE-17 Workshop on Program Transformation for Software Evolution to conferences page.

September 16, 1994
Added links to LOMAPS project at Univ of Aarhus DAIMI. Also updated several URLs.

August 9, 1994
PLDI 95 call for papers.

August 2, 1994
PEPM 95 announced.

Several new names added in last weeks.

July 20, 1994
Conference information on IR 95 added.

July 6, 1994
Dave Schmidt provides an overview of the semantics work at Kansas, along with pointers to people in his group.

Neil Jones and Kristoffer Rose at DIKU provide a new semantics bibliography. A more complete roster of TOPPS people is available.

June 3, 1994
The DIKU TOPPS group is now on the WEB (TOPPS is "semantics-based program analysis and manipulation" in Danish). Also, a new entry for Bob Harper.

May 20, 1994
Page reorganized.

May 13, 1994
Page published.

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