Our meetings include food and a student research presentation, and
are open to the entire community. Please come and join us!
Topic
|
Date
|
Static Analysis of Relations between Objects
Viktor Kuncak, Program Analysis and Compilation Group
|
2/18/04
|
Parsing Expression Grammars: A Recognition-Based Syntactic Foundation
Bryan Ford, Parallel & Distributed Operating Systems Group
|
12/8/03
|
Simple Subtypes for Specification
Jonathan Edwards, Software Design Group
|
8/25/03
|
Predicting Problems Caused by Component Upgrades
Stephen McCamant, Program Analysis Group
|
8/18/03
|
Automatic Detection and Repair of Errors in Data Structures
Brian Demsky, Program Analysis and Compilation Group.
|
8/11/03
|
Finding Latent Code Errors Via Machine Learning Over Program Executions
Yuriy Brun, Program Analysis Group.
|
8/5/03
|
A Type System and Analysis for the Automatic Extraction and Enforcement of
Design Information
Patrick Lam, Program Analysis and Compilation Group.
|
7/28/03
|
Domain-Specific Optimizations in StreamIt
Bill Thies, Commit Group
|
7/7/03
|
Using Core Extraction to Identify Overconstraint in Declarative Model Checking
Robert Seater, Software Design Group.
|
6/25/03
|
Test Factoring: What Can We Test in a Very Short Time?
David Saff, Program Analysis Group.
|
6/16/03
|
Numeric Types in Bluespec
Jacob Schwartz, Computation Structures Group.
|
5/19/03
|
Synthesis of Synchronous Pipelined Circuits from High-Level Modular
Specifications
Maria-Cristina Marinescu, Program Analysis and Compilation Group.
|
5/12/03
|
An Infrastructure for Adaptive Dynamic Optimization Derek Bruening, Commit Group.
|
5/5/03
|
If you come from outside of MIT (or you're having problems with
Athena!) please send e-mail to ps.gz-request@mit.edu and
we will add you to the list.