You are here

Quick, Simple, and Easy Solutions to Hard Software Problems

Date:

Thursday, October 17, 2013 - 22:30 PDT to Friday, October 18, 2013 - 0:00 PDT

Speaker Info:

Martin Rinard
Massachusetts Institute of Technology

Description

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.

Sun Mon Tue Wed Thu Fri Sat
 
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
13
 
14
 
15
 
16
 
17
 
18
 
19
 
20
 
21
 
22
 
23
 
24
 
25
 
26
 
27
 
28
 
29
 
30
 
31
 
 
 
 

WestGrid Training Events

We're planning our next round of sessions! More details will be posted here soon. We invite you to send us topic requests for future sessions, join our mailing list for ongoing updates, and visit our Seminar Archives to review sessions you missed.

Research Seminars

Join our mailing list to stay informed of upcoming research seminars or visit our Seminar Archives to review sessions you missed.