Computer Science Distinguished Lecture Series: Martin Rinard

  • Date: 10/17/2013
  • Time: 15:30
Martin Rinard, MIT

University of British Columbia


Quick, Simple, and Easy Solutions to Hard Software Problems


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.

Other Information: 

 Location: DMP 110, 6245 Agronomy Rd.


The UBC Department of Computer Science Distinguished Lecture Series brings leading researchers, from a variety of research areas, to UBC enabling an exchange of ideas between the speakers, students, faculty and the public on the latest advances in those areas. The seminars are hosted by the Department of Computer Science and sponsored by PIMS.