Quick, Simple, and Easy Solutions to Hard Software Problems - DLS Talk by Martin Rinard, MIT - CANCELLED!

**This talk has been cancelled until further notice**

Speaker:  Martin Rinard, Massachusetts Institute of Technology EECS and CSAIL

http://people.csail.mit.edu/rinard/

Title:  Quick, Simple, and Easy Solutions to Hard Software Problems

Abstract:   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 that may have 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:  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.