MIT Program Analysis and Compilation Group

Welcome to the web page for Program Analysis and Compilation Group led by Martin Rinard at the Laboratory for Computer Science, MIT.

A description of some projects in our group is here, a more recent overview is included here.

Here is a partial list of current and past group members: Martin Rinard Karen Zee Patrick Lam Alexandru Salcianu Brian Demsky Darko Marinov C. Scott Ananian Viktor Kuncak Wes Beebee Konstantine Arkoudas Chandrasekhar Boyapati (Michigan) Maria-Cristina Marinescu (IBM Research) Radu Rugina (Cornell) Frederic Vivien (INRIA) Jianjun Zhao (Fukoka)

Further Links:

• Flex Compiler Infrastructure
• Athena interactive theorem proving system
• Typesetting Resources, and more
• CVS
• Installation Notes

Some Related Groups at MIT:

• Computer Architecture Group
• Computation Structures Group
• Program Analysis Group
• Software Design Group
• Programming Methodology Group
• MIT Theory of Distributed Systems

This page is currently maintained by Viktor Kuncak.

Last update: 2003