Martin C. Rinard

MIT Computer Science and Artificial Intelligence Laboratory
The Stata Center, Building 32-G744
32 Vassar Street
Cambridge, MA 02139
Email: rinard@lcs.mit.edu
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 .

Curriculum Vitae

Research Accomplishments

Presentations

Publications

Complete Publication List

Publications By Topic (with summaries)

Technical Reports

Research

• Modular Program Analysis for Data Structure Consistency
• Acceptability-Oriented Computing
• Pointer and Escape Analysis
• Automatic Parallelization
• Commutativity Analysis
• Symbolic Analysis of Divide and Conquer Algorithms
• Synchronization Optimizations
• Credible Compilation
• Jade

Systems

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 runtime support.

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 workstations.

Teaching

• In Fall 2002, Saman Amarasinghe and I taught 6.035: Computer Language Engineering.
  
• In Spring 2002, Butler Lampson and I taught 6.826: Principles of Computer Systems.
  
• In Fall 2001, Saman Amarasinghe and I taught 6.035: Computer Language Engineering.
  
• In Spring 2001, Butler Lampson and I taught 6.826: Principles of Computer Systems.
  
• In Fall 2000, Saman Amarasinghe and I taught 6.035: Computer Language Engineering.
  
• In Spring 2000, Butler Lampson and I taught 6.826: Principles of Computer Systems.
  
• In Fall 1999, Saman Amarasinghe and I taught 6.035: Computer Language Engineering.
  
• In Spring 1999, Butler Lampson and I taught 6.826: Principles of Computer Systems.
  
• In Fall 1998, I taught 6.892: Advanced Topics in Compilation .
  
• In Spring 1998, I was a recitation instructor for 6.033: Computer System Engineering .
  (By the way, the other recitation instructors were John Chapin, David Gifford, David Karger, Ron Rivest, Jerry Saltzer, and Steve Ward, with Frans Kaashoek doing the lectures. Quite an investment of faculty for one course!)
• In Fall 1997, I was a recitation instructor for 6.001: Structure and Interpretation of Computer Programs .
  

Biographical Sketch

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.

Honors and Awards

• Solomon Buchsbaum AT&T Research Fund Award, 1999
• Everett Moore Baker Memorial Award for Excellence in Undergraduate Teaching at MIT, Honorable Mention, 1998
• National Science Foundation Faculty Early Career Development Award, 1997
• University of California, Santa Barbara Outstanding Faculty Member in Computer Science, 1996
• Alfred P. Sloan Research Fellowship, 1995
• Brown University Undergraduate Research Fellowship, 1983

Acknowledgement of Research Support

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.

Lecture Notes

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.

Including Illustrator and PowerPoint Figures in LaTex Documents

I have written a quick guide to including Adobe Illustrator and Microsoft PowerPoint files into LaTex documents. I hope it saves you some time!