Computer Science Distinguished Lecture Series: Martin Rinard
Topic
Quick, Simple, and Easy Solutions to Hard Software Problems
Speakers
Details
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.
Additional 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.
https://www.cs.ubc.ca/news-events/distinguished-lecture-series
Martin Rinard, MIT
This is a Past Event
Event Type
Scientific, Distinguished Lecture
Date
October 17, 2013
Time
-
Location