[PAST EVENT] Distinguished Speaker: Martin Rinard, MIT EECS and CSAIL

September 14, 2012
3pm - 4pm
Location
McGlothlin-Street Hall, Room 20
251 Jamestown Rd
Williamsburg, VA 23185Map this location
We present quick, simple, and easy solutions to hard software problems such as security vulnerabilities, memory leaks, addressing errors, infinite loops, program optimization, and automatic parallelization. Each solution is implemented as an automated program transformation that takes as input a program with one or more of these problems and produces as output a program without the problem. The key to these solutions is transcending the traditional requirement that program transformations preserve the semantics of the original program. We show how transcending this requirement to focus on more relevant requirements such as acceptability and accuracy can open up new and productive directions across the entire software lifecycle.

Bio:

Martin Rinard received the Sc.B. in Computer Science, Magna cum Laude and with Honors, from Brown University in 1984. He spent the next several years working for two startup companies, Ikan Systems and Polygen Corporation. He 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. He 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, where he joined the Department of Electrical Engineering and Computer Science. He was promoted to Associate Professor in 2000 and Professor in 2006. He was elected an ACM Fellow in 2009. His research interests are in computer systems, compilers, programming languages, software engineering, program analysis, program verification, real-time embedded systems, distributed systems, and parallel systems.
Contact

Department of Computer Science