Martin C. Rinard

MIT Computer Science and Artificial Intelligence Laboratory
The Stata Center, Building 32-G828
32 Vassar Street
Cambridge, MA 02139
Email: [email protected]
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

Publications

Complete Publication List

Publications By Topic (with summaries)

Technical Reports

Systems

Research

Presentations

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

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 and Professor in 2006.

Honors and Awards

• Best Paper Award, OOPSLA 2014
• Best Paper Award, OOPSLA 2013
• The Most Notable Paper Award / Onward! 2013
• One of the 25 Most Significant Papers From the First 20 Years of FCCM
• Best Paper Award, PLDI 2012
• Best Paper Award, PLDI 2011
• ACM Fellow, 2009
• Distinguished Paper Award, ICSE 2005
• Distinguished Paper Award, FSE 2004
• Most Influential Paper in 20 Years Award, Area: Concurrent Constraint Programming, The Association for Logic Programming, 2004
• 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

Current Students, Post-Docs, Research Associates, and Research Scientists

• Sasa Misailovic
• Deokhwan Kim
• Fan Long
• Sara Achour
• Fereshte Khani
• Jiasi Shen
• Zichao Qi
• Adam Yedidia

• Damien Zufferey (Post-Doc)
• Phillip Stanley-Marbell (Post-Doc)
• Julia Rubin (Post-Doc)

• Jeff Perkins (Research Scientist)
• Stelios Sidiroglou-Douskos (Research Scientist)
• Michael Gordon (Research Scientist)

Former Students, Post-Docs, Research Associates, and Research Scientists

• Michael Carbin
• Vu Quang Hieu (Singapore-MIT Alliance)
• Nguyen Huu Hai (Singapore-MIT Alliance)
• Karen Zee (VMware)
• C. Scott Ananian (litl, LLC)
• Patrick Lam (Waterloo)
• Viktor Kuncak (EPFL)
• Brian Demsky (University of California, Irvine)
• Alexandru Salcianu (Google)
• Darko Marinov (University of Illinois)
• Chandrasekhar Boyapati (University of Michigan)
• Maria-Cristina Marinescu (Universidad Carlos III de Madrid)
• Radu Rugina (VMware)
• Pedro Diniz (Computational Sciences Division, USC Information Sciences Institute)

• Vijay Ganesh (Post-Doc) (Waterloo)
• Konstantine Arkoudas (Research Associate) (RPI)
• Frederic Vivien (Post-Doc) (INRIA)

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!