MIT Computer Science and Artificial Intelligence Laboratory
The Stata Center, Building 32-G828
32 Vassar Street
Cambridge, MA 02139
WWW Home Page: http://www.cag.lcs.mit.edu/~rinard
Work Phone: (617) 258-6922
Work Fax: (617) 253-1221
I am a Professor in the Department of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology, and a member of the Computer Science and Artificial Intelligence Laboratory .
The Flex Program Analysis and Compilation System
A program analysis and compilation system written in Java for Java,
complete with extensive backend, thread, memory management, and
The SPAN Pointer Analysis Package
A pointer analysis package for both multithreaded and
sequential C programs. The package is integrated with the
SUIF Compiler Infrastructure and has been used by several
research groups to support a variety of projects.
The Jade Programming Language
A portable, implicitly parallel programming language that
runs on wide range of machines, from tightly-coupled shared-memory
multiprocessors to geographically distributed networks of
I received the Sc.B. in Computer Science, Magna cum Laude and with Honors, from Brown University in 1984. I spent the next several years working for two startup companies, Ikan Systems and Polygen Corporation. I then entered the Ph.D. program in Computer Science at Stanford University, and received the Ph.D. in Computer Science from Stanford University in 1994. I joined the Computer Science Department at the University of California, Santa Barbara as an Assistant Professor in 1994, then moved to MIT as an Assistant Professor in 1997. I was promoted to Associate Professor in 2000 and Professor in 2006.
Much of the research that my group does is supported by the Defense Advanced Research Projects Agency under DARPA/AFRL Contract F33615-00-C-1692 and by the National Science Foundation under grants CCR00-86154 and CCR00-63513.
I have developed a set of lecture notes for teaching an undergraduate course in operating systems. These notes cover the important basic concepts in operating systems, presented in a sequence suitable for a first course in operating systems.
I have written a quick guide to including Adobe Illustrator and Microsoft PowerPoint files into LaTex documents. I hope it saves you some time!